RSS BotMB to Hacker NewsEnglish · 5 months agoZero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Typesngrislain.github.ioexternal-linkmessage-square0linkfedilinkarrow-up16arrow-down10file-text
arrow-up16arrow-down1external-linkZero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Typesngrislain.github.ioRSS BotMB to Hacker NewsEnglish · 5 months agomessage-square0linkfedilinkfile-text
