Chiasmus is an MCP server that gives language models access to formal verification - yogthos/chiasmus

🎭 Stateful Serverless That Runs Anywhere. The easiest way to build stateful, AI agent, collaborative, or local-first applications. Deploy to Rivet, Cloudflare, Bun, Node.js, and more. - rivet-gg/actor-core

My post on how I like to manage servers. I cover SSH, networking, log rotation, and server management basics.

Remote terminal for the busy and impatient

Ultrafast web framework for Cloudflare Workers, Fastly Compute, Deno, Bun, Vercel, Lagon, Node.js, and others. Fast, but not only fast.

Visually explore different methods of retrying requests to learn why some methods are dangerous and what the best practice is.

HN discussion of Fabrix, a web application system built in TypeScript, and alternatives.