Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·3d·
Discuss: Hacker News
⚡Process Calculi
FBI couldn't get my husband to decrypt his Tor node so he was jailed for 3 years
old.reddit.com·1d·
Discuss: r/TOR
🌐NetworkProtocols
Varnish: 8.0.0 with bonus project news
varnish-cache.org·2d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Upgradable Laptop GPUs Have Arrived
spectrum.ieee.org·4d·
Discuss: Hacker News, Hacker News, r/technews
💾Retro Computing
Workday Signs Definitive Agreement to Acquire Sana – Sep 16, 2025
investor.workday.com·20h·
Discuss: Hacker News
✓Automated Theorem Proving
XAML Designer v0.5 — online tool now supports code-behind
reddit.com·1d·
Discuss: r/programming
🍎Apple
rqlite 9.0: Real-Time Change Data Capture for Distributed SQLite
philipotoole.com·2d·
Discuss: Hacker News, Hacker News, r/golang
🔄Reproducible Builds
How to Install the Official Atlassian MCP Server for Claude Code
blog.johnys.io·1d·
Discuss: Hacker News
🏠HomeLab
Automated vulnerability scanning and vulnerability management (mrmcd25)
cdn.media.ccc.de·3d
👁️System Observability
Sleep Deprivation Training for Endurance Athletes
lesswrong.com·1d
🩹Self-Healing Systems
The awe keeps dropping
morrick.me·2d·
Discuss: Hacker News
🍎Apple
How do I output to network drive?
reddit.com·19h·
Discuss: r/homelab
🐳Containerization
Axiom Space Aims for International Space Station with Orbital Data Center Node
theregister.com·6h·
Discuss: Hacker News
🖥Self-Hosting
Build ClickHouse-Powered APIs with React and MooseStack
clickhouse.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
I built an LLM from Scratch in Rust (Just ndarray and rand)
github.com·3d·
Discuss: Hacker News, r/LLM, r/rust
🧩Parser Combinators
A minimal formula for AI destiny (Max O subject to D(world,human) ≤ ε)
news.ycombinator.com·1d·
Discuss: Hacker News
📐Denotational Semantics
MedFact: Benchmarking the Fact-Checking Capabilities of Large Language Models on Chinese Medical Texts
arxiv.org·17h
🧩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
Mutual Information Tracks Policy Coherence in Reinforcement Learning
arxiv.org·2d
🩹Self-Healing Systems