Tags
- math (16)
- cryptography (8)
- philosophy (7)
- self (5)
- book (4)
- category theory (4)
- programming (4)
- god (3)
- review (3)
- rust (3)
- talk (3)
- type theory (3)
- ai (2)
- music (2)
- programming languages (2)
- CRDTs (1)
- analysis (1)
- assembly (1)
- boringssl (1)
- cv (1)
- distsys (1)
- fern (1)
- film (1)
- formal methods (1)
- hott (1)
- machine learning (1)
- ml (1)
- paper (1)
- paper notes (1)
- transformers (1)