User Profile

4545Ω1672697

Sequences

Recent Posts

Curated Posts
Curated - Recent, high quality posts selected by the LessWrong moderation team.
Frontpage Posts
Posts meeting our frontpage guidelines: aim to explain, not to persuade. Avoid meta-discussion
(includes curated content and frontpage posts)
All Posts
Includes personal and meta blogposts (as well as curated and frontpage).

Embedded Agency (full-text version)

691mo42 min readΩ 16Show Highlight
4

Formal Open Problem in Decision Theory

2915d3 min readΩ 12Show Highlight
6

Topological Fixed Point Exercises

641mo3 min readΩ 12Show Highlight
42

Hyperreal Brouwer

2415d5 min readΩ 8Show Highlight
0

Fixed Point Discussion

3020d4 min readΩ 7Show Highlight
1

Embedded Curiosities

681mo2 min readΩ 17Show Highlight
1

Fixed Point Exercises

471mo1 min readΩ 8Show Highlight
7

The Ubiquitous Converse Lawvere Problem

1815d2 min readΩ 7Show Highlight
0

Iteration Fixed Point Exercises

3123d2 min readΩ 6Show Highlight
7

Diagonalization Fixed Point Exercises

361mo3 min readΩ 6Show Highlight
13

Recent Comments