The Great Unbalding Draws Nearer
nymag.com·23h·
Discuss: Hacker News
📦Unikernel Systems
Geometry Solves Gerrymandering
nytimes.com·19h·
Discuss: Hacker News
🐫Embedded OCaml
The Fundamentals Still Matter
jordangoodman.bearblog.dev·5d·
Discuss: Hacker News
🔍Formal Verification
We Built Real-Time Chart Visualization in Our Chat SDK
withcoherence.com·6d·
Discuss: Hacker News
👁️System Observability
Handwired Skeletyl
justinmklam.com·6d·
Discuss: Hacker News, r/ErgoMechKeyboards
🐫Embedded OCaml
Radshield: Software Radiation Protection for Commodity Hardware in Space
radshield.github.io·6d·
Discuss: Hacker News
🛡️seL4
There is only one agent in August 2025
backnotprop.substack.com·6d·
Discuss: Substack
🧱Immutable Infrastructure
Cursor's Popularity Has Come at a Cost. GPT-5 May Have Arrived at the Right Time
newcomer.co·2d·
Discuss: Hacker News
🐫Embedded OCaml
Manpower discloses data breach affecting nearly 145,000 people
bleepingcomputer.com·15h·
Discuss: Hacker News
🛡️seL4
Microsoft "Wassette": Rust and WebAssembly to Help AI Agents
phoronix.com·6d·
Discuss: Hacker News
🧱Immutable Infrastructure
Honest and Reliable Evaluation and Expert Equivalence Testing of Automated Neonatal Seizure Detection
arxiv.org·5d
🎮Verification Games
Karel WebAssembly Karen
github.com·5d·
Discuss: Hacker News, r/reactjs
⚙️PL Implementation
Finally got a nice Grafana setup going for my homelab
i.redd.it·6d·
Discuss: r/homelab
🏠HomeLab
ASLSL: Adaptive shared latent structure learning with incomplete multi-modal physiological data for multi-dimensional emotional feature selection
arxiv.org·2d
🐫Embedded OCaml
Interpretable Rheumatoid Arthritis Scoring via Anatomy-aware Multiple Instance Learning
arxiv.org·2d
✓Automated Theorem Proving
Home network rebuild opinions
reddit.com·23h·
Discuss: r/homelab
🏠HomeLab
The State Of TTS: A Case Study with Human Fooling Rates
arxiv.org·6d
🎮Verification Games
Untangling my late father's homelab
reddit.com·2d·
Discuss: r/homelab
💾Retro Computing
The World According to LLMs: How Geographic Origin Influences LLMs' Entity Deduction Capabilities
arxiv.org·5d
✓Automated Theorem Proving
ALScope: A Unified Toolkit for Deep Active Learning
arxiv.org·5d
🔬Static Analysis