Process journal of learning by Attila Vajda

Archive

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