[technique] technique

Lens into wrapped newtypes []

Categorical representation of the <abbr>NT</abbr> iso

All newtypes are isomorphisms

— My mother

Control.Lens.Wrapped uses the isomorphism property to introduce a type class Wrapped. Let’s explore use cases, because after all, it doesn’t appear to do much at first glance. What’s the point of formalizing wrapping and unwrapping of types?

Instance boilerplate …

Elm on fire! Shaders in elm []

Elm on fire

Shaders have long been on the list of possible subject to study for Jappie. The potential of both creating beautiful art as well as doing parallel processing seem incredible valuable capabilities to have. This post comments on the effort of porting a JavaScript WebGL fire to an elm implementation. Elm …

Making money with foss []

In this blog post I will discuss how to make money with open source software. Why do you care? Making money of this model is hard, yet you got to pay the bills. Even though the free software variant is consumer friendly. (note that these consumers maybe businesses too). This …

Thesis writing tips []

So I recently started writing my master thesis and looking at some of my fellow master students their work I realized that perhaps many people have trouble with managing references, quality control and keeping motivated.

In this post I’ll explain how I managed to do it, most of these …