RSS

SamEisenstat

Karma: 36 (LW), 2 (AF)
AllPostsComments
NewTop
Page 1

Reflec­tive or­a­cles as a solu­tion to the con­verse Law­vere problem

SamEisenstat
29 Nov 2018 3:23 UTC
18 points
0 commentsLW link

Log­i­cal in­duc­tor limits are dense un­der poin­t­wise convergence

SamEisenstat
6 Oct 2016 8:07 UTC
4 points
0 commentsLW link