AlphaProof Code: How AI Agents Proved Signal’s Machine Code
AlphaProof Code used AI agents to prove Signal's compiled code secure in Lean. See the numbers, the limits, and a gatekeeper pattern for Node.js agents.
Ashutosh Tiwari
Instance Capacity Fallback: A Tested Design for Shortages
Instance capacity fallback explained with two October 2026 postmortems and AWS guidance, plus a tested Python launcher you can adapt for your own stack.
Node.js Security Release: 16 HTTP/2 and TLS Fixes to Patch
Node.js security release of Nov 11, 2026 fixes 16 CVEs in HTTP/2, HTTPS and TLS. Get the fixed versions, a feature triage table and a tested patch checker.
Encapsulation in Python: A Wallet That Can’t Go Negative
Encapsulation in Python with a wallet that can't go negative: read-only properties, Decimal money, runnable code, real output and interview follow-ups.
Claude Message Threads: Node.js Setup, Replay and Limits
Claude message threads send only new turns to the Messages API. Node.js setup, field rules, replay on thread_not_found, caching and when to skip them.
Cancel LLM Stream on Client Disconnect in Node.js: The Fix
Cancel LLM stream on client disconnect in Node.js: why req.on('close') fails, the res.writableFinished fix, plus OpenAI, Claude and Vercel code samples.
pgvector vs MongoDB Atlas Vector Search for Node.js RAG
pgvector vs MongoDB Atlas Vector Search for Node.js: filtering, consistency, dimension limits and hybrid search compared from the official docs, with code.
Agent Memory Architecture: A Safe, Bounded File Store
Agent memory architecture explained: index limits, one page per entity and path checks, with a tested Python store and Anthropic's Nov 2026 findings.
Semantic Caching for LLMs: Architecture, Thresholds, Risks
Semantic caching for LLMs explained: gateway architecture, safe similarity thresholds, tenant scoping and a tested Node.js cache, with published hit rates.
Retry Storm Prevention: Backoff, Jitter and Retry Budgets
Retry storm prevention with capped attempts, full jitter and retry budgets, drawn from GitHub's August 2026 outage and Uber, with tested Node.js code.