Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·1d·
Discuss: r/programming
🌐NetworkProtocols
The Unseen Cost of Custom Domains: Why Manual SSL Management Is Hurting You
vanitycert.com·19h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·21h·
Discuss: Hacker News
🛡️seL4
Decision Theory Guarding is Sufficient for Scheming
lesswrong.com·1d
🧠Automated Reasoning
The Origin Story of Merge Queues
mergify.com·1h·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·1d·
Discuss: Hacker News
🧮Lambda Calculus
Making AI Agents Feel Instant (Even When They're Not)
slavoglinsky.com·5h·
Discuss: Hacker News
👁️System Observability
A Short Introduction to Tor
spec.torproject.org·1d·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·1d·
Discuss: Substack
🎮Verification Games
What is your take on Event Sourcing? How hard was it for you to get started?
martinfowler.com·1d·
Discuss: r/programming
👁️System Observability
So you want to control flow in PyTorch 2
blog.ezyang.com·4d·
Discuss: Hacker News
✅Model Checking
Experimenting with local LLMs on macOS
blog.6nok.org·2d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·2d·
Discuss: Hacker News
👁️System Observability
Kerberoasting
blog.cryptographyengineering.com·5h·
Discuss: Lobsters, Hacker News
🛡️seL4
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·1d·
Discuss: Hacker News
🔄Reproducible Builds
Scaffolding for production vibe coding
interjectedfuture.com·22h·
Discuss: Hacker News
🔬Static Analysis
The Expression Problem and its solutions
eli.thegreenplace.net·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems
You are not going to turn into Google eventually
idiallo.com·6h·
Discuss: Hacker News
🧱Immutable Infrastructure
Using Claude Code SDK to Reduce E2E Test Time by 84%
jampauchoa.substack.com·3d·
Discuss: Substack
🔄Reproducible Builds
The canonical agent architecture: A while loop with tools
braintrust.dev·3d·
Discuss: Hacker News
⚙Operational Semantics