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

[munich-lisp] Munich Haskell Meeting
by hoerdegen＠laposte.net 30 Mar '14

30 Mar '14

Dear all, our next Haskell meeting in Munich is scheduled for the 31st of March. Exceptionally, we will meet at 19h30 at Theresienstrasse 39 Room A027, 80333 Munich Rene Brunner will present his inaugural speech on Big Data for us. See also the announcment on our site. Afterwards, we will meet at Cafe Puck, as usually. Please help to reserve enough tables by going to http://www.haskell-munich.de/dates and clicking the button. Until then, have a nice time! Heinrich

2 2

[munich-lisp] Haskell Hackathon Montag 7.04.2014
by Haskell Hackathon 26 Mar '14

26 Mar '14

Hi *, am Montag, 7. 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! Dieser Mail kündigt ein Treffen an, welches in 2 wochen passiert, sodass es für Hackathon-Teilnehmer einfacher ist, den Besuch zu planen. Am 16. April wird es ein Vortrag zum Thema Ultra-High Performance Haskell geben: http://www.meetup.com/Munich-Lambda/events/172112272/ Klingt spannend! Wer entspannen will kann am Montag 31 März zum Haskell Stammtisch geben, diesmal an der LMU, wo es auch ein Vortrag geben wird, dann gehen wir natürlich alle ins Café Puck. Aber nun zum Hackathon... 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 26.03.2014: - wir haben uns das Satz von Yoneda angeschaut - wir haben uns free-operational angeschaut - wir haben über FunDeps gelesen - wir haben uns Session Types angeschaut, um Protokolle mit Zustand zu beschreiben: http://www.eecs.harvard.edu/~tov/pubs/haskell-session-types/ -- 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] Re: Buridan's Paradox [Re: [high-order-munich] Haskell Hackathon Mittwoch 2.04.2014]
by cheater00 . 22 Mar '14

22 Mar '14

Es freut mich, dass wir mit Reelen Zahlen nicht programmieren, und stattdessen die viel einfachere IEEE Floats benutzen: http://www.eecs.berkeley.edu/~wkahan/ieee754status/IEEE754.PDF LG, Damian 2014-03-22 11:41 GMT+01:00 Andreas Abel <andreas.abel(a)ifi.lmu.de>: > Buridan's Paradox findet seinen Niederschlag auch in der konstruktiven > Mathematik: Es ist unentscheidbar, für zwei reelle Zahlen x und y, ob x > > y. Für jede korrekte berechenbare Funktion gt : R * R -> Bool, also > > gt x y returns True => x > y > gt x y returns False => x <= y > > und jede Zeitdauer t gibt es x,y : R, so dass gt x y terminiert nicht binnen > t. > > Die konstruktive Mathematik wird im Mathematikunterricht und im normalen > Mathestudium ignoriert --- eigentlich ein Skandal. Man bekommt in der > klassischen Mathematikbildung den Eindruck, Eigenschaften von unendlichen > Objekten (wie reellen Zahlen) wären entscheidbar; und muss dann alles > umlernen, wenn man in die Programmierung geht... > > > On 21.03.2014 21:30, Haskell Hackathon wrote: >> >> - wir haben über Buridan's Paradoxon gesprochen: >> >> http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html#buridan > > > -- > Andreas Abel <>< Du bist der geliebte Mensch. > > Department of Computer Science and Engineering > Chalmers and Gothenburg University, Sweden > > andreas.abel(a)gu.se > http://www2.tcs.ifi.lmu.de/~abel/

2 2

[munich-lisp] Haskell Hackathon Mittwoch 2.04.2014
by Haskell Hackathon 21 Mar '14

21 Mar '14

