home

Hello, welcome to my humble never-to-be-updated blog!

I'm a wannabe functional programming nerd, currently trying to study formal verification, type theory, category theory and all the other usual fp nonsense. My current arsenal includes:

Although I cannot say I'm particularly skilled in any of these T_T.

Besides that I enjoy drinking tea, thrifting clothes, reading and listening to electronic music.

You can find my terrible code on codeberg, if you want to talk add me on matrix: [at]giuji[colon]matrix[dot]org, or shoot me an email: giuji-git[at]proton[dot]me.

The cute comic strips you might find scattered around the website are taken from Krazy Kat by George Herriman. Most of it is in the public domain, you can read it online for free.

The source code of this blog is available here, no AI was used in the process of writing any of the content/code whatsoever that you are reading.

Here's a collection of some of the most recent blog posts:

A list of all posts is available in the archive, use tags to browse posts based on their contents.