Das wird heiß

Makarius

Das Treffen für Haskellistas, Scalafisten, Lambdroiden und andere funktionale, kohlenstoffbasierte Lebensformen in Augsburg!

Der Curry Club soll Treffpunkt sein, um Konzepte und Ansätze, Praktisches und Abstraktes, Purität und Effekte, Faulheit und Striktheit, Monaden und Monoide und sonst auch wirklich alles passende zu diskutieren.

Die Idee, einen funktionalen Stammtisch zu gründen, kam auf der ersten Augsburger Nerdnacht auf.

Wir treffen uns im vierwöchigen Turnus, das nächste Mal am

Donnerstag, den 02.11.2017, 19:00 Uhr MESZ.

Im Anschluss ans Treffen gehen wir für gewöhnlich im Sangam gemeinsam essen.

In einem Wiki sammeln wir Themenvorschläge.

Programm für das zweiunddreißigste Treffen am 2. November 2017

Ingo wird mit uns die bei den letzten beiden Treffen begonnene Reise durch wundersame Phänomene der Logik abschließen.

Wir werden uns Beispielen und Anwendungen von Gödels Unvollständigkeitssatz in der theoretischen Informatik widmen: Es gibt Computerprogramme (offiziell Turingmaschinen), deren Halteverhalten unentscheidbar ist – von denen also bewiesen wurde, dass weder ein Beweis, dass sie halten, noch ein Beweis, dass sie nicht halten, möglich ist. Ein Resultat aus dem Jahr 2016 zeigt, dass solche Programme schon sehr kurz sein können.

Andere Programme verändern ihr Verhalten je nach dem, in welchem mathematischen Alternativuniversum sie ausgeführt werden. Was diese seltsam anmutende Behauptung bedeutet, und wie sich diese Programme in der realen Welt verhalten, wird im Vortrag klar werden.

Wir schließen mit einem besonderen binären Baum von Kleene und einem Beispiel, das zeigt, dass es Situationen gibt, in denen man nur mit Verwendung von Zufall weiterkommt und keine deterministische Alternative existiert.

Vielleicht holt außerdem marudor seinen schon zum letzten Treffen angekündigten Vortrag über typisiertes JavaScript nach.

Du schreibst ein cooles Haskell-Projekt, hast eine tolle neue funktionale Programmiersprache entdeckt, oder verstehst endlich, wie SchachGo-AIs funktionieren? Dann halte einen Vortrag! Die Organisation geht über unsere Mailingliste.

Kurzvorträge (< 10 min) können auch unangekündigt gehalten werden, in Absprache mit der jeweiligen Organisatorin.

Treffen & Veranstaltungen

Blog