How proprietary formats have become Microsoft’s main tool for lock-in Open Source Open Source News Q: 8 R: 9 Jul 20, 2026 Summary
LoRA Speedrun – a public wall-clock leaderboard for fine-tuning techniques LLM & Prompting AI Tools Open Source Q: 8 R: 9 Jul 20, 2026 Summary
Who’s responsible for bug reports on old software versions? Linux Open Source Development Q: 8 R: 9 Jul 19, 2026 Summary
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