Luths luth.works Personal website generated by agora agora en Mon, 11 May 2026 07:49:57 +0000 About luth.works/blogs/about.html Tue, 18 Nov 2036 00:00:00 +0000 luth.works/blogs/about.html Agora: SSG after eleven months' crawling luth.works/blogs/agora.html Wed, 11 Mar 2026 00:00:00 +0000 luth.works/blogs/agora.html Setting up jjvcs collaboration between local machines via ssh luth.works/blogs/jj-ssh.html Mon, 22 Dec 2025 00:00:00 +0000 luth.works/blogs/jj-ssh.html Effect is Kleisli, Etymologically luth.works/blogs/effect-kleisli.html Wed, 26 Nov 2025 00:00:00 +0000 luth.works/blogs/effect-kleisli.html