Skip to main content
Process journal of learning by Attila Vajda

Latest 20 Posts

  1. a
  2. cool learning idea
  3. √2_irrational is journey
  4. pebbles
  5. levels of abstractions
  6. I can be computer agent
  7. Wake
  8. keep noticing
  9. tegnap
  10. posting in small fragments, frequently
  11. f 1 ⟶ X game
  12. amazing
  13. blog construct
  14. b a ⟶ Prop
  15. so much fun
  16. ajourdhui
  17. today I explored succ in Lean4
  18. foundations, s
  19. noticing and so on and so forth
  20. some things

85 more posts can be found in the archive.