Investigate every security event with an AI agent, without the frontier billdatadoghq.com·2 pts·ngrislain·0
The Signature Method in Machine Learning (an interactive reading note)ngrislain.github.io·1 pts·ngrislain·0
Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Typesngrislain.github.io·34 pts·ngrislain·23
Reading Note: Sequential-Parallel Duality in Prefix Scannable Modelsngrislain.github.io·2 pts·ngrislain·0
How to Die Optimally – A Theory of Consumption When AI Takes Your Jobngrislain.github.io·2 pts·ngrislain·0
Anonymization: The imperfect science of using data while preserving privacyscience.org·3 pts·ngrislain·1