Formal Methods Beyond Correctness: Isolation & Permissiveness of Distributed Transactions in MongoDB Q: 9 R: 9 Jan 28, 2026 Summary
I still don't understand this SYN attack, but now I can block it easily Q: 6 R: 9 Jan 28, 2026 Summary
Please Don’t Say Mean Things about the AI That I Just Invested a Billion Dollars In Q: 6 R: 7 Jan 28, 2026 Summary
a bootstrap chain for NixOS which builds the whole system from a small hand-auditable binary seed Q: 6 R: 7 Jan 28, 2026 Summary
Bf-Tree: modern read-write-optimized concurrent larger-than-memory range index Q: 8 R: 6 Jan 28, 2026 Summary
A Seven things to know about how Apple’s Creator Studio subscriptions work Q: 8 R: 9 Jan 28, 2026 Summary