[munich-lisp] Haskell Hackathon Montag 10.03.2014

Hi *, am Montag, 10. März 2014 treffen wir uns um 18.00 in der Pizzeria Vapiano für unser Hackathon. Wir haben Zeit bis mindestens 23 Uhr. Bringt eure Laptops unbedingt mit! Im Übrigen, gibt es morgen das tolle Haskell Stammtisch von Heinrich in Café Puck! Info @

[munich-lisp] Haskell Hackathon Mittwoch 19.03.2014

Hi *, am Mittwoch, 19. März 2014 treffen wir uns um 18.00 in der Pizzeria Vapiano für unser Hackathon. Wir haben Zeit bis mindestens 23 Uhr. Bringt eure Laptops unbedingt mit! Dieser Mail kündigt ein Treffen an, welches in 2 wochen passiert, sodass es für Hackathon-Besucher einfacher ist, die

[munich-lisp] Haskell Hackathon Mittwoch 26.03.2014

Hi *, am Mittwoch, 26. März 2014 treffen wir uns um 18.00 in der Pizzeria Vapiano für unser Hackathon. Wir haben Zeit bis mindestens 23 Uhr. Bringt eure Laptops unbedingt mit! Dieser Mail kündigt ein Treffen an, welches in 2 wochen passiert, sodass es für Hackathon-Besucher einfacher ist, die

[Munich-lisp] Haskell Hackathon Donnerstag 1.05.2014

Hi *, am Donnerstag, 1. Mai 2014 treffen wir uns um 18.00 in der Pizzeria Vapiano für unser Hackathon. Wir haben Zeit bis mindestens 23 Uhr. Bringt eure Laptops unbedingt mit! Themen: - wir lernen über Free Applicatives und versuchen ein Kompilator welches mit Free Monads geschrieben ist auf

[Munich-lisp] Haskell Hackathon Dienstag 20.05.2014

Hi *, am Dienstag, 20. Mai 2014 treffen wir uns um 18.00 in der Pizzeria Vapiano für unser Hackathon. Wir haben Zeit bis mindestens 23 Uhr. Bringt eure Laptops unbedingt mit! Themen: - Wir lesen über Dualität in Kategorietheorie: codata, corecursion, comonads, cofunctors, cocoa oder - Wir

[Munich-lisp] Haskell Hackathon Sonntag 13.07.2014

Hi *, am Sonntag, 13. Juli 2014 treffen wir uns um 16.00 in der Pizzeria Vapiano für unser Hackathon. Bringt eure Laptops! Themen: - Haskell Security: ist securemem einfach zu benutzen? Kann man damit ein Password bearbeiten, sodass es im Speicher nicht zurückbleibt?

[Munich-lisp] Haskell Hackathon Donnerstag 24.07.2014 - Neuer Treffpunkt

Hi *, am Donnerstag, 24. Juli 2014 treffen wir uns um 18.00 in India King für unser Hackathon. Bringt eure Laptops! Neuer Treffpunkt: wir probieren diesmal India King aus, wo es Strom und WLAN gibt. Es ist auch ein bisschen ruhiger. Es gibt jetzt auch ein Twitter-Feed für das Hackathon:

[Munich-lisp] Haskell Hackathon Donnerstag 28.08.2014 - 2D Simulationen, GTK, Generics

Hi *, am Donnerstag, 28. August 2014 treffen wir uns um 18.00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Generic programming oder - graphische Simulationen in Gloss - GTK -- BERICHT -- 17. August: - über die unterschiedliche Typen von Polymorphismus in Haskell

[Munich-lisp] Hackathon nach Vapiano Pasing verlegt

India King hat wegen Urlaub diese Woche geschlossen - wir verlegen das Hackathon nach Vapiano Pasing :-) ___ Munich-lisp mailing list Munich-lisp@common-lisp.net http://common-lisp.net/cgi-bin/mailman/listinfo/munich-lisp

[Munich-lisp] Haskell Hackathon Samstag 6.09.2014 - Diagramme, GTK, Musik-DSP

Hi *, am Samstag, 6. September 2014 treffen wir uns um 15.00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Diagramme und Mathematische Graphiken mit Gloss - wir bauen etwas was man später in einen Workbook (wie z.B. Mathematica) benutzen könnte - GTK oder - DSP: wir bauen

[Munich-lisp] Haskell Hackathon Mi. 10.09 17:00 - Diagramme, GTK, Musik-DSP, Performance

Hi *, am Mittwoch, 10. September 2014 treffen wir uns um 17.00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Diagramme und Mathematische Graphiken mit Gloss - wir bauen etwas was man später in einen Workbook (wie z.B. Mathematica) benutzen könnte - GTK oder - DSP: wir

[Munich-lisp] Haskell Hackathon Mo. 22.9 - GTK, DSP, Free Applicatives

Hi *, am Montag, 22. September 2014 treffen wir uns um 18.00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Diagramme und Mathematische Graphiken mit Gloss - wir bauen etwas was man später in einen Workbook (wie z.B. Mathematica) benutzen könnte - GTK oder - DSP: wir bauen

[Munich-lisp] Haskell Hackathon 26.10.2014 - ungewöhnliche klassen, category theory

Hi *, am Sonntag, 26. Oktober 2014 treffen wir uns um 18.00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - außergewöhnliche klasseninstanzen (Identitätsmonade, Funktoren für Id, Const, WrappedMonad, WrappedArrow, Funktor und Monade für ((-) r), monoid für funktionen, ...)

[Munich-lisp] Haskell Hackathon 2.11.2014 - theorem provers, HoTT

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: -

[Munich-lisp] Haskell Hackathon Mittwoch, 5.11.2014 - Agda, HoTT

Hi *, am Mittwoch, 5. November 2014 treffen wir uns um 19.00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir schreiben ein einfaches Hello World oder - Buch: Homotopy Type Theory (HoTT) -- BERICHT -- 26. Oktober 2014 - wir haben uns Categories for the working

[Munich-lisp] Haskell Hackathon 30.11.2014 12:00 - Agda, HoTT, Android

Hi *, am Sonntag, 30. November 2014 treffen wir uns um 12:00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir machen weiter mit den Agda-Tutorial: http://oxij.org/note/BrutalDepTypes/ oder - Buch: Homotopy Type Theory (HoTT) oder - wir hacken ein bisschen an

[Munich-lisp] Haskell Hackathon 21.12.2014 12:00 - Agda, HoTT, Android

Hi *, am Sonntag, 21. Dezember 2014 treffen wir uns um 12:00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir machen weiter mit den Agda-Tutorial: http://oxij.org/note/BrutalDepTypes/ oder - Buch: Homotopy Type Theory (HoTT) oder - wir hacken ein bisschen an

Re: [Munich-lisp] Haskell Hackathon 11.12.2014 12:00 - Agda, HoTT

Zur klarifizierung: das Event findet um 18 Uhr statt. :-) 2015-01-11 0:41 GMT+01:00 Haskell Hackathon haskell.hackat...@gmail.com: Hi *, am Sonntag, 11. Januar 2015 treffen wir uns um 18:00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir machen weiter mit den

[Munich-lisp] Haskell Hackathon 11.12.2014 12:00 - Agda, HoTT

Hi *, am Sonntag, 11. Januar 2015 treffen wir uns um 18:00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Agda: wir machen weiter mit den Agda-Tutorial: http://oxij.org/note/BrutalDepTypes/ oder - Buch: Homotopy Type Theory (HoTT) -- BERICHT -- 21. Dezember 2014 - mit den