1. CSLib: A Focused Effort on Formalizing Computer Science in Lean view 0 comments
2. One-off Verified Transpilation with Claude view 0 comments
3. You CAN Average Percentiles (2016) view 0 comments
4. vnccc: vnc wrapped claude code view 0 comments
5. Implementation of the Apollo Guidance Computer in an FPGA view 0 comments
6. Learning Low-Level Computing and C++ by Making a Game Boy Emulator - The Making of GameByte view 0 comments
7. JS Returns Undefined view 1 comments
8. python_uaf: Use-after-free in Python view 0 comments
9. Lobsters Blog Carnival Announcement view 0 comments
10. Vibe Kanban - Orchestrate AI Coding Agents view 5 comments
11. Skip Is Now Free and Open Source view 3 comments
12. Architecture for Disposable Systems view 0 comments
13. Reliable Signals of Honest Intent view 43 comments
14. Making an LSP for great good view 7 comments
15. I got into an argument on Discord about how inefficient CBR/CBZ is, so I wrote a new file format view 25 comments
16. I was banned from Claude for scaffolding a CLAUDE.md file view 4 comments
17. Nested Code Fences in Markdown view 0 comments
18. Vibecoding #2 view 1 comments
19. pandas 3.0.0 released view 3 comments
20. Best Practices for Ownership in GLib view 0 comments
21. Building a javascript runtime in one month view 22 comments
22. The Art of Craftsmanship (Monozukuri) in the Age of AI view 2 comments
23. Class vs. Instance Methods in Ruby (2020) view 0 comments
24. A high-level quality-of-service interface view 0 comments
25. libcurl memory use some years later view 0 comments

More