Welcome

Welcome to my blog!

I've reproduced a list of recent posts here for your reading pleasure:

Posts

Project Management and Profunctor Optics

8 November, 2023

It was another dull Wednesday, project management and the professional yet again. Despite not getting any more professional as a project manager I asked myself the simple question. If I were to take project management seriously what automation could I do. Spurred on for my incessant boredom and need to attempt to learn lenses in Haskell yet again. I came up with the greatest idea. Let us make a jira clone in Haskell.

Read more -->

(Homotopy?) Type Theory

19 October, 2023

In a modern age of programming we have become quite acquainted with the idea of mathematical types. Mathematical types proliferate through functional programming languages and have made greater bounds in the guise of modern programming languages. However, types have a longer and richer history than Haskell and Rust. Here I attempt to tackle why these mysterious constructs that seem useful for programming are almost entirely unrelated, and do they have a deeper meaning.

Read more -->

…or you can find more in the Blog Section.

Contact

Feel free to send me an email here.