Category AI

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
November 12, 2026

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.

Ashutosh Tiwari
November 12, 2026

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.

Ashutosh Tiwari
November 12, 2026

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.

Ashutosh Tiwari
November 8, 2026

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.

Ashutosh Tiwari
November 8, 2026

LLM Structured Outputs in Node.js: Fix Broken JSON From AI

LLM structured outputs stop AI APIs from returning broken JSON. Learn the Node.js + Zod fix for OpenAI and Claude, plus refusal and truncation gotchas.