_.--"""--._ _.--"""--._
.' ___ `. .' ___ `.
/ .' `. \ / .' `. \ janek wunderlich
| | | \ / | | | math @ uc berkeley '28
| | | X | | |
| | | / \ | | | algebra · combinatorics · logic
\ `.___.' / \ `.___.' / also: search, ml, backend systems
`. .' `. .'
`-._____.-' `-._____.-'
- math: formalizing n-arrow categories for infinity-cosmos in lean 4
- software: rebuilding steeped, the tea app i co-founded (500k+ downloads): recommendations, search, lots of postgres