Skip to main content
Process journal of learning by Attila Vajda

Tagged “Maths”

  1. posting in small fragments, frequently
  2. f 1 ⟶ X game
  3. amazing
  4. blog construct
  5. b a ⟶ Prop
  6. so much fun
  7. ajourdhui
  8. today I explored succ in Lean4
  9. foundations, s
  10. noticing and so on and so forth
  11. some things
  12. Bach was a blues person maybe
  13. drawing knots
  14. things I am learning
  15. continuing the blog again
  16. starting this blog again, and how to continue, fiddle
  17. simpler form blog entries
  18. Getting around to writing a blog post
  19. Octo bsc mathematics ∴
  20. proving with mathematical induction
  21. setting up tex scripts 🌀
  22. TeX scripts and drawings learning
  23. Vectors and arrows
  24. Magnificent clouds
  25. Pen and paper mathematics
  26. Collage college of the mathematics playground
  27. Joyous, fun mathematics ftw
  28. Dub music, mathematics, play
  29. Physics tutorial
  30. Square partitions
  31. The sunshiny day, we are the world
  32. Dub playlist
  33. Mar 1Fri
  34. Synthwave playlist
  35. Mozart, chants, sunlight and rubber duck
  36. Binomial venn diagrams
  37. Using Insight Timer gongs, and microrests
  38. Lagrimas negras
  39. Proofs that count
  40. Had too much to dream last night
  41. Learning Gregorian chants and Tibetan om
  42. The night of the vampire
  43. Spring is around the corner
  44. Struggling
  45. What is the chance of rolling 6 with a die?
  46. Chopin's Fantaisie Impromptu
  47. Statisztika, caffeine might be neuroprotective
  48. If you have ghosts
  49. I could relax my wrists, it's awesome!
  50. Permutations, combinations, variations
  51. Diophantine equations, fostering algebraic questions
  52. Wherever I have gone, the blues runs the game
  53. 4 way coordination with metronome
  54. Riddle
  55. Sorting algorithms in vision
  56. Breathing into the belly
  57. Shelter from the storm

See all tags.