Process journal of learning by Attila Vajda

Archive

  1. kenyérpuding - v0.2 logika 📘🌱
  2. v0.1 logika 📘🌱
  3. um - maybe ◇ 1 sketch
  4. Visual Algebra - From Dot to Cosmos
  5. morphism of abstract shape
  6. morphism of abstract shape
  7. sketches - learning about type theory foundations, and term theory
  8. Term Theory
  9. building R from scratch
  10. arrow only categories
  11. I'm learning to construct puzzles
  12. build mathematics from puzzles!-logic puzzles, code puzzles, category theory
  13. --Doesn't this have to do with meets and join ∨ ∧?
  14. --filters? ⛩️ categorigami
  15. 🌈 sheaf of moments 8. August 2025
  16. 🧠Q What must krax respect when defined over zup regions?
  17. ☕️ Sip tea → 🧘🏽‍♂️ Take a breath → 🎹 Play a chord → 👁 Observe a leaf.
  18. ᓚᘏᗢ
  19. moments of sheaf - fragments
  20. 🦄 Lean4 Puzzle, 🐢 C Puzzle, 🐍 Python Puzzle
  21. Mini Puzzle - ∀, ∃, normalization challenge
  22. core ≈ lake + package + lib?
  23. glimpse 2025-08-05
  24. call ⟶ response, question ⟶ answer
  25. Lean4 architect crafts workshop lvl0
  26. take3 -- sheaf.notes ∈ day
  27. 🦑 N ⟶ N, 0 + n = n 💎 Take 2
  28. N ⟶ N, 0 + n = n
  29. Is a pebble mathematical?
  30. approx 5
  31. moments as morphisms -- music ≅ mathematics?
  32. moments as morphisms -- polysemy
  33. Create you own BSc in mathematics, an MVP
  34. uni🌱topos ≈ (Obj, Morph, Ωᵤ)
  35. M ⟶ 𝓜, music ⟶ mathematics
  36. ℤₙ, ≡, n! --glimpse 2025-07-24
  37. a “mini-move” 🥋 崩し
  38. category of motion — Mi 2025-07-23
  39. moments of sheaf 🐚 Mi 23 Juli — point, morphism, wave
  40. fragments of reflective proofs journal 2025 july 23
  41. approximation 4
  42. Make your own MSc(BSc) curriculum, and exercises
  43. recollection
  44. Mini MVPs 🌱
  45. fragments 2025-07-09
  46. fragments 2025-juli-5
  47. 🌱 Topos Notes
  48. 🧠 mindful(t), entries in logic
  49. 🐬 Smallproofs
  50. fragments 2025-06-29
  51. a
  52. cool learning idea
  53. √2_irrational is journey
  54. pebbles
  55. levels of abstractions
  56. I can be computer agent
  57. Wake
  58. keep noticing
  59. tegnap
  60. posting in small fragments, frequently
  61. f 1 ⟶ X game
  62. amazing
  63. blog construct
  64. b a ⟶ Prop
  65. so much fun
  66. ajourdhui
  67. today I explored succ in Lean4
  68. foundations, s
  69. noticing and so on and so forth
  70. some things
  71. Bach was a blues person maybe
  72. drawing knots
  73. things I am learning
  74. continuing the blog again
  75. starting this blog again, and how to continue, fiddle
  76. simpler form blog entries
  77. Getting around to writing a blog post
  78. my tiny portfolio 🐙🌱
  79. upcycle poetry ∎
  80. Octo bsc mathematics ∴
  81. proving with mathematical induction
  82. setting up tex scripts 🌀
  83. TeX scripts and drawings learning
  84. Vectors and arrows
  85. Magnificent clouds
  86. Pen and paper mathematics
  87. Collage college of the mathematics playground
  88. Joyous, fun mathematics ftw
  89. Dub music, mathematics, play
  90. Physics tutorial
  91. Square partitions
  92. The sunshiny day, we are the world
  93. Dub playlist
  94. Mar 1Fri
  95. Synthwave playlist
  96. Mozart, chants, sunlight and rubber duck
  97. Binomial venn diagrams
  98. Using Insight Timer gongs, and microrests
  99. Lagrimas negras
  100. Proofs that count
  101. Had too much to dream last night
  102. Learning Gregorian chants and Tibetan om
  103. The night of the vampire
  104. Spring is around the corner
  105. Struggling
  106. What is the chance of rolling 6 with a die?
  107. Chopin's Fantaisie Impromptu
  108. Statisztika, caffeine might be neuroprotective
  109. If you have ghosts
  110. I could relax my wrists, it's awesome!
  111. Permutations, combinations, variations
  112. Diophantine equations, fostering algebraic questions
  113. Wherever I have gone, the blues runs the game
  114. 4 way coordination with metronome
  115. Riddle
  116. Sorting algorithms in vision
  117. Breathing into the belly
  118. Shelter from the storm
  119. Minus six degress, sunlight
  120. Granularity of dreams
  121. This Herbie Hancock playlist is cool
  122. Classic probability space
  123. Visualising permutations with Molly
  124. Pizza, beautiful sunny, winter day
  125. And the thrill, should have been all
  126. Building paragraphs at the break of dawn
  127. Rolling the dice
  128. AB focused meditation
  129. Cold, sunny day, cup of coffee, morning
  130. Sunshine, blues day, jazz riffs and singing
  131. Going up the country, reharmonising/building a song
  132. Bossa Nova, nevicato, Kako reči učenje u slovenščini?
  133. Coffee, dreams, dim lights of dark morning
  134. Rainy rock day
  135. A cold sunshiny day
  136. Blog article driven learning
  137. Solving puzzles while listening to world music.
  138. Coefficient Harmony
  139. How does + work in NumPy?
  140. Broadcasting in NumPy, juggling meaning.
  141. Miscellaneous ideas.
  142. Scikit open-source learning.
  143. Scikit open-source learning.
  144. Echos of number sequences.
  145. Tuple comprehension at the end of time.
  146. Filter and taking breaks.
  147. zip() takes as its input iterables.
  148. When unscrambling jumbled significance.
  149. If a morning is sunlit at autumn.
  150. Using data tools on data tools.
  151. Deleting repositories and practicing one liners.
  152. You can learn anything.
  153. Comprehending list comprehensions while being bent by a massive object.
  154. Representations of generator objects are not errors.
  155. Doing scientific research in small steps.
  156. Crafting histograms on a November morning.
  157. Art at the edge of mathematics and computer science.