1Mamba-3 and the State Space Model Renaissance (opens in new tab)(ngrislain.github.io)1ngrislain1mo ago0
2The Signature Method in Machine Learning (an interactive reading note) (opens in new tab)(ngrislain.github.io)1ngrislain1mo ago0
3Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (opens in new tab)(ngrislain.github.io)34ngrislain2mo ago23
4Reading Note: Sequential-Parallel Duality in Prefix Scannable Models (opens in new tab)(ngrislain.github.io)2ngrislain2mo ago0
5Show HN: Lean-pq a typesafe PostgreSQL connector for lean (opens in new tab)(github.com)2ngrislain2mo ago1
7Lean-PQ – Type-safe PostgreSQL bindings for Lean 4 via libpq FFI (opens in new tab)(github.com)1ngrislain2mo ago0
8How to Die Optimally – A Theory of Consumption When AI Takes Your Job (opens in new tab)(ngrislain.github.io)2ngrislain3mo ago0
11Mathematical Beauty, Truth and Proof in the Age of AI (opens in new tab)(quantamagazine.org)2ngrislain1y ago0
13A Practical Method for Testing Differential Privacy – By Andi Cuko (opens in new tab)(medium.com)1ngrislain1y ago0