Process journal of learning by Attila Vajda

Archive

  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. posting in small fragments, frequently
  66. f 1 ⟶ X game
  67. amazing
  68. blog construct
  69. b a ⟶ Prop
  70. so much fun
  71. ajourdhui
  72. today I explored succ in Lean4
  73. foundations, s
  74. noticing and so on and so forth
  75. some things
  76. Bach was a blues person maybe
  77. drawing knots
  78. things I am learning
  79. continuing the blog again
  80. starting this blog again, and how to continue, fiddle
  81. simpler form blog entries
  82. Getting around to writing a blog post
  83. my tiny portfolio 🐙🌱
  84. upcycle poetry ∎
  85. Octo bsc mathematics ∴
  86. proving with mathematical induction
  87. setting up tex scripts 🌀
  88. TeX scripts and drawings learning
  89. Vectors and arrows
  90. Magnificent clouds
  91. Pen and paper mathematics
  92. Collage college of the mathematics playground
  93. Joyous, fun mathematics ftw
  94. Dub music, mathematics, play
  95. Physics tutorial
  96. Square partitions
  97. The sunshiny day, we are the world
  98. Dub playlist
  99. Mar 1Fri
  100. Synthwave playlist
  101. Mozart, chants, sunlight and rubber duck
  102. Binomial venn diagrams
  103. Using Insight Timer gongs, and microrests
  104. Lagrimas negras
  105. Proofs that count
  106. Had too much to dream last night
  107. Learning Gregorian chants and Tibetan om
  108. The night of the vampire
  109. Spring is around the corner
  110. Struggling
  111. What is the chance of rolling 6 with a die?
  112. Chopin's Fantaisie Impromptu
  113. Statisztika, caffeine might be neuroprotective
  114. If you have ghosts
  115. I could relax my wrists, it's awesome!
  116. Permutations, combinations, variations
  117. Diophantine equations, fostering algebraic questions
  118. Wherever I have gone, the blues runs the game
  119. 4 way coordination with metronome
  120. Riddle
  121. Sorting algorithms in vision
  122. Breathing into the belly
  123. Shelter from the storm
  124. Minus six degress, sunlight
  125. Granularity of dreams
  126. This Herbie Hancock playlist is cool
  127. Classic probability space
  128. Visualising permutations with Molly
  129. Pizza, beautiful sunny, winter day
  130. And the thrill, should have been all
  131. Building paragraphs at the break of dawn
  132. Rolling the dice
  133. AB focused meditation
  134. Cold, sunny day, cup of coffee, morning
  135. Sunshine, blues day, jazz riffs and singing
  136. Going up the country, reharmonising/building a song
  137. Bossa Nova, nevicato, Kako reči učenje u slovenščini?
  138. Coffee, dreams, dim lights of dark morning
  139. Rainy rock day
  140. A cold sunshiny day
  141. Blog article driven learning
  142. Solving puzzles while listening to world music.
  143. Coefficient Harmony
  144. How does + work in NumPy?
  145. Broadcasting in NumPy, juggling meaning.
  146. Miscellaneous ideas.
  147. Scikit open-source learning.
  148. Scikit open-source learning.
  149. Echos of number sequences.
  150. Tuple comprehension at the end of time.
  151. Filter and taking breaks.
  152. zip() takes as its input iterables.
  153. When unscrambling jumbled significance.
  154. If a morning is sunlit at autumn.
  155. Using data tools on data tools.
  156. Deleting repositories and practicing one liners.
  157. You can learn anything.
  158. Comprehending list comprehensions while being bent by a massive object.
  159. Representations of generator objects are not errors.
  160. Doing scientific research in small steps.
  161. Crafting histograms on a November morning.
  162. Art at the edge of mathematics and computer science.