From haskell.hackathon at gmail.com Mon May 5 11:32:27 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Mon, 5 May 2014 13:32:27 +0200 Subject: [Munich-lisp] Haskell Hackathon Donnerstag 8.05.2014 Message-ID: Hi *, am Donnerstag, 8. 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 suchen f?r hochperformantes socket I/O in Haskell an! Hat jemand irgendwelche Vorschl?ge f?r Libraries? Meldet euch via email! :-) oder - Wir erweitern unser auf Free Monads basierendes Runtime -- BERICHT -- Bericht vom 23.04.2014: - wir haben uns Session Types angeschaut. Sehr cool! - wir haben ein bisschen an der Versionierten Datenbank gearbeitet - wir haben mit Attoparsec gearbeitet! -- ANFAHRT -- Wir treffen uns in Vapiano Pasing, am Pasinger Bahnhofsplatz. Anfahrt: Entweder S-Bahn nach Pasing nehmen (alle au?er S1, S2 und S7) oder die Stra?enbahn 19 zum Pasing Bahnhof. Vapiano ist auf der linken Seite wenn man von der Stra?enbahnhaltestelle zum Burger King hinschaut und ist leicht zu finden. Bei Bedarf kann mich jeder unter dieser Telefonnummer erreichen: 015129057464 LG, Damian From haskell.hackathon at gmail.com Sun May 11 14:23:00 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Sun, 11 May 2014 16:23:00 +0200 Subject: [Munich-lisp] Haskell Hackathon Donnerstag 15.05.2014 Message-ID: Hi *, am Donnerstag, 15. 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 suchen f?r hochperformantes socket I/O in Haskell! Vorschl?ge f?r Libraries immer noch wilkommen! :-) oder - Wir erweitern unser auf Free Monads basierendes Runtime -- BERICHT -- Bericht vom 1.05.2014: - arrows, bicategories, bifunctors, casting with typeables, commutative monads, costrength, forgetful functors, ghc core syntax, Oleg, opposite categories, profunctors, small and large categories, strength, strong functors, strong monads, yoneda lemma - arrows are monoids in categories of bifunctors C^op x C -> C - existential types and the curry-howard isomorphism to existential quantifiers in logic - big tech day 7 - budapest hackathon - http://takeichi.ipl-lab.org/~asada/papers/arrStrMnd.pdf - https://www.sciencedirect.com/science/article/pii/S1571066106001666 - http://comonad.com/reader/2008/deriving-strength-from-laziness/ - http://vimeo.com/6590617 -- ANFAHRT -- Wir treffen uns in Vapiano Pasing, am Pasinger Bahnhofsplatz. Anfahrt: Entweder S-Bahn nach Pasing nehmen (alle au?er S1, S2 und S7) oder die Stra?enbahn 19 zum Pasing Bahnhof. Vapiano ist auf der linken Seite wenn man von der Stra?enbahnhaltestelle zum Burger King hinschaut und ist leicht zu finden. Bei Bedarf kann mich jeder unter dieser Telefonnummer erreichen: 015129057464 LG, Damian From haskell.hackathon at gmail.com Mon May 19 10:33:11 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Mon, 19 May 2014 12:33:11 +0200 Subject: [Munich-lisp] Haskell Hackathon Dienstag 20.05.2014 Message-ID: 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 arbeiten mit Attoparsec! -- BERICHT -- Bericht vom 8.05.2014: - ?ber co-limits gelesen: http://blogs.ams.org/blogonmathblogs/2013/08/14/this-is-your-brain-this-is-your-brain-on-category-theory/#sthash.fFfq9jUD.dpbs - Buch kurz angeschaut: Spivak: Category Theory for Scientists http://arxiv.org/abs/1302.6946 - Grothendieck topology, sheaves -- ANFAHRT -- Wir treffen uns in Vapiano Pasing, am Pasinger Bahnhofsplatz. Anfahrt: Entweder S-Bahn nach Pasing nehmen (alle au?er S1, S2 und S7) oder die Stra?enbahn 19 zum Pasing Bahnhof. Vapiano ist auf der linken Seite wenn man von der Stra?enbahnhaltestelle zum Burger King hinschaut und ist leicht zu finden. Bei Bedarf kann mich jeder unter dieser Telefonnummer erreichen: 015129057464 LG, Damian From hoerdegen at laposte.net Tue May 27 14:33:46 2014 From: hoerdegen at laposte.net (hoerdegen at laposte.net) Date: Tue, 27 May 2014 16:33:46 +0200 Subject: [Munich-lisp] Munich Haskell Meeting Message-ID: <5384A24A.1030306@laposte.net> Dear all, our next Haskell meeting in Munich is scheduled for the 29th of May, 19h30 at Cafe Puck. If you plan to join, please go to http://www.haskell-munich.de/dates and klick the button. With hope to see many of you, Heinrich From haskell.hackathon at gmail.com Sat May 31 17:22:02 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Sat, 31 May 2014 19:22:02 +0200 Subject: [Munich-lisp] Haskell Hackathon Sonntag 1.06.2014 Message-ID: Hi *, am Sonntag, 1. Juni 2014 treffen wir uns um 15.00 in der Pizzeria Vapiano f?r unser Hackathon. Wir haben Zeit bis mindestens 22 Uhr. Bringt eure Laptops unbedingt mit! Themen: - Wir schauen uns sockets wieder an! oder - Wir arbeiten mit Attoparsec! -- BERICHT -- Bericht vom 15.05.2014: - Warp angeschaut und das Socket-Handling darin - mit sockets aus Network.Socket gearbeitet - async benutzt um die bearbeitung der verbindungen in threads zu halten - ein echo-server gebaut ("heartbeat") - ein ganz einfaches benchmark f?r das echo-server gebaut ("defibrilator") - ?ber automatische weckoptimierung/l?schung von code gesprochen: https://news.ycombinator.com/item?id=7739599 - ?ber fexpr gesprochen, und ob man die in Haskell realisieren k?nnte. Anscheinend fehlen ein Paar Werkzeuge um das zu machen. Dagegen kann man das in Scala machen, und es wird auch gemacht, in der "virtualized" library. Beinah das selbe Code wird f?r pattern matching in Scala verwendet. Darauf is LMS, lightweight modular staging, aufgebaut. Das benutzt Rep[T] von Tagless-Final. Links: - http://en.wikipedia.org/wiki/Fexpr - http://shrager.org/llisp/19.html - http://www.eighty-twenty.org/index.cgi/tech/scheme/fexprs-remain-inscrutable-20110929.html - http://events.inf.ed.ac.uk/Milner2012/slides/Odersky/Odersky.pdf - https://github.com/tiarkrompf/scala-virtualized -- ANFAHRT -- Wir treffen uns in Vapiano Pasing, am Pasinger Bahnhofsplatz. Anfahrt: Entweder S-Bahn nach Pasing nehmen (alle au?er S1, S2 und S7) oder die Stra?enbahn 19 zum Pasing Bahnhof. Vapiano ist auf der linken Seite wenn man von der Stra?enbahnhaltestelle zum Burger King hinschaut und ist leicht zu finden. Bei Bedarf kann mich jeder unter dieser Telefonnummer erreichen: 015129057464 LG, Damian