Mapping Out the Library of Babel
carlnewton.github.io·22h·
Discuss: Hacker News
➡️Category Theory
Reversing a Fingerprint Reader Protocol (2021)
blog.th0m.as·17h·
Discuss: Hacker News
📦Unikernel Systems
China’s BYD Takes the Lead Over Tesla in the Self-Driving Car Wars
gizmodo.com·1d·
Discuss: Hacker News, r/technology
🖥️Self-hosted Infrastructure
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·4d·
Discuss: Hacker News
👁️System Observability
Don't Fall for AI: Reasons for Writers to Reject Slop
mythcreants.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·5d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Voidware: Software that only exists when you use it
ohad.com·6d·
Discuss: Hacker News
🔬Unikernels
Advice on Building Voice AI in June 2025
daily.co·6d·
Discuss: Hacker News
👁️System Observability
IntelliJ IDEA Moves to the Unified Distribution
blog.jetbrains.com·3d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Divine Documentation
aneeshsathe.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Super Resolution for Renewable Energy Resource Data With Wind From Reanalysis Data and Application to Ukraine
arxiv.org·2d
🧱Immutable Infrastructure
DIY cabinet design for (hopefully) silent-ish homelab
reddit.com·12h·
Discuss: r/homelab
🏠HomeLab
Why AI Agents Need a New Kind of Browser
thenewstack.io·1d
🛡️seL4
BlueGlass: A Framework for Composite AI Safety
arxiv.org·5d
🔄Finite State Machines
Rethinking Prompt Optimization: Reinforcement, Diversification, and Migration in Blackbox LLMs
arxiv.org·5d
🎮Verification Games
Where to place my homelab in this home?
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
AirLLM: Diffusion Policy-based Adaptive LoRA for Remote Fine-Tuning of LLM over the Air
arxiv.org·4d
🐫OCaml
Measuring and predicting visual fidelity
arxiv.org·3d
👁️System Observability
The Engineer's Dilemma: A Review of Establishing a Legal Framework for Integrating Machine Learning in Construction by Navigating Precedents and Industry Expect...
arxiv.org·5d
🏹Effect Systems
If you want a picture of the future, imagine humans checking AI didn't make a mistake – forever
theregister.com·4d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving