Process journal of learning by Attila Vajda

Archive

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