Process journal of learning by Attila Vajda

Tagged “Process book”

  1. this is cool, i try to write it
  2. braid theory, fonáselmélet kezdeti lépések
  3. kenyérpuding - v0.2 logika 📘🌱
  4. v0.1 logika 📘🌱
  5. um - maybe ◇ 1 sketch
  6. Visual Algebra - From Dot to Cosmos
  7. morphism of abstract shape
  8. morphism of abstract shape
  9. sketches - learning about type theory foundations, and term theory
  10. Term Theory
  11. building R from scratch
  12. arrow only categories
  13. I'm learning to construct puzzles
  14. build mathematics from puzzles!-logic puzzles, code puzzles, category theory
  15. --Doesn't this have to do with meets and join ∨ ∧?
  16. --filters? ⛩️ categorigami
  17. 🌈 sheaf of moments 8. August 2025
  18. 🧠Q What must krax respect when defined over zup regions?
  19. ☕️ Sip tea → 🧘🏽‍♂️ Take a breath → 🎹 Play a chord → 👁 Observe a leaf.
  20. ᓚᘏᗢ
  21. moments of sheaf - fragments
  22. 🦄 Lean4 Puzzle, 🐢 C Puzzle, 🐍 Python Puzzle
  23. Mini Puzzle - ∀, ∃, normalization challenge
  24. core ≈ lake + package + lib?
  25. glimpse 2025-08-05
  26. call ⟶ response, question ⟶ answer
  27. Lean4 architect crafts workshop lvl0
  28. take3 -- sheaf.notes ∈ day
  29. 🦑 N ⟶ N, 0 + n = n 💎 Take 2
  30. N ⟶ N, 0 + n = n
  31. Is a pebble mathematical?
  32. approx 5
  33. moments as morphisms -- music ≅ mathematics?
  34. moments as morphisms -- polysemy
  35. Create you own BSc in mathematics, an MVP
  36. uni🌱topos ≈ (Obj, Morph, Ωᵤ)
  37. M ⟶ 𝓜, music ⟶ mathematics
  38. ℤₙ, ≡, n! --glimpse 2025-07-24
  39. a “mini-move” 🥋 崩し
  40. category of motion — Mi 2025-07-23
  41. moments of sheaf 🐚 Mi 23 Juli — point, morphism, wave
  42. fragments of reflective proofs journal 2025 july 23
  43. approximation 4
  44. Make your own MSc(BSc) curriculum, and exercises
  45. recollection
  46. Mini MVPs 🌱
  47. fragments 2025-07-09
  48. fragments 2025-juli-5
  49. 🌱 Topos Notes
  50. 🧠 mindful(t), entries in logic
  51. 🐬 Smallproofs
  52. fragments 2025-06-29
  53. a
  54. cool learning idea
  55. √2_irrational is journey
  56. pebbles
  57. levels of abstractions
  58. I can be computer agent
  59. Wake
  60. keep noticing
  61. tegnap
  62. my tiny portfolio 🐙🌱
  63. upcycle poetry ∎

See all tags.