Process journal of learning by Attila Vajda

Tagged “Learning”

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

See all tags.