www.effectfree.dev Open in urlscan Pro
2606:4700:3037::6815:5b7f  Public Scan

Form analysis
0 forms found in the DOM

Text Content

The Effect Free Blog
/blog /projects /academic /resume |


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.

2023 © Effect Free Org | Built with Hakyll