Autel vs. DJI: how to plan in the event of a Chinese drone ban?
thedronegirl.com·3d·
Discuss: Hacker News
🧗Climbing Tech
Project Rain:L1TF
bughunters.google.com·5d·
Discuss: Lobsters, Hacker News
🛡️seL4
One step closer to bombing civilians
treason.io·1d·
Discuss: Hacker News
🛡️seL4
A quasi-moon has been Earth's unseen companion for about 60 years
edition.cnn.com·2d·
Discuss: Hacker News
📡Network Protocol Design
Disentangling the Dual Role of NIC Receive Rings
usenix.org·5d·
Discuss: Hacker News
⚙️Operating System Design
Drawn in the dock: the story of UK courtroom illustration (2020)
itsnicethat.com·3d·
Discuss: Hacker News
📺Vintage Apple
Three crashes in the first day? Tesla’s robotaxi test in Austin.
arstechnica.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
A refresh of Learn CSS with nine new modules
web.dev·6d·
Discuss: Hacker News
⚙️PL Implementation
Claude Code Degradation: A postmortem of three recent issues
anthropic.com·6d·
Discuss: Hacker News, r/ClaudeAI
💎Refinement Types
British AI startup beats humans in international forecasting competition
theguardian.com·4d·
Discuss: Hacker News, r/technews
✓Automated Theorem Proving
RIP “Browsers”
blog.jim-nielsen.com·5d·
Discuss: Hacker News
🍎Apple
The Deep Ocean Is a Global Public Good
nautil.us·4d·
Discuss: Hacker News
⎈Kubernetes
The dawn of the post-literate society – and the end of civilisation
jmarriott.substack.com·3d·
Discuss: Substack
🎮Verification Games
OnePlus leaves researchers on read over Android bug that exposes texts
theregister.com·17h·
Discuss: Hacker News
❄️Nixified Development
Why Parquet Matters for Time Series and Financial Services
questdb.com·5d·
Discuss: Hacker News
🧠Automated Reasoning
The Company Man
lesswrong.com·6d·
Discuss: Hacker News
❄️Nix
Show HN: AgentSafe – per-task micro-VM sandbox for AI agents (Go)
github.com·2d·
Discuss: Hacker News
🛡️seL4
This Week in Security: The Shai-Hulud Worm, ShadowLeak, and Inside the Great Firewall
hackaday.com·4d
🔬Unikernels
Show HN: XSched, a scheduling framework for multitasking over diverse XPUs
github.com·6d·
Discuss: Hacker News
⚙️Operating System Design
Free Software (Talk and Discussion) (nixcon2025)
cdn.media.ccc.de·5d
❄️NixOS