1. Formal methods and the future of programming view 0 comments
2. Faking keyword arguments to functions in C++ view 5 comments
3. If you are asking for human attention, demonstrate human effort view 0 comments
4. What’s New in WeatherMesh-6 view 0 comments
5. Web Browsers on Video Game Consoles view 4 comments
6. merman: Mermaid.js, but headless, in Rust view 9 comments
7. How building an HTML-first site doubled our users overnight view 46 comments
8. agent-shell 0.55 updates view 4 comments
9. EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation view 5 comments
10. CVE-2026-45257: LPE in FreeBSD via kTLS-RX view 5 comments
11. Software Is Made Between Commits view 2 comments
12. The Road to Component Model 1.0 view 0 comments
13. Nontrailing separators do not spark joy view 52 comments
14. Static types and shovels view 42 comments
15. Those old modem upgrades view 3 comments
16. How We Moved Discord Voice to the Edge view 1 comments
17. A Brief Introduction to Icon view 6 comments
18. Encrypted Spaces view 2 comments
19. New reCaptcha requires approved phones to pass view 22 comments
20. OTP and Gleam view 0 comments
21. The Ruby JRuby Was Built to Run view 0 comments
22. Learning Regular Languages with the TTT Algorithm view 1 comments
23. Odin dev-2026-06 Released view 0 comments
24. TrustZone Intermezzo: Broken OP-TEE Memory Isolation on i.MX 8M view 0 comments
25. The Jqwik Anti-AI Affair view 68 comments

More