Bucolic battlefield: a California seashore says goodbye to dairy farms – and hopes to heal
theguardian.com·18h·
Discuss: Hacker News
🐳Containerization
Show HN: Desk clock with rotating Earth showing real-time day/night cycles
atelierludo.com·1d·
Discuss: Hacker News
🍎Apple
Swedish Fish: When McMaster-Carr Is Missing a CAD Model
andrewbirkel.com·21h·
Discuss: Hacker News
💾Retro Computing
Drive manually
blog.julik.nl·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Understanding the Future of No-Code Data Import Solutions
dromo.io·8h·
Discuss: Hacker News
🐳Containerization
Rhythm, Repetition, and Class
philosophermaker.substack.com·1d·
Discuss: Substack
➡️Category Theory
Evolution of the ELF object file format
maskray.me·1h·
Discuss: Hacker News
📦Unikernel Systems
Are automated retries of specs a good pattern?
automationpanda.com·1d·
Discuss: Hacker News
👁️System Observability
NSF Starts Ramping Up the National Quantum Virtual Laboratory
hpcwire.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Knowledge and memory
robinsloan.com·1d·
Discuss: Hacker News
📚Automata Learning
Linux - Recreating old problems with new tools
dedoimedo.com·1d·
Discuss: Hacker News, Hacker News
🔧Unikernel Development
Using Claude Code SDK to Reduce E2E Test Time by 84%
jampauchoa.substack.com·16h·
Discuss: Substack
🧪Property-Based Testing
Why Eval Startups Fail
thomasliao.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Uncertainty-driven Adaptive Exploration
arxiv.org·3d
🎮Verification Games
Finetuning AI Foundation Models to Develop Subgrid-Scale Parameterizations: A Case Study on Atmospheric Gravity Waves
arxiv.org·2d
🧠Automated Reasoning
Quantum-like Coherence Derived from the Interaction between Chemical Reaction and Its Environment
arxiv.org·4d
🐫OCaml
Globally Asymptotically Stable Trajectory Tracking of Underactuated UAVs using Geometric Algebra
arxiv.org·3d
🔄Finite State Machines
Physicists create a new kind of time crystal that humans can actually see
phys.org·1d·
Discuss: Hacker News
💾Retro Computing
First setup
reddit.com·9h·
Discuss: r/homelab
🏠HomeLab
This Week in Security: DNS Oops, Novel C2s, and the Scam Becomes Real
hackaday.com·1d
🛡️seL4