May 2026 Archive
18181.
18182.
18183.
Show HN: Vacant, a fast domain checker for you and your agent
(vacant.alltuner.com)
18184.
18185.
Unified physics theory machine-verified in Lean 4 (504 K lines, 0 sorry)
(ramzesx.github.io)
18186.
Karabiner-Elements 16.0.0
(karabiner-elements.pqrs.org)
18187.
18188.
Knowledge Infra for Agents and Humans
(dosu.dev)
18189.
18190.
18191.
18192.
18193.
18194.
18195.
2026 Cocodona Livestream Day 1 [video]
(youtube.com)
18196.
18197.
DeepCtx – VS Code extension that auto-builds codebase context for AI tools
(marketplace.visualstudio.com)
18198.
18199.
Marc Andreessen, A16Z and Netscape
(davidsenra.com)
18200.
Optical Storage in 2026: Dead or Dead Useful? [video]
(youtube.com)
18201.
18202.
Can agents replace the search stack?
(softwaredoug.com)
18203.
18204.
The Quest to Chart the Sea
(economist.com)
18205.
EU accused of wasting €20B on AI computing dreams
(politico.eu)
18206.
SAP Acquiring Dremio
(dremio.com)
18207.
Show HN: I made a private/local audio transcriber
(usewhispy.com)
18208.
18209.
18210.