L.A. Wildfire victims struggle to rebuild with natural materials
latimes.com·8h·
Discuss: Hacker News
🧱Immutable Infrastructure
Rare earth element recycling impacts on semiconductor industries
link.springer.com·2d·
Discuss: Hacker News
💾Retro Computing
Dead Zone Dragging
steveruiz.me·2d·
Discuss: Hacker News
✓Automated Theorem Proving
What async communication patterns lead to better outcomes for engineers?
rdel.substack.com·1d·
Discuss: Substack
🔄Reproducible Builds
A platform that discovers the latest and most innovative SaaS products
saashunt.best·19h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Does AWS Lambda have a silent crash in the runtime?
aaronstuyvenberg.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
Don't Fall for AI: Reasons for Writers to Reject Slop
mythcreants.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Future-Proof Programming Languages
log.schemescape.com·6d·
Discuss: Hacker News
🐫Embedded OCaml
Watch out, another max-severity, make-me-root Cisco bug on the loose
theregister.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Gaslight-driven development
tonsky.me·4d·
Discuss: Hacker News
🔬Unikernels
Grep a million GitHub repositories via MCP
vercel.com·3d·
Discuss: Hacker News
🛡️seL4
How and where will agents ship software?
instantdb.com·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
X9Sdri LN4F series and Xeon E7 4xxx E7 8xxx
reddit.com·1d·
Discuss: r/homelab
🍎XNU Internals
I built an image viewer for the terminal that works everywhere
news.ycombinator.com·11h·
Discuss: Hacker News
💾Retro Computing
When Pattern-by-Pattern Works: Theoretical and Empirical Insights for Logistic Models with Missing Values
arxiv.org·2d
🔠Type-Level Programming
Prompt4Trust: A Reinforcement Learning Prompt Augmentation Framework for Clinically-Aligned Confidence Calibration in Multimodal Large Language Models
arxiv.org·5d
🎮Verification Games
Why AI Agents Need a New Kind of Browser
thenewstack.io·2d
🛡️seL4
Build an AI Agent Web App with String and Lovable
pipedream.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Real-time control of a magnetohydrodynamic flow
arxiv.org·2d
👁️System Observability
Ask HN: What would convince you to take AI seriously?
news.ycombinator.com·22h·
Discuss: Hacker News
✓Automated Theorem Proving