Switching from Proton Mail to Migadu

About two years ago, I started working on a little embedded domain-specific language (EDSL) called achille, using Haskell. Because this EDSL has its own notion of morphisms Recipe m a b from a to b, I was looking for a way to let users write such morphisms using regular Haskell functions and the syntax for lambda abstraction, \x -> .... As...

I stumbled upon Matt Webb’s About Feeds and realized I had been missing out on the power of web syndication for quite some time. Turns out most sites still make their feed available in one way or another. This allows anyone to subscribe to the content they are interested in without having to rely on a centralized platform. No more checking out...

This is the first entry of this blog. I’ve been meaning to make one for the longest time but never got around to actually write stuff down. After bike-shedding endlessly about which static-site generator would be best for the task at end, and trying to build my own in Haskell with no specification in mind, I finally settled on a minimal setup to...