Altes wiki. Hilf doch beim Migrieren mit! https://wiki.chaospott.de
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
events:petit_foo [11.09.2019 23:36] sirgoofy [Mögliche Themen] |
events:petit_foo [14.09.2019 21:39] rubik |
||
---|---|---|---|
Zeile 21: | Zeile 21: | ||
^ Speaker | ^ Speaker | ||
| sirgoofy | | sirgoofy | ||
+ | | sirgoofy | ||
| sirgoofy | | sirgoofy | ||
| sirgoofy | | sirgoofy | ||
Zeile 33: | Zeile 34: | ||
| rubik | Was ist Mathematik? | | rubik | Was ist Mathematik? | ||
| rubik | Rechnen auf elliptischen Kurven | | rubik | Rechnen auf elliptischen Kurven | ||
- | | rubik | Buchvorstellung: | ||
| rubik | Einführung in die funktionale Programmierung (hands on) | | | rubik | Einführung in die funktionale Programmierung (hands on) | | ||
- | | rubik | Vergleich (teils)funktionaler Programmiersprachen | + | | rubik | Laufzeitsicherheit und mehr durch starke Typisierung |
- | | rubik | Lambda-Kalkül | + | | |
- | | rubik | Laufzeitsicherheit und mehr durch starke Typisierung | + | |
- | | rubik | Typinferenz und andere tolle Dinge | | + | |
| rubik | Programmierparadigmen mit Racket | | rubik | Programmierparadigmen mit Racket | ||
- | | rubik | Git vs. Pijul & Darcs | | ||
- | | rubik | Verifizierte Cryptoroutinen mit Cryptol | ||
| rubik | Softwaretesting mit Quickcheck - vergesst Unittesting | | rubik | Softwaretesting mit Quickcheck - vergesst Unittesting | ||
| rubik | Parser schreiben mit Parsec | | rubik | Parser schreiben mit Parsec | ||
| rubik | ZeroMQ - concurrent distributed messaging | | rubik | ZeroMQ - concurrent distributed messaging | ||
- | | rubik | Spacemacs & Spacevim | ||
| [[user: | | [[user: | ||
| [[user: | | [[user: |