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

More