Mapping Out the Library of Babel
carlnewton.github.io·9h·
Discuss: Hacker News
➡️Category Theory
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·2d·
Discuss: Hacker News
👁️System Observability
OpenAI, Elon Musk's Wild Plan to Set Artificial Intelligence Free (2016)
wired.com·1d·
Discuss: Hacker News
🔬Unikernels
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·3d·
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·4d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Voidware: Software that only exists when you use it
ohad.com·5d·
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·2d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
The Interview Question That Tells Me Everything
medium.com·2d·
Discuss: Hacker News
👁️System Observability
Divine Documentation
aneeshsathe.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Efficient Adaptation of Pre-trained Vision Transformer underpinned by Approximately Orthogonal Fine-Tuning Strategy
arxiv.org·1d
➡️Category Theory
Multi-Class-Token Transformer for Multitask Self-supervised Music Information Retrieval
arxiv.org·1d
🍎Apple
If you want a picture of the future, imagine humans checking AI didn't make a mistake – forever
theregister.com·3d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
Lightweight Safety Guardrails via Synthetic Data and RL-guided Adversarial Training
arxiv.org·5d
🛡️seL4
Super Resolution for Renewable Energy Resource Data With Wind From Reanalysis Data and Application to Ukraine
arxiv.org·1d
🧱Immutable Infrastructure
Why AI Agents Need a New Kind of Browser
thenewstack.io·1d
🛡️seL4
BlueGlass: A Framework for Composite AI Safety
arxiv.org·4d
🔄Finite State Machines
Rethinking Prompt Optimization: Reinforcement, Diversification, and Migration in Blackbox LLMs
arxiv.org·4d
🎮Verification Games
AirLLM: Diffusion Policy-based Adaptive LoRA for Remote Fine-Tuning of LLM over the Air
arxiv.org·3d
🐫OCaml