Grok-iOS – remote Grok Build from your iPhone over ACP DevOps Automation Open Source Q: 8 R: 9 Jul 19, 2026 Summary
Principia Artificialis – Mathematical Foundations of Artificial Thought AI Research Open Source Q: 8 R: 9 Jul 19, 2026 Summary
Y Show HN: I replaced a $120k bowling center system with $1,600 in ESP32s Open Source IoT & Embedded Hardware Q: 7 R: 7 Jul 19, 2026 Summary
Introduction to Formal Verification with Lean (Part 1) Development Open Source Security Q: 8 R: 9 Jul 19, 2026 Summary
WIP/RFC: Unify all our various IR data structures into one Open Source Development Q: 8 R: 9 Jul 18, 2026 Summary
Ollama: all aboard open models AI Tools Open Source API & Integrations Q: 8 R: 9 Jul 11, 2026 Summary
I joined the IndieWeb, here's what I learned Internet Standards Open Source API & Integrations Q: 8 R: 9 Jul 19, 2026 Summary
Git email patch review addon for Thunderbird Development Open Source API & Integrations Q: 6 R: 7 Jul 19, 2026 Summary
Show HN: LoopGain – Stop agent loops with control theory, not max_iterations AI Tools Open Source DevOps Q: 8 R: 9 Jul 15, 2026 Summary
Skred is now a MIDI aware synth and drum machine construction kit Open Source Development Linux Q: 8 R: 9 Jul 19, 2026 Summary
The death and rebirth of my home server Linux Backup & Recovery Open Source Q: 8 R: 9 Jul 19, 2026 Summary
Claude Code uses Bun written in Rust now AI Tools AI News Open Source News Q: 8 R: 9 Jul 19, 2026 Summary