YHacker Newsscreenshots

ngrislain.github.io on Hacker News

1 story on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of ngrislain.github.io: Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types

Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (ngrislain.github.io)

32 points by ngrislain 7 months ago | 19 comments