Giant Lenses in the Sky
aerosociety.com·7h·
Discuss: Hacker News
📦Unikernel Systems
A compact cassette tape for DNA-based data storage
science.org·1d·
Discuss: Hacker News, Hacker News
🐳Containerization
Exclusive: Google wants to make Android phones safer by switching to ‘risk-based’ security updates
androidauthority.com·12h·
Discuss: Hacker News, r/Android
🔧Unikernel Development
Solar Cannibalization: Spain vs. Germany
solarletter.substack.com·1d·
Discuss: Substack
🩹Self-Healing Systems
An Inline Cache Isn't Just a Cache
mgaudet.ca·3d·
Discuss: Hacker News
💎Refinement Types
Postgres High Availability with CDC
planetscale.com·2d·
Discuss: Hacker News
🏠HomeLab
On Commercial Cooking Robots
cyberneticserendipity.substack.com·1d·
Discuss: Substack
🩹Self-Healing Systems
Fork that: Three alternative kernels show devs don't need Linux
theregister.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: Modelling a macOS application around my productivity research
openmodeai.com·1d·
Discuss: Hacker News
🍎Apple
Walking around the app
vickiboykis.com·5d·
Discuss: Hacker News
📊Runtime Verification
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·4d·
Discuss: Hacker News
🌐NetworkProtocols
No for Some, Yes for Others: Persona Prompts and Other Sources of False Refusal in Language Models
arxiv.org·2d
🛡️seL4
AI Agents vs. Agentic AI: A Kubernetes Developer’s Guide
thenewstack.io·3d
⎈Kubernetes
The Majority is not always right: RL training for solution aggregation
arxiv.org·4d
🎮Verification Games
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·4d
🎮Verification Games