76: DTF:HN for March 17, 2026

Your Daily Tech Feed covering the top 10 stories on Hacker News for March 17, 2026. Featuring: Kagi Small Web, Kagi Translate now supports LinkedIn Speak as an output language, Building a Shell, Reddit User Uncovers Who Is Behind Meta's $2B Lobbying for Age Verification Tech, Grace Hopper's Revenge, and more.

Stories covered:

1. Kagi Small Web
   (Article | HN Discussion | 🎧 0:25)
2. Kagi Translate now supports LinkedIn Speak as an output language
   (Article | HN Discussion | 🎧 4:14)
3. Building a Shell
   (Article | HN Discussion | 🎧 7:48)
4. Reddit User Uncovers Who Is Behind Meta's $2B Lobbying for Age Verification Tech
   (Article | HN Discussion | 🎧 10:54)
5. Grace Hopper's Revenge
   (Article | HN Discussion | 🎧 14:08)
6. Leanstral: Open-source agent for trustworthy coding and formal proof engineering
   (Article | HN Discussion | 🎧 17:41)
7. The unlikely story of Teardown Multiplayer
   (Article | HN Discussion | 🎧 20:37)
8. Reverse-engineering Viktor and making it Open Source
   (Article | HN Discussion | 🎧 23:34)
9. What CI looks like at a 100-person team (PostHog)
   (Article | HN Discussion | 🎧 25:05)
10. Meta’s renewed commitment to jemalloc
    (Article | HN Discussion | 🎧 29:01)