Latest 20 Posts
- build mathematics from puzzles!
- --Doesn't this have to do with meets and join ∨ ∧?
- --filters? ⛩️ categorigami
- 🌈 sheaf of moments 8. August 2025
- 🧠Q What must krax respect when defined over zup regions?
- ☕️ Sip tea → 🧘🏽♂️ Take a breath → 🎹 Play a chord → 👁 Observe a leaf.
- ᓚᘏᗢ
- moments of sheaf - fragments
- 🦄 Lean4 Puzzle, 🐢 C Puzzle, 🐍 Python Puzzle
- Mini Puzzle - ∀, ∃, normalization challenge
- core ≈ lake + package + lib?
- glimpse 2025-08-05
- call ⟶ response, question ⟶ answer
- Lean4 architect crafts workshop lvl0
- take3 -- sheaf.notes ∈ day
- 🦑 N ⟶ N, 0 + n = n 💎 Take 2
- N ⟶ N, 0 + n = n
- Is a pebble mathematical?
- approx 5
- moments as morphisms -- music ≅ mathematics?
124 more posts can be found in the archive.