RSS

Rupert

Karma: 51

Scott Garrabrant’s prob­lem on re­cov­er­ing Brouwer as a corol­lary of Lawvere

Rupert4 May 2020 10:01 UTC
26 points
2 comments2 min readLW link

No, I won’t go there, it feels like you’re try­ing to Pas­cal-mug me

Rupert11 Jul 2018 1:37 UTC
9 points
0 comments2 min readLW link