1. FediMeteo: How a Tiny €4 FreeBSD VPS Became a Global Weather Service for Thousands view 3 comments
2. Formally speaking, "Transpiler" is a useless word view 45 comments
3. What are some interesting projects that you've done this year? view 11 comments
4. LLMs Are Not Fun view 89 comments
5. Building a React App with Formally Verified State view 18 comments
6. A vulnerability in libsodium view 2 comments
7. Mastodon Stories for systemd v259 view 2 comments
8. Curl removes all calls to strcpy view 24 comments
9. Xous: A Pure-Rust Rethink of the Embedded Operating System view 1 comments
10. Why we trust strangers’ open source more than our colleagues’ view 2 comments
11. Simple Bidirectional Type Inference view 0 comments
12. Memory Safety Is … view 16 comments
13. runST does not prevent resources from escaping view 1 comments
14. loss32: let's build a Win32/Linux view 26 comments
15. Make-shift shebangs for Go view 10 comments
16. 7 Practical std::chrono Calendar Examples (C++20) view 1 comments
17. Glamorous Christmas: Bringing Charm to Ruby view 5 comments
18. Turning Dafny Sets into Sequences view 0 comments
19. Some flexibility with Go's sumdb view 0 comments
20. Escaping Containment: A Security Analysis of FreeBSD Jails view 1 comments
21. Desktop Classic System — Spacial computing hearkening back to classic Mac OS view 3 comments
22. Restarting systemd services on sustained CPU abuse view 1 comments
23. What I've Learned Writing Gleam view 0 comments
24. The Silicon Valley Stack Doesn’t Work Here: Why Africa Will Lead the Post-Bloat Web view 27 comments
25. Hacking washing machines view 0 comments

More