The Sound of Silence
kieranhealy.org·4h·
Discuss: Lobsters, Hacker News
🔬Unikernels
Watching the World in a Dark Room: The Early Modern Camera Obscura
publicdomainreview.org·4h·
Discuss: Hacker News
🍎Apple
Seamless Data Access: Micronaut Data Embraces Jakarta Data
hantsy.medium.com·5d·
Discuss: r/programming
🔄Reproducible Builds
Compressed Sensing
en.wikipedia.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
How Spotify Saved $18M With Smart Compression (And Why Most Teams Get It Wrong)
systemdr.substack.com·4d·
Discuss: Substack, r/programming
⚙️Operating System Design
Uncertain⟨T⟩
nshipster.com·6d·
Discuss: Hacker News
🧪Property-Based Testing
How Remote Work Died: A Girardian Tragedy in Corporate America
news.ycombinator.com·6h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Teach AI your name through someone it trusts
lauradecastro.substack.com·12h·
Discuss: Substack
✓Automated Theorem Proving
Show HN: I built Nexty.dev – 90 days since launch, 70 paid customers
nexty.dev·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
MCP-UI Aims To Replace ‘Old World’ Websites With AI Agent UIs
thenewstack.io·2h
🍎Apple
Recommendations to overcome language barriers in the Vera C. Rubin Observatory Research Ecosystem
arxiv.org·3d
🐫OCaml
Show HN: Gradient-Free ML Algorithm (Available for Contract Work)
news.ycombinator.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
SWIFT: A General Sensitive Weight Identification Framework for Fast Sensor-Transfer Pansharpening
arxiv.org·2d
🔠Type-Level Programming
CoGrader: Transforming Instructors' Assessment of Project Reports through Collaborative LLM Integration
arxiv.org·2d
✓Automated Theorem Proving
Eero Dropping Devices
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
HJB-based online safety-embedded critic learning for uncertain systems with self-triggered mechanism
arxiv.org·2d
🔄Finite State Machines
Explainable AI guided unsupervised fault diagnostics for high-voltage circuit breakers
arxiv.org·3d
👁️System Observability
Structure Preserving Finite Volume Schemes on Voronoi Grids: Curl Involution, Asymptotic Limit and Thermodynamics
arxiv.org·1d
📡Network Protocol Design
COOkeD: Ensemble-based OOD detection in the era of zero-shot CLIP
arxiv.org·15h
🐫OCaml
I built SQL-GPT – paste your schema, ask in English, get SQL queries
reddit.com·2d·
Discuss: r/programming
🎮Verification Games