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
WOFF 1.0: a milestone on W3C’s journey of fonts on the web Internet Standards HTTP & Web Protocols Web Development Q: 8 R: 8 Jul 28, 2026 Summary
Scientific computing in the age of agentic AI Open Source News Development Linux Q: 8 R: 8 Jul 28, 2026 Summary
Xenharmlib (music theory library) adds support for Just Intonation Open Source Development Q: 8 R: 9 Jul 28, 2026 Summary
Show HN: Base-GPUI: A GPUI port of Base UI headless components Open Source Development API & Integrations Q: 7 R: 8 Jul 28, 2026 Summary
Parallel JSON parsing on the GPU with compute shaders Open Source Development Performance & Scalability Q: 7 R: 9 Jul 28, 2026 Summary
Show HN: Vivari – Open-Source WebContainer for Node, Bun, and Python Open Source Containers & Docker Web Development Q: 6 R: 8 Jul 28, 2026 Summary
What AI developers could learn from Charles Bukowski? AI Tools Development Q: 6 R: 7 Jul 28, 2026 Summary
Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code AI Tools Development Open Source Q: 8 R: 9 Jul 28, 2026 Summary
Show HN: Scala Tutorials – interactive Scala 3 lessons in the browser Development Open Source Q: 6 R: 8 Jul 24, 2026 Summary
Golang Maps: how Swiss Tables replaced the old bucket design Performance & Scalability Open Source Development Q: 8 R: 9 Jul 24, 2026 Summary