GoKawiil - Tech News

Topics: Today This Week This Month This Year

Herdr: Agent multiplexer that lives in your terminal (news.ycombinator.com)

2026-06-29 | tags: herdr, terminal, agent multiplexing

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: google openai anthropic nvidia apple samsung amazon spotify android authority claude