Function Colors Represent Different Execution Contexts
danieltan.weblog.lol·3d·
Discuss: r/programming
🏹Effect Systems
Cosplaying as a fiber ISP
zisacom.com·3h·
Discuss: r/homelab
🌐NetworkProtocols
Logarithmic mean energy optimization a metaheuristic algorithm
nature.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
What even is distributed systems
notes.eatonphil.com·4d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Amazon Drone Beehive Concept (2019)
etrr.springeropen.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
MLS: The Naked King of End-to-End Encryption
poberezkin.com·21h·
Discuss: Hacker News
🛡️seL4
Show HN: Let Claude Code/Cursor agents page your phone when they're finished
heyoncall.com·1h·
Discuss: Hacker News
🍎Apple
Why Are Digital Systems Failing the People They're Meant to Serve?
syntheticauth.ai·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Reverse Proxy Deep Dive: Why Load Balancing at Scale is Hard
startwithawhy.com·4d·
Discuss: Hacker News, r/devops
🖥️Self-hosted Infrastructure
Programming a Language
nrinaudo.github.io·2d·
Discuss: Hacker News
🔬Static Analysis
Dolthub/go-MySQL-server: A MySQL-compatible database, in pure Go
github.com·3h·
Discuss: Hacker News
🛡️seL4
Mind the IP Gap: Measuring the impact of IPv6 on DNS censorship
arxiv.org·1d
📡Network Protocol Design
Provably positivity-preserving, globally divergence-free central DG methods for ideal MHD system
arxiv.org·15h
🐫OCaml
My Evolving HomeLab
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Narrative Memory in Machines: Multi-Agent Arc Extraction in Serialized TV
arxiv.org·1d
🎮Verification Games
Klear-Reasoner: Advancing Reasoning Capability via Gradient-Preserving Clipping Policy Optimization
arxiv.org·1d
✓Automated Theorem Proving
noise level of the Dell PowerEdge R730
reddit.com·8h·
Discuss: r/homelab
🏠HomeLab
Getting Started: Reading Bosch Sensor Data on the Badge with MicroPython (WHY2025)
cdn.media.ccc.de·1d
🐫Embedded OCaml
LLM Evals Are Just Tests. Why Are We Making This So Complicated?
cameronwestland.com·3d·
Discuss: Hacker News
🔍Formal Verification
Multi-Level Service Performance Forecasting via Spatiotemporal Graph Neural Networks
arxiv.org·1d
💻CS