#socketstatemachine — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #socketstatemachine, aggregated by home.social.
-
Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types
#HackerNews #ZeroCostPOSIX #Compliance #SocketStateMachine #Lean4 #Types