About


 


Although I might seem a Luddite to some, I’m quite some time behind a computer screen as a programmer. I have a lot of experience programming in languages like Ruby, Elixir and worked in Java, Javascript and even PHP as well. But for me, the most beautiful programming language is Haskell. For any problem there is a very elegant way to solve it in Haskell.

My love for Haskell rolled me into the study of category theory, which still fascinates me a lot.

My IDE of choice is a combination of Bash, Vim and Git. I’m using both Linux (Ubuntu) and Mac OSX. I haven’t used Windows the past 15 years, but I heard that it got better since I last used it.

Although I worked with PD and really like Euterpea, my musical work currently is focussed mostly on analog synthesizers and analog effects. It got me afk and even made me take a soldering iron in my hands again.

Contact

I’m very bad at responding to calls and good ol’ SMS messages. Sending an email might work.

And about this site

Thanks to Solarized for the color inspiration. Made with Vim, Bash, Git and Hugo.

Programming


I’m very interested to use Systems Science to reason about correct and sustainable code. There are some talks you can find online where I try to explain this, but it all comes down to the following:

Focussing on referential transparent code makes code more easier to understand and to test. This benefits the maintainable and sustainable code. In object oriented programming, mocking, as described in “Growing Object Oriented Software Guide by Tests” is a way to isolate side effects and fake referential transparency. In functional programming, thanks to Eugenio Moggi, we now know that the Monad is a wonderful abstraction to isolate side effects and make our code more referential transparent.