1. A bidirectional typechecking puzzle view 5 comments
2. Why didn’t IPv6 work in my home network? view 6 comments
3. RSS Feeds Send Me More Traffic Than Google view 0 comments
4. A Caddy Cert Expired Because systemd-resolved Was Selectively Broken view 7 comments
5. Bun (the js runtime) is being vibe-ported from zig to rust view 44 comments
6. Podman rootless containers and the Copy Fail exploit view 11 comments
7. Security Advisory: Local privilege escalation in Lix and Nix view 4 comments
8. Async Rust never left the MVP state view 9 comments
9. claude code is not making your product better view 1 comments
10. Tokens and Dreams view 0 comments
11. Oasis Linux view 16 comments
12. Behavior-Oriented Concurrency for Python: Lock-less, Deadlock-free, Ownership-based view 3 comments
13. Post-Quantum VPN Based on QUIC view 0 comments
14. Release v0.9.0 · Foxboron/ssh-tpm-agent view 0 comments
15. Comparing the Z80 and 6502 to Their Relatives view 0 comments
16. Building my own Vi text editor in BASIC view 0 comments
17. MacBook Neo Deep Dive: Benchmarks, Wafer Economics, and the 8GB Gamble view 5 comments
18. How LLMs Distort Our Written Language view 29 comments
19. Nondeterminism's not the problem view 17 comments
20. Reminder: You Can Stitch Together Lots of Little HTML Pages With Navigations For Interactions view 37 comments
21. Losing Skills view 11 comments
22. An exploitable integer overflow in Lix (CVE-2026-44028) view 0 comments
23. We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase view 0 comments
24. Inexpressibility in Exp-Minus-Log view 2 comments
25. Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS view 3 comments

More