Verrosteter Agda Programmierer
Fordern Sie unverbindlich ein Angebot an
Ich bin bis zum 10. Lebensjahr auf den Wiesen im Allgäu aufgewachsen.
When discussing technicalities though, I prefer English.
I'm a jack of all trades, master of none. I've implemented consensus algorithms, kernels for x86_64 and armv7, GBA emulators, S-expression-based and ML-like language interpreters, and many-to-many peer-to-peer end-to-end-encrypted messaging in C/C++ (compile-time through templates), Zig, Rust, Nim, Go, and Haskell.
Fuer 4 Monate auf dem Bau gearbeitet.
Ein Praktikum bei der Firma deepc ai.
Mein MINT Studium an der TUM habe Ich mit Kategorientheorie und Algebraeischer Geometrie verbracht.
