Process journal of learning by Attila Vajda

Archive

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