Latest 20 Posts
- a
- cool learning idea
- √2_irrational is journey
- pebbles
- levels of abstractions
- I can be computer agent
- Wake
- keep noticing
- tegnap
- posting in small fragments, frequently
- f 1 ⟶ X game
- amazing
- blog construct
- b a ⟶ Prop
- so much fun
- ajourdhui
- today I explored succ in Lean4
- foundations, s
- noticing and so on and so forth
- some things
85 more posts can be found in the archive.