Process journal of learning by Attila Vajda

Tagged “Process book”

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

See all tags.