Lost in Technopolis

Fun with GPTel: gptel-prompts

Fun with GPTel: ob-gptel integration with Org-babel

Fun with GPTel: gptel-litellm for tracking sessions with LiteLLM

Implementing Löb’s theorem in Emacs Lisp

Program Reduction: A Win for Recursion Schemes

Monads are monoid objects

Putting lenses to work

Submitting Haskell functions to Z3

A case of reflection

Using the FMap library in Coq