Dependent Types, Linear Types, Effect Systems, Hindley-Milner
How Many Sides Does A Circle Have?
richardelwes.co.uk·59m
News for July 2025
ptreview.sublinear.info·2d
Persona Vectors - Anthropic Paper
lesswrong.com·11h
Research Areas in Information Theory and Cryptography (The Alignment Project by UK AISI)
lesswrong.com·2d
The Ethics of Copying Conscious States and the Many-Worlds Interpretation of Quantum Mechanics
lesswrong.com·1d
🔗 Upside-Down Development
jardo.dev·5d
Issue 483
haskellweekly.news·3d
Loading...Loading more...