Process journal of learning by Attila Vajda

Archive

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