Tagged “Maths”
- amazing
- blog construct
- so much fun
- ajourdhui
- today I explored `succ` in Lean4
- foundations, s
- noticing and so on and so forth
- some things
- process book learning journal 😌
- Bach was a blues person maybe
- drawing knots
- things I am learning
- continuing the blog again
- starting this blog again, and how to continue, fiddle
- simpler form blog entries
- Getting around to writing a blog post
- Octo bsc mathematics ∴
- proving with mathematical induction
- setting up tex scripts 🌀
- TeX scripts and drawings learning
- Vectors and arrows
- Magnificent clouds
- Pen and paper mathematics
- Collage college of the mathematics playground
- Joyous, fun mathematics ftw
- Dub music, mathematics, play
- Physics tutorial
- Square partitions
- The sunshiny day, we are the world
- Dub playlist
- Mar 1Fri
- Synthwave playlist
- Mozart, chants, sunlight and rubber duck
- Binomial venn diagrams
- Using Insight Timer gongs, and microrests
- Lagrimas negras
- Proofs that count
- Had too much to dream last night
- Learning Gregorian chants and Tibetan om
- The night of the vampire
- Spring is around the corner
- Struggling
- What is the chance of rolling 6 with a die?
- Chopin's Fantaisie Impromptu
- Statisztika, caffeine might be neuroprotective
- If you have ghosts
- I could relax my wrists, it's awesome!
- Permutations, combinations, variations
- Diophantine equations, fostering algebraic questions
- Wherever I have gone, the blues runs the game
- 4 way coordination with metronome
- Riddle
- Sorting algorithms in vision
- Breathing into the belly
- Shelter from the storm
See all tags.