Lost in Technopolis http://newartisans.com Sat, 21 Jun 2025 00:00:00 UT Fun with GPTel: gptel-prompts http://newartisans.com/2025/06/fun-with-gptel-gptel-prompts/ 2025-06-21 http://newartisans.com/2025/06/fun-with-gptel-gptel-prompts/ John Wiegley Fun with GPTel: ob-gptel integration with Org-babel http://newartisans.com/2025/06/fun-with-gptel-ob-gptel/ 2025-06-21 http://newartisans.com/2025/06/fun-with-gptel-ob-gptel/ John Wiegley Fun with GPTel: gptel-litellm for tracking sessions with LiteLLM http://newartisans.com/2025/06/fun-with-gptel-gptel-litellm/ 2025-06-21 http://newartisans.com/2025/06/fun-with-gptel-gptel-litellm/ John Wiegley Implementing Löb’s theorem in Emacs Lisp http://newartisans.com/2025/05/implementing-loeb-emacs-lisp/ 2025-05-27 http://newartisans.com/2025/05/implementing-loeb-emacs-lisp/ John Wiegley Program Reduction: A Win for Recursion Schemes http://newartisans.com/2018/04/win-for-recursion-schemes/ 2018-04-19 http://newartisans.com/2018/04/win-for-recursion-schemes/ John Wiegley Monads are monoid objects http://newartisans.com/2017/05/monads-are-monoids/ 2017-05-04 http://newartisans.com/2017/05/monads-are-monoids/ John Wiegley Putting lenses to work http://newartisans.com/2017/04/putting-lenses-to-work/ 2017-04-22 http://newartisans.com/2017/04/putting-lenses-to-work/ John Wiegley Submitting Haskell functions to Z3 http://newartisans.com/2017/04/haskell-and-z3/ 2017-04-18 http://newartisans.com/2017/04/haskell-and-z3/ John Wiegley A case of reflection http://newartisans.com/2017/02/a-case-of-reflection/ 2017-02-23 http://newartisans.com/2017/02/a-case-of-reflection/ John Wiegley Using the FMap library in Coq http://newartisans.com/2016/10/using-fmap-in-coq/ 2016-10-27 http://newartisans.com/2016/10/using-fmap-in-coq/ John Wiegley