GoKawiil - Tech News

Topics: Today This Week This Month This Year

Number in man page titles e.g. sleep(3) (news.ycombinator.com)

2026-04-06 | by Lalit Maganti | get Linux man page number guide → | tags: man pages, linux, system calls

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

Show HN: Threadprocs – executables sharing one address space (0-copy pointers) (news.ycombinator.com)

2026-03-23 | get Shared Memory Development Kit → | tags: threadprocs, posix, shared address space

WolfIP: Lightweight TCP/IP stack with no dynamic memory allocations (news.ycombinator.com)

2026-03-12 | get TCP/IP Stack → | tags: tcpip, wolfip, socket

Today's top topics: openai