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
Show HN: Free Volume Shader BM – a browser-based GPU performance benchmark
volumeshaderbm.org·3d·
Discuss: Hacker News
📊Runtime Verification
Workday Signs Definitive Agreement to Acquire Sana – Sep 16, 2025
investor.workday.com·18h·
Discuss: Hacker News
✓Automated Theorem Proving
XAML Designer v0.5 — online tool now supports code-behind
reddit.com·1d·
Discuss: r/programming
🍎Apple
Automated vulnerability scanning and vulnerability management (mrmcd25)
cdn.media.ccc.de·3d
👁️System Observability
Magical systems thinking
worksinprogress.co·5d·
Discuss: Hacker News, Hacker News
🩹Self-Healing Systems
How do I output to network drive?
reddit.com·18h·
Discuss: r/homelab
🐳Containerization
The Power of Showing Up for Each Other
mail.works-not-working.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Enthusiast builds entire PC setup with Lego-style bricks — Includes desktop terminal-style OLED monitor & keyboard, with an iPhone 6-powered desk clock
tomshardware.com·3d·
Discuss: Hacker News
💾Retro Computing
Cockpit Fileserver with samba read only on ios files app.
reddit.com·1h·
Discuss: r/homelab
🐳Containerization
Build ClickHouse-Powered APIs with React and MooseStack
clickhouse.com·23h·
Discuss: Hacker News
🧱Immutable Infrastructure
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·15h
🧩Parser Combinators
Generating Individual Travel Diaries Using Large Language Models Informed by Census and Land-Use Data
arxiv.org·2d
📊Runtime Verification
Is the era of personal software portfolios over?
news.ycombinator.com·11h·
Discuss: Hacker News
🤖Program Synthesis
Mutual Information Tracks Policy Coherence in Reinforcement Learning
arxiv.org·2d
🩹Self-Healing Systems
Mini rack with mini UPS
reddit.com·12h·
Discuss: r/homelab
💾Retro Computing