PDF-Version dieser Email: https://treecalcul.us/static/kit.pdf
Dein Profil: Du hast Begeisterung für Informatik. Egal ob Theoretiker oder Pragmatiker, du knobelst gerne. Einige der folgenden Dinge sind dir vertraut: GitHub, λ-Kalkül/Haskell, Typsysteme, Rust, BWINF/IOI/ICPC, Project Euler, Collatz-Problem, SKI (der Turing-vollständige Sport).
Wir bieten:
* Transparente Meilenstein-basierte Bezahlung, effektiv 20-50€/h je nach Erfahrung. * Einblicke, Austausch, Tipps über Uni, Karriere, Leben, Ausland, usw. * Spektrum von Projekten je nach Stärken und Interessen: Entwicklung von front-endhttps://treecalcul.us/, backend-endhttps://github.com/lambada-llc/tree-calculus/tree/main/implementation oder Demos, Publicityhttps://olydis.medium.com/a-visual-introduction-to-tree-calculus-2f4a34ceffc2, bis hin zu Grundlagenforschunghttps://github.com/barry-jay-personal/blog/blob/main/2025-02-23-stuck-infer.md. Oder deine Idee. * Als Freelancer hast du 100% Flexibilität, wann/wie/wo genau du arbeitest. Wir sitzen ohnehin in wilden Zeitzonen.
Über uns: Lambada LLC kombiniert Expertise aus Wissenschaft und Industrie. Unsere Leidenschaft ist die Symbiose zwischen Grundlagenforschung und konkreten Praxisanwendungen. Unser aktueller Fokus ist die produktive Nutzung von tree calculushttps://treecalcul.us/.
Mini-Wettbewerb (optional)
* Aufgabe: Betrachte die Reduktionsregeln von tree calculus: https://treecalcul.us/specification/. Finde einen möglichst kleinen Ausdruck, dessen Reduktion alle 5 Regeln mindestens einmal verwendet. * Beispiel: Der Ausdruck △ (△ △ △) (△ △) (△ △ △) verwendet 9 "△" Operatoren, hat daher Größe 9. Dies ist allerdings keine Lösung, da bei Reduktion nur Regeln 3c und 1 greifen. * Preis: Wer den kleinsten Ausdruck findet, erhält 100€. Die nächsten 4 Plätze erhalten 40€, 30€, 20€ und 10€. Bei Gleichstand zählt die Reihenfolge der Einsendungen. * Deadline: 13. April AoE.
Du bist neugierig oder hast eine Lösung? Https://forms.gle/BKdcAe5jMaf3Y3QB9
Fluency in German is irrelevant for any of this, please don't hesitate to reach out.