The Glymphatic System
medscape.com·11h·
Discuss: Hacker News
📚Automata Learning
Book of All-Pairs Shortest Paths
olegkarasik.wordpress.com·4d·
Discuss: Hacker News
📡Network Protocol Design
Most school hacks carried out by their own pupils, watchdog says
bbc.com·1h·
Discuss: Hacker News
🛡️seL4
Securing MCP Servers
corgea.com·2d·
Discuss: Hacker News
🛡️seL4
first-class merges and cover letters
dotat.at·11h·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Why retention is so hard for new tech products
andrewchen.substack.com·25m·
Discuss: Substack
🍎Apple
Stop trusting your employees. Uber's "God View" proves you can't
cerbos.dev·32m·
Discuss: Hacker News
🛡️seL4
The Subtle Art of Taming Flows and Coroutines in Kotlin, or 'How Not to DDoS Yourself with Server-Sent Events'
cekrem.github.io·3d·
Discuss: r/programming, r/webdev
🌐NetworkProtocols
Rackintosh Plus
identity4.com·21h·
Discuss: Hacker News
💾Retro Computing
AWS cost us 48 hours
medium.com·3d·
Discuss: Hacker News
📊Runtime Verification
Show HN: A local first AI engine and orchestrator
krionis.com·3d·
Discuss: Hacker News
👁️System Observability
ReScript's Generalized Algebraic Data Types
rescript-lang.org·6d·
Discuss: Hacker News
🔠Type-Level Programming
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·9h·
Discuss: Hacker News
🐫Embedded OCaml
I built a free tool to take down pirated versions of my app – AMA
news.ycombinator.com·6h·
Discuss: Hacker News
🍎Apple
A Multi-Modal Deep Learning Framework for Colorectal Pathology Diagnosis: Integrating Histological and Colonoscopy Data in a Pilot Study
arxiv.org·2d
🐳Containerization
Risk-averse Fair Multi-class Classification
arxiv.org·2d
🧠Automated Reasoning
1.0 release of the Google Cloud client libraries for Rust
github.com·1d·
Discuss: Hacker News, r/rust
🔄Reproducible Builds
SL-SLR: Self-Supervised Representation Learning for Sign Language Recognition
arxiv.org·3d
📚Automata Learning
From Joy to Fear: A Benchmark of Emotion Estimation in Pop Song Lyrics
arxiv.org·2d
🧩Parser Combinators
Analysis of Blood Report Images Using General Purpose Vision-Language Models
arxiv.org·2d
🧩Parser Combinators