Something went wrong. Try again.
ssg
Something went wrong. Try again.
12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"> <channel> <title>Luths</title> <link>https://luth.works</link> <description>Personal website generated by agora</description> <generator>agora</generator> <language>en</language> <lastBuildDate>Tue, 08 Sep 2026 11:09:05 +0000</lastBuildDate> <item> <title>Effect is Kleisli, Etymologically</title> <link>https://luth.works/f/effect-kleisli.html</link> <pubDate>Wed, 26 Nov 2025 00:00:00 +0000</pubDate> <guid>https://luth.works/f/effect-kleisli.html</guid> <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> </item> <item> <title>Jjvcs</title> <link>https://luth.works/r/jj.html</link> <pubDate>Mon, 22 Dec 2025 00:00:00 +0000</pubDate> <guid>https://luth.works/r/jj.html</guid> <description><![CDATA[How I use jjvcs in my daily stydy/work.]]></description> </item> <item> <title>Agora: SSG after eleven months' crawling</title> <link>https://luth.works/f/agora.html</link> <pubDate>Wed, 11 Mar 2026 00:00:00 +0000</pubDate> <guid>https://luth.works/f/agora.html</guid> <description><![CDATA[Agora is a personal static site generator engineered to sustain an ideal writing environment. This essay traces eleven months of architectural evolution, moving through genesis stoa markup and S-expression inspired markup iterations before settling on a final literate programming design.]]></description> </item> <item> <title>Algorithms for decision support</title> <link>https://luth.works/r/decision-support.html</link> <pubDate>Mon, 24 Aug 2026 00:00:00 +0000</pubDate> <guid>https://luth.works/r/decision-support.html</guid> <description><![CDATA[Lecture notes for the course Algorithms for decision support in Utrecht University.]]></description> </item> <item> <title>Zig</title> <link>https://luth.works/r/zig-notes.html</link> <pubDate>Tue, 01 Sep 2026 00:00:00 +0000</pubDate> <guid>https://luth.works/r/zig-notes.html</guid> <description><![CDATA[Learning notes for zig programming language]]></description> </item> <item> <title>Automated Reasoning</title> <link>https://luth.works/r/automated-reasoning.html</link> <pubDate>Wed, 02 Sep 2026 00:00:00 +0000</pubDate> <guid>https://luth.works/r/automated-reasoning.html</guid> <description><![CDATA[Lecture notes for the course Automated Reasoning at Radboud University.]]></description> </item> <item> <title>Type theory and rocq</title> <link>https://luth.works/r/ttrocq.html</link> <pubDate>Wed, 02 Sep 2026 00:00:00 +0000</pubDate> <guid>https://luth.works/r/ttrocq.html</guid> <description><![CDATA[Lecture notes for the course Type theory and rocq at Radboud University.]]></description> </item> <item> <title>Luthenwald</title> <link>https://luth.works/r/luthenwald.html</link> <pubDate>Tue, 18 Nov 2036 00:00:00 +0000</pubDate> <guid>https://luth.works/r/luthenwald.html</guid> <description><![CDATA[My info, contact, projects & interests.]]></description> </item> </channel></rss>