Hi

My name is Hubert Małkowski. I like compilers, type theory and programming languages.

At the moment I am studying computer science at Łódź University of Technology. In the evenings I work as a software developer at Axeos.


This website's title Okienko - means "little window" in Polish.

If you enjoy this little blog, you can subscribe to RSS Feed.


Some things I am currently working on:

  • Essa - I am creating a programming language with gleam-like syntax. It will use llvm as backend and will be fast thanks to perceus reference counting.
  • System F intepreter - System F is a type system that allows parametric polymorphism by adding type abstractions. This project is a system F typechecker to showcase Curry-Howard isomorphism.

Places where you can find me:


You can read some of my boring ramblings:

  • Learn weird programming languages

    In 2001, Paul Graham defined what he calls “The Blub Paradox”. The basic concept is that a programmer who only knows “Language Blub” (a middle-ground programming language) looks down at lower-level languages and sees them as lacking features. However, when they look up at more powerful languages, they cannot see the benefits- they just see “weird syntax.”

    Read more...