'Let's understand the value of the forest' says Liberia's Silas Siakor
news.mongabay.com·1d·
Discuss: Hacker News
⎈Kubernetes
Defending Amateur Radio Spectrum: The AST SpaceMobile Battle Continues
openresearch.institute·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Software Bill of Materials Requirements in DoD and Federal Guidance
eclypsium.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Electric haul trucks could save Fortescue over $400 million in fuel per year
electrek.co·3d·
Discuss: Hacker News
🩹Self-Healing Systems
PayPal Ushers in a New Era of Peer-to-Peer Payments with Ethereum and Bitcoin
newsroom.paypal-corp.com·11h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Culture Novels as a Dystopia
boristhebrave.com·17h·
Discuss: Hacker News
🩹Self-Healing Systems
VaultGemma: The world's most capable differentially private LLM
research.google·3d·
Discuss: Hacker News, r/LocalLLaMA
🧩Separation Logic
The Grammar Checker That Gets Developers
wearefounders.uk·4d·
Discuss: Hacker News
🧩Parser Combinators
Fish Shell 4.0.6 Released With Many Fixes
phoronix.com·3d·
Discuss: Hacker News
❄️Nixified Development
Non T series Processor in mini pc?
preview.redd.it·1d·
Discuss: r/homelab
💾Retro Computing
HomeKit Weekly: SwitchBot’s Evaporative Humidifier gets smarter with Matter 1.4 support
9to5mac.com·3d
🩹Self-Healing Systems
Show HN: Robot MCP Server – Connect Any Language Model and ROS Robots Using MCP
github.com·5d·
Discuss: Hacker News
🏠HomeLab
WhisTLE: Deeply Supervised, Text-Only Domain Adaptation for Pretrained Speech Recognition Transformers
arxiv.org·21h
📚Automata Learning
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·6d·
Discuss: Hacker News
🤖Program Synthesis
Depth-Bounded Epistemic Planning
arxiv.org·4d
🧩Separation Logic
FetalSleepNet: A Transfer Learning Framework with Spectral Equalisation Domain Adaptation for Fetal Sleep Stage Classification
arxiv.org·21h
📚Automata Learning
My review of Claude's new Code Interpreter, released under a very confusing name
simonwillison.net·6d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
Demo papers: they're fine I guess
lesswrong.com·3d
🔬Static Analysis
You too can run malware from NPM (I mean without consequences)
github.com·6d·
Discuss: Hacker News
🛡️seL4
Ask HN: The quiet demolition of self‑learned skill
news.ycombinator.com·2d·
Discuss: Hacker News
➡️Category Theory