Process journal of learning by Attila Vajda

Archive

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