Cool Ideas for a Hot Planet: Rethinking Air Conditioning
worldsensorium.com·9h·
Discuss: Hacker News
🧱Immutable Infrastructure
Microsoft-Backed Company Begins Work on Washington Nuclear Fusion Plant
nucnet.org·7h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Money by Vile Means
compactmag.com·15h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
After stage-gate: companies developing new idea-to-launch processes (2014)
thefreelibrary.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Physicists disagree wildly on what quantum mechanics says about reality, <i>Nature</i> survey shows
nature.com·1d·
Discuss: Hacker News
➡️Category Theory
I'm never going back to Matrix
shkspr.mobi·2d·
Discuss: Lobsters, Hacker News, shkspr.mobi
🔬Unikernels
Kubernetes v1.34 Sneak Peek
kubernetes.io·3d·
Discuss: Hacker News
⎈Kubernetes
The First Few Milliseconds of an HTTPS Connection
moserware.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
AI is the Software. You are the Hardware
new.anupshinde.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: OpenCodeSpace – Disposable Containers for Claude Code in YOLO Mode
news.ycombinator.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Things I Wish I Knew Before Vibe Coding
saastr.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Pull Requests Are a Poor Fit For Agentic AI
bauer.codes·2d·
Discuss: Hacker News, Hacker News, r/programming
🔄Reproducible Builds
Why are AI SWE Agents no longer an AI research statement?
supratikdas.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Rural School Bus Routing and Scheduling
arxiv.org·2d
📡Network Protocol Design
Snap, Segment, Deploy: A Visual Data and Detection Pipeline for Wearable Industrial Assistants
arxiv.org·1d
🧗Climbing Tech
Ov3R: Open-Vocabulary Semantic 3D Reconstruction from RGB Videos
arxiv.org·1d
📦Unikernel Systems
My hyperconverged homelab
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
LoRA-Leak: Membership Inference Attacks Against LoRA Fine-tuned Language Models
arxiv.org·6d
🛡️seL4
HIVMedQA: Benchmarking large language models for HIV medical decision support
arxiv.org·6d
🔍Formal Verification
Structure-preserving nodal DG method for Euler equations with gravity II: general equilibrium states
arxiv.org·1d
🔍Formal Verification