munich-lisp

munich-lisp@common-lisp.net

259 discussions

[Munich-lisp] Haskell Hackathon Mittwoch 4.06.2014
by Haskell Hackathon 02 Jun '14

02 Jun '14

Hi *, am Mittwoch, 4. Juni 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: - High-performance network IO oder - Wir arbeiten mit Attoparsec! -- BERICHT -- Bericht vom 20.05.2014: - duality in category theory! - http://blog.ezyang.com/2010/07/flipping-arrows-in-coburger-king/ - http://blog.ezyang.com/2012/10/duality-for-haskellers/ - http://blog.sigfpe.com/2007/07/data-and-codata.html - Ganz separat: Karhunen–Loève theorem -- 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 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

[Munich-lisp] Haskell Hackathon Donnerstag 1.05.2014
by Haskell Hackathon 28 Apr '14

28 Apr '14

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 Free Applicatives umzurüsten. oder - wir versuchen einen nicht-leeren Zipper mit Data Generics zu schreiben -- BERICHT -- Bericht vom 14.04.2014: - dieses Treffen war sehr spannend! Wir haben über mehrere sehr fortgeschrittene Ideen gesprochen, die am Ende sehr einfach zu sein schienen! - wir haben uns free applicatives angeschaut - wir haben über free monads gesprochen - wir haben über convolution (Faltung) gesprochen - wir haben Faltung mit map und scan vergliechen und gezeigt wie Faltung eine veralgemeinung der ideen ist - wir haben festgestellt dass eine Faltung die komonadische operation auf einen nicht-leeren Zipper einer Liste ist. - wir haben über Forgetful Functors gesprochen -- 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 25 Apr '14

25 Apr '14

Dear all, next week, our monthly Munich Haskell Meeting is scheduled for the 29th of April, 19h30 Cafe Puck. If you plan to join, please go to http://www.haskell-munich.de/dates and hit the button. Everybody is welcome! Heinrich

1 0

[Munich-lisp] Haskell Hackathon Mittwoch 23.04.2014
by Haskell Hackathon 15 Apr '14

15 Apr '14

Hi *, am Mittwoch, 23. April 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 schreiben eine versionierte Datenbank die mittels Snap Framework über das Web erreichbar ist. oder - wir schauen uns Session Types an und versuchen die anzuwenden -- BERICHT -- Bericht vom 7.04.2014: - wir haben mit Hilfe Attoparsec ein Kompilator geschrieben - wir haben mit Free Monads gearbeitet und über Coyoneda gelesen -- 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 Montag 14.04.2014
by Haskell Hackathon 10 Apr '14

10 Apr '14

Hi *, am Montag, 14. April 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! Am Mittwoch, 16. April gibt's Ultra-High Performance Haskell: http://www.meetup.com/Munich-Lambda/events/172112272/ Mio hat sicher etwas neues zugefügt... http://redd.it/1k6fsl Themen: - wir schreiben eine versionierte Datenbank die mittels Snap Framework über das Web erreichbar ist. oder - wir schauen uns Session Types an und versuchen die anzuwenden -- BERICHT -- Bericht vom 2.04.2014: - wir haben mit Attoparsec gearbeitet - wir sind Applicative, Alternative, etc kurz durchgegangen - wir haben uns kurz machines und io-streams kurz angeschaut - wir haben über Haskell dev-tools gesprochen -- 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

← Newer
1
...
5
6
7
8
9
10
11
...
26
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

munich-lisp