'Let's understand the value of the forest' says Liberia's Silas Siakor
news.mongabay.com·23h·
Discuss: Hacker News
⎈Kubernetes
Ollee Watch: Turn your classic Casio watch into a smartwatch
olleewatch.com·1d·
Discuss: Hacker News
🍎Apple
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
Living in a tiny electric van for three years
philsturgeon.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Electric haul trucks could save Fortescue over $400 million in fuel per year
electrek.co·2d·
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
An Introduction to XForms
xml.com·6d·
Discuss: Hacker News
⚙️PL Implementation
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
The Weekly Win
yusufaytas.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
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·19h
📚Automata Learning
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·6d·
Discuss: Hacker News
🤖Program Synthesis
Demo papers: they're fine I guess
lesswrong.com·3d
🔬Static Analysis
Depth-Bounded Epistemic Planning
arxiv.org·4d
🧩Separation Logic
Deals: Mac mini $499, M3 iPad Air $150 off, M4 MacBook Air from $799, Beats iPhone 17 cases, more
9to5mac.com·7h
🍎Apple
FetalSleepNet: A Transfer Learning Framework with Spectral Equalisation Domain Adaptation for Fetal Sleep Stage Classification
arxiv.org·19h
📚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