Hi *, am Mittwoch, 2. 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! Dieser Mail kündigt ein Treffen an, welches in 2 wochen passiert, sodass es für Hackathon-Teilnehmer einfacher ist, den Besuch zu planen. Im Übrigen, ist Snap Framework beinahe in Version 1.0! Gregory Collins (vom Snap-Team) schreibt in #snapframework @ Freenode: "Reminder everyone: we still need people to check out the new snap-core and snap-server, and pitch in where things are missing or don't work well (e.g. "quickHttpServe" is currently undefined). And thanks to everyone who's sent pull requests lately. Snap 1.0 TODO list: https://gist.github.com/gregorycollins/9532868, please help" Themen: - wir schreiben eine versionierte Datenbank die mittels Snap Framework über das Web erreichbar ist. oder - wir schauen uns machines, processes, etc an, und vergleichen -- BERICHT -- Bericht vom 19.03.2014: - wir haben uns machines angeschaut. Wir haben ein einfaches Programm in machines mittels Processes, Sources und Sinks gebaut. - wir haben eine Typklasse mit einen Parameter ersetzt - wir haben uns primitive angeschaut, womit man data-alignment machen kann - wir haben über Lamport's Nominierung zum Turingpreis gesprochen. - wir haben über Buridan's Paradoxon gesprochen: http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html#buridan -- 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 Mittwoch 26.03.2014
by Haskell Hackathon 10 Mar '14

10 Mar '14

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 Freizeit zu planen. Themen: - wir schreiben eine versionierte Datenbank die mittels Snap Framework über das Web erreichbar ist. -- BERICHT -- Bericht vom 10.03.2014: - wir haben uns fundeps kurz angeschaut - wir haben uns die Packages kan-extensions und free angeschaut. Die kann man benutzen um freie Monaden zu verwenden. - mit Coyoneda, welches in kan-extension zu finden ist, haben wir eine FreeIO monade gebaut. - wir haben die erste Version der versionierten Datenbank geschrieben - wir haben uns die Differenzen zwischen lift und liftM angeschaut - wir haben ein ganz großes Haufen an Refactoring gemacht. - wir haben über Sicherheit in Cloud Rechnerzentren gelesen: http://www.onasch.de/stories/showstory.php?lang=en&file=vaxen -- 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 Mittwoch 19.03.2014
by Haskell Hackathon 06 Mar '14

06 Mar '14

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 Freizeit zu planen. Themen: - wir wenden an eine FreeIO monade aus den "operational" Software-Paket - wir lesen durch: https://www.fpcomplete.com/user/chowells79/types-not-tutorials - wir machen tests für IO mit einer FreeIO Monade Themen von Vorher: - wir bauen eine versionierte Datenbank mit STM - wir optimieren und testen eine auf Cloud Haskell aufgebaute Datenbank - wir schauen uns Applicative an und wie man den Syntax mit Monad vernetzen kann und wie man mit Applicative parallelisieren kann und ob man Applicative mit par definieren kann -- BERICHT -- Es gibt kein Bericht, da das vorherige Treffen noch nicht geschehen ist. Der Bericht wird später verschickt. -- 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 10.03.2014
by Haskell Hackathon 04 Mar '14

04 Mar '14

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 @ http://www.haskell-munich.de/dates Themen: - wir bauen eine versionierte Datenbank mit STM oder (themen von Vorher) - wir optimieren und testen eine auf Cloud Haskell aufgebaute Datenbank oder - wir schauen uns Applicative an und wie man den Syntax mit Monad vernetzen kann und wie man mit Applicative parallelisieren kann und ob man Applicative mit par definieren kann -- BERICHT -- Was wir am letzten Treffen gemacht haben: - MonadFix angeschaut. Es definiert das fix-kombinator für monaden: mfix :: (a -> m a) -> m a - basic-prelude verwendet. Eine alternative Prelude mit vielen netten funktionen. - FlexibleContexts, FlexibleInstances, UndecidableInstances angeschaut und angewendet - ghci bug gefunden (im pretty-printer) - eine Klasse verwendet um ein Haufen Code von deren Implementation zu abstrahieren - mit STM ein bisschen rumgespielt -- 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 1