Skip to main content
Process journal of learning by Attila Vajda

Tagged “Learning”

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

See all tags.