luthenwald.tngl.sh
source code of my personal website
luthenwald.github.io/
ssg
1<?xml version="1.0" encoding="UTF-8"?>
2<rss version="2.0">
3 <channel>
4 <title>Lμthenwałd's Blog</title>
5 <link>luthenwald.github.io</link>
6 <description>personal blog generated by lacuna</description>
7 <generator>lacuna</generator>
8 <language>en</language>
9 <lastBuildDate>Thu, 26 Feb 2026 08:50:25 +0000</lastBuildDate>
10 <item>
11 <title>Setting up jjvcs collaboration between local machines via ssh</title>
12 <link>luthenwald.github.io/blogs/jj-ssh.html</link>
13 <pubDate>Mon, 22 Dec 2025 00:00:00 +0000</pubDate>
14 <guid>luthenwald.github.io/blogs/jj-ssh.html</guid>
15 <description><![CDATA[about how i collaborate between 2 ⟅laptops|identities|personae⟆ using jjvcs & ssh without hosting services.]]></description>
16 </item>
17 <item>
18 <title>Effect is Kleisli, etymologically</title>
19 <link>luthenwald.github.io/blogs/effect-kleisli.html</link>
20 <pubDate>Wed, 26 Nov 2025 00:00:00 +0000</pubDate>
21 <guid>luthenwald.github.io/blogs/effect-kleisli.html</guid>
22 <description><![CDATA[It's pretty intriguing that the Effect type in this blog is exactly the traditional Kleisli type in haskell. We'll further show that Monad is the constraint we need to form the valid Effect category. If you are wondering about the meaning of effects in the haskell world, I believe this blog will help gain some understanding.]]></description>
23 </item>
24 <item>
25 <title>Hindley-milner type system demystified</title>
26 <link>luthenwald.github.io/blogs/hindley-milner.html</link>
27 <pubDate>Mon, 13 Oct 2025 00:00:00 +0000</pubDate>
28 <guid>luthenwald.github.io/blogs/hindley-milner.html</guid>
29 <description><![CDATA[a guide to hindley-milner type system: types, unification & algorithm w with haskell implementation]]></description>
30 </item>
31 </channel>
32</rss>