Stack & Methoden

Technische Kompetenzen

Sprachen

TypeScriptPythonSQLPureScript (privat)Haskell (privat)

Frontend

SvelteKitSvelte 5Tailwind CSSSkeleton CSSSVGD3.js

Backend

Node.jsPostgreSQLDynamoDBLambda (AWS)Serverless

Paradigmen

Funktionale ProgrammierungEffect SystemsTypgetriebene Entwicklung

Formale Methoden

AgdaHomotopy Type Theory (HoTT)

Dokumentation

LaTeXTikZTypst

Frameworks / Runtimes

TauriElectron

Mathematik

KategorientheorieFunktoren & MonadenEndliche GruppenAlgebra

Effect-TS

Fiber-NebenläufigkeitLayer / Context DISchema-ValidierungStreams

Tooling

GitVite

Testing

FastcheckJasminePytestHypothesis

„A monad is just a monoid in the category of endofunctors, what’s the problem?“— James Iry (aus „A Brief, Incomplete, and Mostly Wrong History of Programming Languages“, 2009)

Der erste Teil des Satzes („A monad is a monoid in the category of endofunctors“) stammt ursprünglich von dem Mathematiker Saunders Mac Lane (1971). James Iry fügte 2009 lediglich das spöttische „what’s the problem?“ hinzu.