Process journal of learning by Attila Vajda

Archive

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