Programming as Discovery Verifying Writing The Code Smell of LLM Defensive Coding Rust on the Frontend at Switch2 Impossible Tests Why the Funny Names? Coding without implementation Two Types of TDD A Steelman Anti-TDD Argument Domain Modelling with Category Theory Generate Random Data in Rust Build a HTTP Proxy in Haskell on AWS Lambda Haskell Through Example: ReaderT TDD + TDD = TTDD Data Constructors Are Functions Compose for Speed