Luths https://luth.works Personal website generated by agora agora en Tue, 08 Sep 2026 11:09:05 +0000 Effect is Kleisli, Etymologically https://luth.works/f/effect-kleisli.html Wed, 26 Nov 2025 00:00:00 +0000 https://luth.works/f/effect-kleisli.html Jjvcs https://luth.works/r/jj.html Mon, 22 Dec 2025 00:00:00 +0000 https://luth.works/r/jj.html Agora: SSG after eleven months' crawling https://luth.works/f/agora.html Wed, 11 Mar 2026 00:00:00 +0000 https://luth.works/f/agora.html Algorithms for decision support https://luth.works/r/decision-support.html Mon, 24 Aug 2026 00:00:00 +0000 https://luth.works/r/decision-support.html Zig https://luth.works/r/zig-notes.html Tue, 01 Sep 2026 00:00:00 +0000 https://luth.works/r/zig-notes.html Automated Reasoning https://luth.works/r/automated-reasoning.html Wed, 02 Sep 2026 00:00:00 +0000 https://luth.works/r/automated-reasoning.html Type theory and rocq https://luth.works/r/ttrocq.html Wed, 02 Sep 2026 00:00:00 +0000 https://luth.works/r/ttrocq.html Luthenwald https://luth.works/r/luthenwald.html Tue, 18 Nov 2036 00:00:00 +0000 https://luth.works/r/luthenwald.html