1. Programming Language Fundamentals in Agda view 3 comments
2. Timestral: Mistral's time-series foundation models view 1 comments
3. A New Way to Think About Borrow Checking (In Reverse) view 8 comments
4. Removing a Type Assertion with Object.assign view 0 comments
5. Demystifying Spherical Harmonics: An Optimization Approach view 0 comments
6. QML for C & Zig view 4 comments
7. Static Analysis for the Uninitialized view 0 comments
8. Crawlers, floods and fleets: a year of keeping our digital collections open view 4 comments
9. My obituary for programming view 26 comments
10. Efficient Extraction for Effectful E-graphs view 1 comments
11. The DNS Museum view 0 comments
12. How Discover-Tech turned targeted ads into a pipeline for zero-click spywares view 1 comments
13. High performance policy routed IPsec mesh SD-WAN view 3 comments
14. Inside the Intel 8087 chip: floating-point addition and subtraction view 0 comments
15. The Problem with C++ Safety: Why “It Works” Isn’t Good Enough view 17 comments
16. A response to claims about flatpak being insecure (2023) view 0 comments
17. Speeding up code review with `small-change` view 2 comments
18. The Brain Sandwich view 17 comments
19. Dynamic Packages view 1 comments
20. Ghidra + CBMC = Assembly Model Checker view 1 comments
21. BBC Master Pi 1MHz Domesday view 0 comments
22. Algorithmic Sound Design with L-Systems and Granular Synthesis view 0 comments
23. Real-time Software On Linux: How Hard Can It Be? view 0 comments
24. Composite objects and C++26 the std::polymorphic type view 0 comments
25. Trees to Flows and Back: Unifying Decision Trees and Diffusion Models view 0 comments

More