Your average Haskell + Nix person; I am interested in modern functional programming languages like lean4 and koka, recently also elixir.
Currently finishing Bachelor's and writing Haskell for wire messenger.
Sometimes I build mechanical keyboards.
I am interested in discussions if the goal is to learn something, if you're just trying to persuade me, please leave me alone.
I will post in English and will occasionally boost German (network-)politics related things.
he/him is fine
This profile is from a federated server and may be incomplete. Browse more on the original instance.