AI Elixir MUD Gaming OCaml Agentic Haskell Codecrafters Redis eio Debugging Agentic Realms Spec-Driven Development Claude NATS writing MMO netcode Unison Monads FP Refactoring Analysis Chat Synadia Akka Microservices Philosophy Engineering science world-building patterns Services ATproto Vibe coding Parsers Distributed Systems