Skip to main content
Process journal of learning by Attila Vajda

Latest 20 Posts

  1. sketches - learning about type theory foundations, and term theory
  2. Term Theory
  3. building R from scratch
  4. arrow only categories
  5. I'm learning to construct puzzles
  6. build mathematics from puzzles!-logic puzzles, code puzzles, category theory
  7. --Doesn't this have to do with meets and join ∨ ∧?
  8. --filters? ⛩️ categorigami
  9. 🌈 sheaf of moments 8. August 2025
  10. 🧠Q What must krax respect when defined over zup regions?
  11. ☕️ Sip tea → 🧘🏽‍♂️ Take a breath → 🎹 Play a chord → 👁 Observe a leaf.
  12. ᓚᘏᗢ
  13. moments of sheaf - fragments
  14. 🦄 Lean4 Puzzle, 🐢 C Puzzle, 🐍 Python Puzzle
  15. Mini Puzzle - ∀, ∃, normalization challenge
  16. core ≈ lake + package + lib?
  17. glimpse 2025-08-05
  18. call ⟶ response, question ⟶ answer
  19. Lean4 architect crafts workshop lvl0
  20. take3 -- sheaf.notes ∈ day

129 more posts can be found in the archive.