Hyperbole Implicit Buttons: Build your Hyperverse Open Source Development API & Integrations Q: 8 R: 9 Jul 29, 2026 Summary
SpecForge – A Platform for Authoring Formal Specifications Automation Monitoring Development Q: 8 R: 9 Jul 29, 2026 Summary
Show HN: Vimgolf.ai – Learn Vim by playing through a map of levels Development Open Source Q: 8 R: 8 Jul 29, 2026 Summary
Show HN: Learning Rust by writing a Markdown to HTML compiler Development Open Source Q: 8 R: 9 Jul 29, 2026 Summary
Hubbele: Open-source notetaking app for you and your agents Open Source Productivity Tools Development Q: 7 R: 8 Jul 29, 2026 Summary
Show HN: Manim (3Blue1Brown's animation engine) in the browser via WebGPU Open Source Development Web Development Q: 8 R: 9 Jul 29, 2026 Summary
The Difference Between a Button and a Link Web Development HTTP & Web Protocols Q: 8 R: 9 Jul 29, 2026 Summary
Your type checker may be wrong - an introduction to formal proof verification and the Curry-Howard Correspondence Development Open Source Q: 8 R: 9 Jul 25, 2026 Summary
Proof types in Dart: Using final classes as computational witnesses Development Q: 8 R: 9 Jul 28, 2026 Summary
Y Robotics development made dead simple (open source) Open Source Development Q: 6 R: 7 Jul 26, 2026 Summary