phimuemue
This is a small site mostly concerning mathematical and programmingrelated problems. Additionally, there's a small collection of music links. I hope you discover something useful!
Newest posts

Implementing a brainball solver  2018 04 02
Some years ago, I got a "brainball" as a present, a game similar to a rubiks cube and supposed to be pretty hard. I was not able to solve it by hand, so I decided to write a solver in Rust.

Learned the hard way: Type safety is not everything  2018 03 27
You may have heard that in Haskell "once it compiles, it works". While this seems to apply in Haskell more than in other languages, a compiling program is not guaranteed to be bugfree, even if you might think so. In this post, I shortly want to showcase an example I experienced and what I hopefully learned from it.

An adventure in Haskell: A simple lambda interpreter  2018 03 27
I was never an expert of lambdacalculus, but I always wanted to learn (at least the basics of) it. So, I decided to write a very simplistic interpreter for the untyped lambda calculus.

A simple lambda interpreter  2018 03 27
I was never an expert of lambdacalculus, but I always wanted to learn (at least the basics of) it. So, I decided to write a very simplistic interpreter for the untyped lambda calculus.

Five ways to solve one of my favourite mathematical problems  2014 05 11
During my studies, we had to take the lecture "Discrete Probability Theory" which quickly became one of my favourite ones. The day before the exam, I found the following riddle in the internet (see here):
n persons, all of different heights are standing in a queue facing the window of ticket distributor in a cinema hall. What is the expected number of persons visible to the person at the ticket window if each permutation of n persons is equally likely?
Over time, I found some solutions to this problem, and I'd like to present them to you.
...or you can find more in the archives.
...or you can browse posts by tags: