High Five

On the 9th of January this year, I turned 5 years at Automattic. This is the longest time I’ve ever been working for the same company, the previous one standing at 4.5 years.

I remember talking to my friend who referred me to work at Automattic (further in the text A8c). At one point he said, “This company will spoil you (in a good way)! You will see!”. I was skeptical, naturally, “Sure, sure, it’s just another company, I work only to get paid and that’s it”, but turned out I was wrong.

Continue reading →

The computation of appending lists at the type and value level

Recently, I spent some time experimenting with Haskell’s type families – a concept that allows one to perform computation at the type level in Haskell.

In one example, I wrote an append implementation at the value and the type level, and also other stuff such as Merge Sort implementation at the type level.

In this post, I will show different implementations of appending two lists together, written both in Haskell and in Idris, as well as some observations around the differences.

Continue reading →

FRACTRAN

Fractran is an esoteric programming language. The name is a combination of the words FORTRAN and fraction. What makes it interesting is its simplicity and the fact that it’s as powerful as any other programming language.

I wrote an interpreter back in 2013 in Python and C. In 2021, I wrote a program in Python that takes a Fractran program and translates it to Python.

In this post, we’ll explain what Fractran is all about.

Continue reading →

Advent of Code 2021 [PL Edition]

Last year‘s AoC was mostly Haskell. For this year’s AoC, I decided to try a different Programming Language for each puzzle – thus the PL edition!

In total, I used 20 different languages, for puzzles 1 through 10. Here’s a quick summary of what every language felt like.

Continue reading →

Chess

Chess is a board game, with 8×8 tiles and some figures on them. It’s a turn-based game, usually played by two players (or one, for practicing), and the players move these figures according to certain rules. The winner is whoever gets first to the other person’s King (a special figure). If you want to further learn the basics of it, this is a good introductory read.

Simple, right? In this post I’ll explain why I like chess and how I got obsessed with it lately 🙂

Continue reading →