RSS

SamEisenstat

Karma: 36
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 comments7 min readLW 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