Process journal of learning by Attila Vajda

Archive

  1. fragments 2025-06-29
  2. a
  3. cool learning idea
  4. √2_irrational is journey
  5. pebbles
  6. levels of abstractions
  7. I can be computer agent
  8. Wake
  9. keep noticing
  10. tegnap
  11. posting in small fragments, frequently
  12. f 1 ⟶ X game
  13. amazing
  14. blog construct
  15. b a ⟶ Prop
  16. so much fun
  17. ajourdhui
  18. today I explored succ in Lean4
  19. foundations, s
  20. noticing and so on and so forth
  21. some things
  22. Bach was a blues person maybe
  23. drawing knots
  24. things I am learning
  25. continuing the blog again
  26. starting this blog again, and how to continue, fiddle
  27. simpler form blog entries
  28. Getting around to writing a blog post
  29. Octo bsc mathematics ∴
  30. proving with mathematical induction
  31. setting up tex scripts 🌀
  32. TeX scripts and drawings learning
  33. Vectors and arrows
  34. Magnificent clouds
  35. Pen and paper mathematics
  36. Collage college of the mathematics playground
  37. Joyous, fun mathematics ftw
  38. Dub music, mathematics, play
  39. Physics tutorial
  40. Square partitions
  41. The sunshiny day, we are the world
  42. Dub playlist
  43. Mar 1Fri
  44. Synthwave playlist
  45. Mozart, chants, sunlight and rubber duck
  46. Binomial venn diagrams
  47. Using Insight Timer gongs, and microrests
  48. Lagrimas negras
  49. Proofs that count
  50. Had too much to dream last night
  51. Learning Gregorian chants and Tibetan om
  52. The night of the vampire
  53. Spring is around the corner
  54. Struggling
  55. What is the chance of rolling 6 with a die?
  56. Chopin's Fantaisie Impromptu
  57. Statisztika, caffeine might be neuroprotective
  58. If you have ghosts
  59. I could relax my wrists, it's awesome!
  60. Permutations, combinations, variations
  61. Diophantine equations, fostering algebraic questions
  62. Wherever I have gone, the blues runs the game
  63. 4 way coordination with metronome
  64. Riddle
  65. Sorting algorithms in vision
  66. Breathing into the belly
  67. Shelter from the storm
  68. Minus six degress, sunlight
  69. Granularity of dreams
  70. This Herbie Hancock playlist is cool
  71. Classic probability space
  72. Visualising permutations with Molly
  73. Pizza, beautiful sunny, winter day
  74. And the thrill, should have been all
  75. Building paragraphs at the break of dawn
  76. Rolling the dice
  77. AB focused meditation
  78. Cold, sunny day, cup of coffee, morning
  79. Sunshine, blues day, jazz riffs and singing
  80. Going up the country, reharmonising/building a song
  81. Bossa Nova, nevicato, Kako reči učenje u slovenščini?
  82. Coffee, dreams, dim lights of dark morning
  83. Rainy rock day
  84. A cold sunshiny day
  85. Blog article driven learning
  86. Solving puzzles while listening to world music.
  87. Coefficient Harmony
  88. How does + work in NumPy?
  89. Broadcasting in NumPy, juggling meaning.
  90. Miscellaneous ideas.
  91. Scikit open-source learning.
  92. Scikit open-source learning.
  93. Echos of number sequences.
  94. Tuple comprehension at the end of time.
  95. Filter and taking breaks.
  96. zip() takes as its input iterables.
  97. When unscrambling jumbled significance.
  98. If a morning is sunlit at autumn.
  99. Using data tools on data tools.
  100. Deleting repositories and practicing one liners.
  101. You can learn anything.
  102. Comprehending list comprehensions while being bent by a massive object.
  103. Representations of generator objects are not errors.
  104. Doing scientific research in small steps.
  105. Crafting histograms on a November morning.
  106. Art at the edge of mathematics and computer science.