Stories by Jaume-s-hn

Show HN: Run Claude Code sessions on Linear issues via two MCP servers

Ask HN: Anyone want to collaborate on a local-first AI-based research assistant

The Hilbert-Pólya Operator

Simplifying Two Millennium Prize Problems

Policy enforcement in AI systems: turning governance into runtime control

Show HN: PyClaw

Quarto: An open-source scientific and technical publishing system

The IDE Is Dead. Long Live the ADE

AI systems fail when they don't control what they're allowed to know

William Rankin

Designing AI systems as governed control planes

NASA to spend $20B on moon base after cancelling orbiting station

Evaluation Gates: Releasing AI Systems Without Guesswork

Formal Threat Modelling for Ledger Hardware Wallets with PDDL and Alloy

CUDb, a lightweight GPU-native DB Engine

The OWASP MCP Top: A Security Framework for AI Agent Tool Integration

Python JSON SQL DB

Golden Sets: Regression Engineering for Probabilistic Systems

Review of the Agent Internet RFCs

Why I (Still) Use Aider in 2026

1 2 3 4 5 6 7 8 9 10