Tags
updated: 2025-04-11
- math (24)
- cryptography (12)
- category theory (9)
- philosophy (7)
- programming (5)
- self (5)
- type theory (5)
- book (4)
- meta (4)
- talk (4)
- assembly (3)
- god (3)
- review (3)
- rust (3)
- ai (2)
- biology (2)
- fern (2)
- hott (2)
- music (2)
- paper (2)
- programming languages (2)
- CRDTs (1)
- analysis (1)
- boringssl (1)
- cv (1)
- distsys (1)
- film (1)
- formal methods (1)
- genetics (1)
- machine learning (1)
- ml (1)
- paper notes (1)
- tbck (1)
- transformers (1)