1. The Social Smolnet view 6 comments
2. Android developer verification: Balancing openness and choice with safety view 40 comments
3. Linear Temporal Logic Visualizer view 0 comments
4. H&R Block tax software installs a TLS root certificate with bundled private key view 0 comments
5. Unified Modules For Your Nixfiles view 4 comments
6. Life TV: Video with 2 bits to spare view 0 comments
7. Design Conductor: An agent autonomously builds a 1.5 GHz Linux-capable RISC-V CPU view 0 comments
8. Getting Ziggy With It – Re: Factor view 9 comments
9. 100+ Kernel Bugs in 30 Days view 3 comments
10. AI's impact on mathematics is analogous to the car's impact on cities view 21 comments
11. Beat Paxos view 1 comments
12. Verilator: open-source SystemVerilog simulator and lint system view 1 comments
13. A polyglot CodeCity visualizer built in Rust, rendering codebases as interactive 3D cities view 0 comments
14. The Tailless Deno view 0 comments
15. What Languages is Arthur Whitney Style Code Possible in? view 6 comments
16. Bitfield Pitfalls view 1 comments
17. How many branches can your CPU predict? view 4 comments
18. Graph Over Tables: Why We Built a Context Graph Instead of a CMDB view 1 comments
19. Root from the parking lot: OpenWRT XSS through SSID scanning (CVE-2026-32721) view 11 comments
20. No Semicolons Needed view 24 comments
21. Supply-chain attack using invisible code hits GitHub and other repositories view 7 comments
22. Introducing dial9: a flight recorder for Tokio view 0 comments
23. The 49MB Web Page view 4 comments
24. Monuses and Heaps view 3 comments
25. Serenely Fast I/O Buffer (With Benchmarks) | SereneDB view 0 comments

More