About
Ayush
haven for me.
About this site
This site is for working notes, references, and occasional longer pieces.
Most of the writing will orbit a fairly stable set of interests:
- anime
- mathematics
- formal verification and theorem provers such as Rocq and Lean
- programming languages and functional programming
- algorithms, implementations, and system design
- core computer science topics that are worth understanding properly
What to expect
Some entries will be polished. Many will just be precise notes that are useful to revisit later.
Elsewhere
Links in the footer are the current public contact surface for this site.