Process journal of learning by Attila Vajda

Tagged “Mathematics”

  1. build mathematics from puzzles!
  2. --Doesn't this have to do with meets and join ∨ ∧?
  3. --filters? ⛩️ categorigami
  4. 🌈 sheaf of moments 8. August 2025
  5. 🧠Q What must krax respect when defined over zup regions?
  6. ☕️ Sip tea → 🧘🏽‍♂️ Take a breath → 🎹 Play a chord → 👁 Observe a leaf.
  7. ᓚᘏᗢ
  8. moments of sheaf - fragments
  9. 🦄 Lean4 Puzzle, 🐢 C Puzzle, 🐍 Python Puzzle
  10. Mini Puzzle - ∀, ∃, normalization challenge
  11. core ≈ lake + package + lib?
  12. glimpse 2025-08-05
  13. call ⟶ response, question ⟶ answer
  14. Lean4 architect crafts workshop lvl0
  15. take3 -- sheaf.notes ∈ day
  16. 🦑 N ⟶ N, 0 + n = n 💎 Take 2
  17. N ⟶ N, 0 + n = n
  18. Is a pebble mathematical?
  19. approx 5
  20. moments as morphisms -- music ≅ mathematics?
  21. moments as morphisms -- polysemy
  22. Create you own BSc in mathematics, an MVP
  23. uni🌱topos ≈ (Obj, Morph, Ωᵤ)
  24. M ⟶ 𝓜, music ⟶ mathematics
  25. ℤₙ, ≡, n! --glimpse 2025-07-24
  26. a “mini-move” 🥋 崩し
  27. category of motion — Mi 2025-07-23
  28. moments of sheaf 🐚 Mi 23 Juli — point, morphism, wave
  29. fragments of reflective proofs journal 2025 july 23
  30. approximation 4
  31. Make your own MSc(BSc) curriculum, and exercises
  32. recollection
  33. Mini MVPs 🌱
  34. fragments 2025-07-09
  35. fragments 2025-juli-5
  36. 🌱 Topos Notes
  37. 🧠 mindful(t), entries in logic
  38. 🐬 Smallproofs
  39. fragments 2025-06-29
  40. a
  41. cool learning idea
  42. √2_irrational is journey
  43. pebbles
  44. levels of abstractions
  45. I can be computer agent
  46. Wake
  47. keep noticing
  48. tegnap
  49. Rainy rock day
  50. A cold sunshiny day
  51. Blog article driven learning
  52. Coefficient Harmony

See all tags.