Process journal of learning by Attila Vajda

Archive

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