Das Treffen für Haskellitas, Scalafistinnen, Lambdroidinnen 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

Sonntag, den 28.08.2022, 17:00 Uhr MEZ.

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

In einem Wiki sammeln wir Themenvorschläge.

Das Thema vom 28. August steht noch nicht fest.

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.

Wo?

Für gewöhnlich treffen wir uns im tollen OpenLab Augsburg, dem Hackerspace von Augsburg.

Treffen & Veranstaltungen

• 28. Aug 22
  17:00 69 Thema wird noch gesucht
  Achtung, neue Adresse OpenLab!
• 31. Jul 22
  17:00 68 Datenfluss-Orientierung
  Achtung, neue Adresse OpenLab!
• 25. Feb 21
  20:00 67 Erlang
  (online)
• 28. Jan 21
  20:00 66 Elm
  (online)
• 21. Jan 21
  20:00 65 WebAssembly — Systemprogrammierung im Browser
  (online)
• 17. Dez 20
  20:00 64 Slate, ein webbasierter Beweisassistent
  (online)
• 3. Dez 20
  20:00 63 String-Diagramme
  (online)
• 1. Okt 20
  21:00 62 Direkt ins Sangam
  Schönfinkeln bei indischem Curry
• 3. Sep 20
  20:00 61 Direkt ins Sangam
  Schönfinkeln bei indischem Curry
• 6. Aug 20
  19:00 60 Kripke-Semantik
  Dritter Teil der Serie über Modallogik
• 9. Jul 20
  19:00 59 Wiederaufnahmetreffen
• 19. Mär 20
  19:00 58 Modallogik und Interpretationen
• 20. Feb 20
  19:00 57 ??? + Lambda-Pi-Kalkül
• 23. Jan 20
  19:00 56 Programmieren auf Typebene in TypeScript
• 28. Nov 19
  19:00 55 Steht noch nicht fest, aber es wird bestimmt gut
• 3. Okt 19
  19:00 54 HOL4-Virtualisierung und TypeScript
• 5. Sep 19
  19:00 53 Agda-Exempel und HOL4-Virtualisierung
• 8. Aug 19
  19:00 52 Row Types in Purescript und Large Mathematics Libraries
• 13. Jun 19
  19:00 51 Kant
• 16. Mai 19
  19:00 50 Philosophie der Mathematik und Platonismus auf Steroiden
• 18. Apr 19
  19:00 49 Wir bauen einen Typenerschließer
• 21. Mär 19
  19:00 48 Dialogische Logik
• 21. Feb 19
  19:00 47 Spaß mit Agda
• 24. Jan 19
  19:00 46 libgccjit und libjit
• 29. Nov 18
  19:00 45 FizzBuzz, Python und Isabelle
• 1. Nov 18
  19:00 44 Lazy Evaluation
• 4. Okt 18
  19:00 43 Linux-Kernel-Code-Lesung
• 6. Sep 18
  19:00 42 Transfinites Nim und Dagstuhl-Plaudersitzung
• 9. Aug 18
  19:00 41 Isabelle/VSCode, Language Server Protocol und TypeScript
• 12. Jul 18
  19:00 40 Purescript
• 14. Jun 18
  19:00 39 PIDE: Eine UI für Isabelle
  Wie baue ich ein modernes User Interface?
• 17. Mai 18
  19:00 38 Clustering
  DBScan und HDBScan
• 19. Apr 18
  19:00 37 ~Treffen hier einfügen~
  Komplettausfall!
• 22. Mär 18
  19:00 36 Typsystementwicklung in dynamischen Sprachen
  mit Bananas & Barbed Wire
• 22. Feb 18
  19:00 35 Differenzlisten & Freie Monaden
• 25. Jan 18
  19:00 34 ~~~
  Wir sehen uns auf dem Congress!
• 30. Nov 17
  19:00 33 Church-Kodierung, Potenzreihen und Dhall
• 2. Nov 17
  19:00 32 Unser rundes Jubiläum feiern wir mit noch mehr Logik! Und Church.
• 5. Okt 17
  19:00 31 Logik, Buffer Overflows und SSA
• 7. Sep 17
  18:00 30 Call/CC und düstere Ecken der Logik
• 10. Aug 17
  19:00 29 Heirat von Isabelle mit VS Code und Shellprogrammierung in Haskell
• 13. Jul 17
  19:00 28 Rekursionsschemata
• 15. Jun 17
  17:30 27 Dicksons Lemma und hfish
• 18. Mai 17
  19:00 26 Theoreme für lau und Linux-Container in Rust
• 20. Apr 17
  19:00 25 Limiten und 4d-Grafik
• 23. Mär 17
  19:00 24 Lineare Logik und Rust
