Giant Lenses in the Sky
aerosociety.com·5h·
Discuss: Hacker News
📦Unikernel Systems
Looking for feedback: heads-up poker training app
app.pokerheads.de·1d·
Discuss: r/programming
🎮Verification Games
Ditch those words!
robinrendle.com·6h·
Discuss: Hacker News
⚙Operational Semantics
An Inline Cache Isn't Just a Cache
mgaudet.ca·3d·
Discuss: Hacker News
💎Refinement Types
Fluid vacuum yields exact solutions to Pioneer anomaly and Mercury's perihelion
cdnsciencepub.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Beyond the surface - Exploring attacker persistence strategies in Kubernetes
raesene.github.io·1d·
Discuss: Hacker News
⎈Kubernetes
Postgres High Availability with CDC
planetscale.com·1d·
Discuss: Hacker News
🏠HomeLab
Reid Hoffman’s Superagency
feld.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
How do we get AI Personas to sound so human?
askrally.com·1d·
Discuss: Hacker News
💾Retro Computing
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.com·3d·
Discuss: Hacker News
🔬Unikernels
DATE: Dynamic Absolute Time Enhancement for Long Video Understanding
arxiv.org·1d
📚Automata Learning
Collecting my thoughts about notation and user interfaces
interconnected.org·2d·
Discuss: Hacker News
🔄Finite State Machines
The Astronaut and the Planet: Part II
lesswrong.com·23h
🩹Self-Healing Systems
Embedding Poisoning: Bypassing Safety Alignment via Embedding Semantic Shift
arxiv.org·4d·
Discuss: Lobsters
🧩Parser Combinators
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·4d·
Discuss: Hacker News
🛡️seL4
A modified RIME algorithm with covariance learning and diversity enhancement for numerical optimization
arxiv.org·1d
🔠Type-Level Programming
Writing Code Is Easy. Reading It Isn't
idiallo.com·5d·
Discuss: Hacker News, r/programming
🔬Static Analysis
AI code is creating more Ops incidents – who should own fixing them?
medium.com·3d·
Discuss: Hacker News
👁️System Observability
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com·3d·
Discuss: Hacker News
🌐NetworkProtocols