Linux Kernel: I Just Wanted the File List Now I'm Neck-Deep in Makefiles
carminatialessandro.blogspot.com·2d·
Discuss: Hacker News
❄️Nixified Development
More Windsurf Drama
theahura.substack.com·9h·
Discuss: Substack
📦Unikernel Systems
LLMs became good at hacking by accident
blog.vidocsecurity.com·3d·
Discuss: r/programming
🛡️seL4
A Practical Comparison of AI Coding Agents
jaredforsyth.com·6d·
Discuss: Hacker News
🔄Reproducible Builds
Automated repo maintenance via GitHub Copilot coding agent
blog.pamelafox.org·3d·
Discuss: www.blogger.com, Hacker News
🔄Reproducible Builds
How Stack Overflow is innovating to keep up with AI disruption
leaddev.com·1d·
Discuss: Hacker News
⎈Kubernetes
Intel Puts The Process Horse Back In Front Of The Foundry Cart
nextplatform.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Use Qwen3-Coder (Or Any Other LLM) with Claude Code
old.reddit.com·4d·
Discuss: r/LocalLLaMA
🐫Embedded OCaml
I tracked my coding time for a month. I only debug 2% of the time
floustate.com·3d·
Discuss: Hacker News
👁️System Observability
Functional Documentation
dzombak.com·5d·
Discuss: Hacker News
🔬Static Analysis
Developing our position on AI
recurse.com·5d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Fundamental limits of distributed covariance matrix estimation via a conditional strong data processing inequality
arxiv.org·3d
👁️System Observability
Is it worth looking at SFF PCs with 3rd or 4th gen Intel CPUs for a basic homelab? What about old AMD CPUs (before Ryzen)?
reddit.com·11h·
Discuss: r/homelab
🏠HomeLab
Animal Interaction with Autonomous Mobility Systems: Designing for Multi-Species Coexistence
arxiv.org·4d
📡Network Protocol Design
On zero-order consistency residue and background pressure for the conservative SPH fluid dynamics
arxiv.org·2d
🐫OCaml
Mistral reports on the environmental impact of LLMs
mistral.ai·5d·
Discuss: Hacker News
🔍Formal Verification
ToFe: Lagged Token Freezing and Reusing for Efficient Vision Transformer Inference
arxiv.org·4d
🐫OCaml
On Logical Extrapolation for Mazes with Recurrent and Implicit Networks
arxiv.org·6d
🎮Verification Games
Data Mixing Agent: Learning to Re-weight Domains for Continual Pre-training
arxiv.org·5d
🤖Program Synthesis
Gene-DML: Dual-Pathway Multi-Level Discrimination for Gene Expression Prediction from Histopathology Images
arxiv.org·5d
🐫OCaml