RSS

Scott Garrabrant

Karma: 4,545
AllPostsComments
NewTop
Page 1

For­mal Open Prob­lem in De­ci­sion Theory

Scott Garrabrant
29 Nov 2018 3:25 UTC
29 points
5 comments4 min readLW link

The Ubiquitous Con­verse Law­vere Problem

Scott Garrabrant
29 Nov 2018 3:16 UTC
18 points
0 comments2 min readLW link

Hyper­real Brouwer

Scott Garrabrant
29 Nov 2018 3:15 UTC
24 points
0 comments6 min readLW link

Fixed Point Discussion

Scott Garrabrant
24 Nov 2018 20:53 UTC
30 points
1 comment4 min readLW link

Iter­a­tion Fixed Point Exercises

Scott Garrabrant
22 Nov 2018 0:35 UTC
31 points
7 comments3 min readLW link

Di­ag­o­nal­iza­tion Fixed Point Exercises

Scott Garrabrant
18 Nov 2018 0:31 UTC
36 points
13 comments3 min readLW link

Topolog­i­cal Fixed Point Exercises

Scott Garrabrant
17 Nov 2018 1:40 UTC
64 points
42 comments3 min readLW link

Fixed Point Exercises

Scott Garrabrant
17 Nov 2018 1:39 UTC
47 points
7 comments2 min readLW link

Embed­ded Agency (full-text ver­sion)

Scott Garrabrant
15 Nov 2018 19:49 UTC
69 points
3 comments43 min readLW link

Embed­ded Curiosities

Scott Garrabrant
8 Nov 2018 14:19 UTC
68 points
1 comment2 min readLW link