Process journal of learning by Attila Vajda

Archive

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