• 23. Feb 17
  19:00 23 Frank und Continuations
• 26. Jan 17
  19:00 22 STG und Curry–Howard-Korrespondenz
• 1. Dez 16
  19:00 21 Logik und Programmierspaß
• 3. Nov 16
  19:00 20 Mehr über die Superheit von Superturingmaschinen
• 6. Okt 16
  19:00 19 Internationalisierung, Superturingmaschinen
• 8. Sep 16
  19:00 18 Hygienische Makros in Scheme, Internationalisierung, Firewalltheorie
• 11. Aug 16
  19:00 17 Idris und Versionskontrollsysteme
• 14. Jul 16
  19:00 16 Cobra, Typtheorie
• 16. Jun 16
  19:00 15 Initiale Algebren, terminale Koalgebren und FTypen
• 19. Mai 16
  19:00 14 (define-record-type <immutable-map> ...)
  Rot-Schwarz-Bäume in Scheme & Schönheit und Kunst mit Isabelle
• 21. Apr 16
  19:00 13 Generics in Haskell und in Scala, „Shellskripte“, Schönheit und Kunst mit Isabelle
• 17. Mär 16
  19:00 12 Isabelle/LOL
  Cornelius & Makarius über Programme & Beweise in Isabelle/HOL
• 25. Feb 16
  19:00 11 Kombinatorische Spieltheorie und verifizierte Analyse von Firewall-Regeln
• 28. Jan 16
  19:00 10 Rein funktionale Datenstrukturen, Programme und Beweise in Isabelle/HOL, Quadratwurzeln von Bäumen
• 3. Dez 15
  19:00 9 Scheinbar unmögliche funktionale Programme
  Jetzt neu mit Video!
• 5. Nov 15
  19:00 8 Scala, Gopher und Effektsysteme
  Wir haben jetzt Sticker!
• 8. Okt 15
  19:00 7 Freie Monaden und Lenses (Teil 3)
  Frei wie in Freibier Pressefreiheit linksadjungiert ✓
• 10. Sep 15
  19:00 6 Monaden sind Monoide in einer Kategorie von Endofunktoren
  Wo liegt das Problem? Außerdem: Lenses (Teil 2) und selbstgekochtes Curry
• 13. Aug 15
  19:00 5 Mercury, Textinterfaces in Haskell und Lenses (Teil 1)
• 16. Jul 15
  19:00 4 Kategorientheorie (Teil 2) und Currying in Isabelle
  Makarius beweist die Aussage unseres Logos
• 18. Jun 15
  19:00 3 Verallgemeinerter abstrakter Nonsense
  Teil 1 der Kategorientheorie-Reihe und Logikprogrammierung
• 21. Mai 15
  19:00 2 IO-Aktionen als Kochrezepte und Beweise mit Isabelle
• 23. Apr 15
  19:00 1 Parserkombinatoren und typsicheres Routing

Blog

• 11. Dez 19 Fünfter großer Haskell-Workshop des Curry Clubs Augsburg am 21. Dezember 2019
  Fünfter großer Haskell-Workshop
• 3. Jan 17 Vierter großer Haskell-Workshop des Curry Clubs Augsburg am 21. Januar 2017
  Vierter großer Haskell-Workshop
• 6. Dez 16 Dritter großer Haskell-Workshop des Curry Clubs Augsburg am 17. Dezember 2016
  Dritter großer Haskell-Workshop
• 27. Feb 16 Yolomorphismus
• 9. Dez 15 Zweiter großer Haskell-Workshop des Curry Clubs Augsburg am 20. Dezember 2015
  Zweiter großer Haskell-Workshop
• 6. Dez 15 Scheinbar unmögliche Programme
• 5. Dez 15 Der Curry Club auf dem 32c3
  Der Curry Club auf dem 32c3
• 8. Nov 15 Achtes Treffen des Curry Clubs
• 27. Okt 15 Monaden in Haskell (Nachtrag zum Haskell-Workshop)
• 14. Okt 15 Einladung zum großen Haskell-Workshop des Curry Clubs Augsburg am 25. Oktober 2015
• 16. Sep 15 Hitliste der Talks von der ICFP
• 2. Jul 15 Drittes Treffen des Curry Clubs
• 3. Mai 15 Wir bauen einen Parserkombinator
• 28. Apr 15 Erstes Treffen des Curry Clubs
• 17. Mär 15 Hallo Welt!

Kontakt

• Feed: Atom
• Videos: Youtube
• Twitter: @curry_club_aux
• Mailingliste: Curry-Talk
• GitHub-Organisation: curry-club-aux
• Wiki: Themenvorschläge, Leseliste, Bücherleihe
• Für Zwischendurch IRC: #curry-club auf irc.freenode.net