Process journal of learning by Attila Vajda

Tagged “Learning”

  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. TeX scripts and drawings learning
  55. Vectors and arrows
  56. Magnificent clouds
  57. Pen and paper mathematics
  58. Collage college of the mathematics playground
  59. Joyous, fun mathematics ftw
  60. Dub music, mathematics, play
  61. Physics tutorial
  62. Square partitions
  63. The sunshiny day, we are the world
  64. Dub playlist
  65. Mar 1Fri
  66. Synthwave playlist
  67. Mozart, chants, sunlight and rubber duck
  68. Binomial venn diagrams
  69. Using Insight Timer gongs, and microrests
  70. Lagrimas negras
  71. Proofs that count
  72. Had too much to dream last night
  73. Learning Gregorian chants and Tibetan om
  74. The night of the vampire
  75. Spring is around the corner
  76. Struggling
  77. What is the chance of rolling 6 with a die?
  78. Chopin's Fantaisie Impromptu
  79. Statisztika, caffeine might be neuroprotective
  80. If you have ghosts
  81. I could relax my wrists, it's awesome!
  82. Permutations, combinations, variations
  83. Diophantine equations, fostering algebraic questions
  84. Wherever I have gone, the blues runs the game
  85. 4 way coordination with metronome
  86. Riddle
  87. Sorting algorithms in vision
  88. Breathing into the belly
  89. Shelter from the storm
  90. Minus six degress, sunlight
  91. Granularity of dreams
  92. This Herbie Hancock playlist is cool
  93. Classic probability space
  94. Visualising permutations with Molly
  95. Pizza, beautiful sunny, winter day
  96. And the thrill, should have been all
  97. Building paragraphs at the break of dawn
  98. Rolling the dice
  99. AB focused meditation
  100. Cold, sunny day, cup of coffee, morning
  101. Sunshine, blues day, jazz riffs and singing
  102. Going up the country, reharmonising/building a song
  103. Bossa Nova, nevicato, Kako reči učenje u slovenščini?
  104. Coffee, dreams, dim lights of dark morning
  105. Rainy rock day
  106. A cold sunshiny day
  107. Blog article driven learning
  108. Solving puzzles while listening to world music.
  109. Coefficient Harmony
  110. Miscellaneous ideas.
  111. Scikit open-source learning.
  112. Scikit open-source learning.
  113. Echos of number sequences.
  114. Tuple comprehension at the end of time.
  115. Filter and taking breaks.
  116. zip() takes as its input iterables.
  117. When unscrambling jumbled significance.
  118. If a morning is sunlit at autumn.
  119. Using data tools on data tools.
  120. Deleting repositories and practicing one liners.
  121. You can learn anything.
  122. Comprehending list comprehensions while being bent by a massive object.
  123. Representations of generator objects are not errors.
  124. Doing scientific research in small steps.
  125. Crafting histograms on a November morning.
  126. Art at the edge of mathematics and computer science.

See all tags.