May 2014 - munich-lisp - mailman3.common-lisp.net

[Munich-lisp] Haskell Hackathon Sonntag 1.06.2014
by Haskell Hackathon 31 May '14

31 May '14

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-inscrutabl… - 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

1 0

[Munich-lisp] Munich Haskell Meeting
by hoerdegen＠laposte.net 27 May '14

27 May '14

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

1 0

[Munich-lisp] Haskell Hackathon Dienstag 20.05.2014
by Haskell Hackathon 19 May '14

19 May '14

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

1 0

[Munich-lisp] Haskell Hackathon Donnerstag 15.05.2014
by Haskell Hackathon 11 May '14

11 May '14

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

1 0

[Munich-lisp] Haskell Hackathon Donnerstag 8.05.2014
by Haskell Hackathon 05 May '14

05 May '14

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

1 0