Hi *, am Sonntag, 2. November 2014 treffen wir uns um 18.00 in India King für unser Hackathon. Bringt eure Laptops!
Die Hackathon-webseite ist jetzt auch auf Englisch! Das waren rund 100k text zu übersetzen... Viel spaß beim lesen!
http://haskell-hackathon.no-ip.org/index_en.html
Themen:
- proof systems: Isabelle/HOL, Agda, Coq
oder
- Buch: Homotopy Type Theory (HoTT)
-- BERICHT --
16. Oktober 2014 - ein Paar der Klasseninstanzen angeschaut: identitätsmonade, funktoren und monoid für funktionen, ... - mit Christine darüber gesprochen, wie man ein beginner-kurs für Haskell betreiben könnte. Eine Idee war es, ein Buch in einer Gruppe durchzulesen. Eine weitere Idee war es, Tutorials eins nach dem anderen durchzugehen. Man könnte auch Übungen machen. - darüber gesprochen, wie man eine Community betreiben soll; wie sie sich entwickelt und wie man es schafft den zutritt neuer Teilnehmer nicht zu verhindern. - das Buch "Haskell-Intensivkurs" durchgeschaut: http://www.amazon.de/Haskell-Intensivkurs-Kompakter-Funktionale-Programmieru...
-- ANFAHRT --
Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6
Anfahrtmöglichkeiten:
- S-Bahn nach Pasing nehmen (alle außer S1, S2 und S7) und dann Tram 19 nach Offenbachstraße (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstraße - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstraße - Bus 160 oder 162 nach Offenbachstraße
India King befindet sich genau gegenüber der Tramhaltestelle.
Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org