보금자리

a way to live
math
- theorems
  - infinitude of primes
  - picard-lindelof
- meta
  - abstract (algebra) data types in lean 4
- links
  - how to read a math textbook
literature
- library
movies
- how my favorite movie also changed my life
- harmony lessons: only in heaven, dear son
language learning
- russian
  - why learn russian when russia is doing xyz?
  - so you want to learn russian
- meta
  - holistic language learning
misc
- chouette
  - chouette's existence & essence
  - chouette & ebola

advith ángel erieweb kaa morningsong malletunderheaven siqu the suboptimalist