2. Show HN: CakeML-based self-verifying, self-improving system (emberian.github.io)
One gate, instantiated at every level: prove it, then act. Improvement integrates through a predecessor-certified step; strengthening the judge is the single labeled Gödelian seam. The inhabitant is never constrained by the proof. Every claim cited; the ledger verifies itself.
3. Show HN: Deliberate – log what your agent rejected, not just what it ran (www.deliberate.dev)
SDK + proxy for LangGraph and OpenAI Agents; MCP support via your host runtime. Audit trail, replay console, policy flags, and approval workflows.
4. Show HN: Entropic — information-driven variable-rate media playback (github.com)
Entropic: information-driven variable-rate media playback - patrickxia/entropic
5. Show HN: Agentpack – isolated config layers for Claude Code, Codex, and OpenCode (nexo.sh)
Modern agents like Claude Code, Codex, Cursor and OpenCode need skills, hooks and MCPs, but they load them differently. agentpack creates ephemeral staging configuration for reproducible AI coding environments.
6. The ~500kB NBSDGames 6 managed to be published ahead of GTA 6 (github.com)
A package of 21 new, improved, text-based modern games. Some are entirely original ideas. Best and lightest! - abakh/nbsdgames
7. AWS Budgets Has an 8-Hour Delay. Your Bedrock Bill Doesn't (blog.llmcap.io)
8. Tidio, Intercom, Wexio: identical on paper, built for different teams (wexio.io)
Tidio, Intercom, and Wexio look identical on paper but suit completely different teams. Side-by-side with real prices and decision framework.
9. Carbon Nanotube CPU Cooling (www.lttlabs.com)
Welcome to LTT Labs - your go-to destination for all things tech. Explore comprehensive test results, insightful commentary, and the latest analysis in hardware.
10. Show HN: Llmff v1.0 FFmpeg for Inference (github.com)
FFmpeg for Inference. Contribute to syndicalt/llmff development by creating an account on GitHub.
11. Show HN: Use Chrome DevTools Protocol to Control WinForm/MFC Apps (github.com)
If 2026 is the year of Agents, it doesn’t mean “Agents get better at controlling browsers”. It means “Agents can control every desktop app.” - AIGCEra/Creator
12. Show HN: Graph-Based Firebase Alternative with Real-Time Sync (linkedrecords.com)
Build your first LinkedRecords application
13. Show HN: Cordium: FOSS sandbox platform that eliminates credential injection (github.com)
Open-source sandbox platform with identity-based secretless infrastructure access for developers and AI agents on Kubernetes - octelium/cordium
14. Show HN: OWASP Agent Memory Guard – Stop AI Agent Memory Poisoning (github.com)
OWASP Foundation web repository. Contribute to OWASP/www-project-agent-memory-guard development by creating an account on GitHub.
15. Evolving FSQ Open Source Places (foursquare.com)
Stay up to date with the latest from Foursquare! Learn more about Evolving FSQ Open Source Places
16. Show HN: The Tired Engineer (www.thetiredengineer.com)
A community for employed engineers building side projects after hours — with a job, a family, and bills. You're not coding in Bali, and that's okay.