It's time for #reintroduction.

I'm a #musician, functional programmer (#haskell, #agda, #idris, soon #elixir, #nixos user) and #mathematician (differential topology, #categorytheory).

Arts-wise, I love to do #improvisation (have a look at http://manuelbaerenz.de/) and #improvtheater.

My philosophical and ethical viewpoints: I love #nature and sentient beings a lot, I'm #vegan and #pacifist. I think that, second to our ability to feel, our creativity is what makes us most valuable.