George Karg
Verrosteter Agda Programmierer
Talente
Haar, Landkreis München, Oberbayern22.5 EUR/Stunde0Mitglied seit 19. September 2022
·
Dienstleistungen beauftragen
Fordern Sie unverbindlich ein Angebot an
Über
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.
Berufserfahrung
Fuer 4 Monate auf dem Bau gearbeitet.
Ein Praktikum bei der Firma deepc ai.
Ausbildung
Mein MINT Studium an der TUM habe Ich mit Kategorientheorie und Algebraeischer Geometrie verbracht.
