ngrislain

@[email protected]
0 Followers
0 Following
1 Posts
Co-founder of Sarus Technologies (YC W22)
Email: [email protected]

YC Badge: 0x454a841da25d3ae21ab4a2b3e8495f663280ced8
This account is a replica from Hacker News. Its author can't see your replies. If you find this service useful, please consider supporting us via our Patreon.

Officialhttps://
Support this servicehttps://www.patreon.com/birddotmakeup
ngrislain4d ago

Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types

https://ngrislain.github.io/blog/2026-3-25-zerocost-posix-compliance-encoding-the-socket-state-machine-in-lean-4s-type-system/

Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean 4's Type System

The best runtime check is the one that never runs.

NGrislain