Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·3d·
Discuss: Hacker News
Process Calculi
Varnish: 8.0.0 with bonus project news
varnish-cache.org·2d·
❄️Nixified Development
Upgradable Laptop GPUs Have Arrived
spectrum.ieee.org·4d·
💾Retro Computing
Workday Signs Definitive Agreement to Acquire Sana – Sep 16, 2025
investor.workday.com·21h·
Discuss: Hacker News
Automated Theorem Proving
rqlite 9.0: Real-Time Change Data Capture for Distributed SQLite
philipotoole.com·2d·
🔄Reproducible Builds
How to Install the Official Atlassian MCP Server for Claude Code
blog.johnys.io·1d·
Discuss: Hacker News
🏠HomeLab
An introduction to program synthesis
mchav.github.io·5d·
🤖Program Synthesis
Sleep Deprivation Training for Endurance Athletes
lesswrong.com·2d
🩹Self-Healing Systems
Axiom Space Aims for International Space Station with Orbital Data Center Node
theregister.com·7h·
Discuss: Hacker News
🖥Self-Hosting
The awe keeps dropping
morrick.me·2d·
Discuss: Hacker News
🍎Apple
How do I output to network drive?
reddit.com·21h·
Discuss: r/homelab
🐳Containerization
The Power of Showing Up for Each Other
mail.works-not-working.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Is the era of personal software portfolios over?
news.ycombinator.com·14h·
Discuss: Hacker News
🤖Program Synthesis
Mini rack with mini UPS
reddit.com·15h·
Discuss: r/homelab
💾Retro Computing
I built an LLM from Scratch in Rust (Just ndarray and rand)
github.com·3d·
🧩Parser Combinators
The Case for Mixed Deployment
lesswrong.com·6d
🩹Self-Healing Systems
MedFact: Benchmarking the Fact-Checking Capabilities of Large Language Models on Chinese Medical Texts
arxiv.org·19h
🧩Parser Combinators
Generating Individual Travel Diaries Using Large Language Models Informed by Census and Land-Use Data
arxiv.org·2d
📊Runtime Verification
How should I set up my two systems?
reddit.com·4d·
Discuss: r/homelab
🖥Self-Hosting