GoKawiil - Tech News

Topics: Today This Week This Month This Year

Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (news.ycombinator.com)

2026-03-25 | tags: posix, lean 4, socket api

Today's top topics: apple google openai android anthropic spacex amazon microsoft meta samsung