1. Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs view 2 comments
2. public/protected/private is an unnecessary feature view 8 comments
3. Oh, you want to know how the fediverse/activitypub works? Let me explain it to you view 1 comments
4. Technical Guide To System Calls: Implementation And Signal Handling In Modern Operating systems view 1 comments
5. Uniqueness for Behavioural Types view 0 comments
6. Faster route propagation by rewriting our Traefik gateway in Rust view 5 comments
7. Cryptpad v.2025.3.1 with OnlyOffice 8 view 0 comments
8. Practical /dev/tcp in the HTTPS Era view 5 comments
9. Is the transition to IPv6 inevitable? view 58 comments
10. What's higher-order about so-called higher-order references? view 1 comments
11. AI didn’t kill Stack Overflow view 11 comments
12. Can a chrome extension host a terminal emulator? view 2 comments
13. Improvements to RISC-V vector code generation in LLVM view 0 comments
14. WhisperD: linux voice-to-text using OpenAI whisper-1 transcription view 6 comments
15. What are you doing this week? view 43 comments
16. The DuckLake Manifesto: SQL as a Lakehouse Format view 0 comments
17. Is It JavaScript? view 18 comments
18. Designing Error Types in Rust Libraries view 7 comments
19. DPS8M Performance view 0 comments
20. LFSR CPU running Forth view 1 comments
21. How to deal with Rust dependencies view 10 comments
22. A Beautiful Technique for Some XOR Related Problems view 0 comments
23. CVE 2025-31200 CoreAudio bug exploited in the wild view 0 comments
24. In POSIX, you can theoretically use inode zero view 1 comments
25. My idea of how a modern mailing service should work (2011) view 3 comments

More