Lμthenwałd's Blog luthenwald.github.io personal blog generated by lacuna lacuna en Thu, 26 Feb 2026 08:50:25 +0000 Setting up jjvcs collaboration between local machines via ssh luthenwald.github.io/blogs/jj-ssh.html Mon, 22 Dec 2025 00:00:00 +0000 luthenwald.github.io/blogs/jj-ssh.html Effect is Kleisli, etymologically luthenwald.github.io/blogs/effect-kleisli.html Wed, 26 Nov 2025 00:00:00 +0000 luthenwald.github.io/blogs/effect-kleisli.html Hindley-milner type system demystified luthenwald.github.io/blogs/hindley-milner.html Mon, 13 Oct 2025 00:00:00 +0000 luthenwald.github.io/blogs/hindley-milner.html