From haskell.hackathon at gmail.com Tue Mar 4 16:18:06 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Tue, 4 Mar 2014 17:18:06 +0100 Subject: [munich-lisp] Re: Haskell Hackathon Montag 10.03.2014 In-Reply-To: References: Message-ID: 2014-03-04 17:14 GMT+01:00 Haskell Hackathon : > Im ?brigen, gibt es morgen das tolle Haskell Stammtisch von Heinrich > in Caf? Puck! > Info @ http://www.haskell-munich.de/dates Ooops, sowas passiert wenn man copy-paste verwendet... nat?rlich war's letzte Woche. :-) LG, Damian From haskell.hackathon at gmail.com Thu Mar 6 13:29:28 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Thu, 6 Mar 2014 14:29:28 +0100 Subject: [munich-lisp] Haskell Hackathon Mittwoch 19.03.2014 Message-ID: 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 From haskell.hackathon at gmail.com Fri Mar 21 20:30:47 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Fri, 21 Mar 2014 21:30:47 +0100 Subject: [munich-lisp] Haskell Hackathon Mittwoch 2.04.2014 Message-ID: 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 From haskell.hackathon at gmail.com Tue Mar 4 16:14:53 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Tue, 4 Mar 2014 17:14:53 +0100 Subject: [munich-lisp] Haskell Hackathon Montag 10.03.2014 Message-ID: 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 From hoerdegen at laposte.net Wed Mar 26 09:59:52 2014 From: hoerdegen at laposte.net (hoerdegen at laposte.net) Date: Wed, 26 Mar 2014 10:59:52 +0100 Subject: [munich-lisp] Munich Haskell Meeting In-Reply-To: <5332A4FB.60104@funktional.info> References: <5332A4FB.60104@funktional.info> Message-ID: <5332A518.1050002@laposte.net> 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 From haskell.hackathon at gmail.com Mon Mar 10 20:56:39 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Mon, 10 Mar 2014 21:56:39 +0100 Subject: [munich-lisp] Haskell Hackathon Mittwoch 26.03.2014 Message-ID: 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 From cheater00 at gmail.com Sat Mar 22 13:17:46 2014 From: cheater00 at gmail.com (cheater00 .) Date: Sat, 22 Mar 2014 14:17:46 +0100 Subject: [munich-lisp] Re: [high-order-munich] Buridan's Paradox [Re: Haskell Hackathon Mittwoch 2.04.2014] In-Reply-To: <87d2hewf8m.fsf@gmail.com> References: <532D68DD.2000809@ifi.lmu.de> <87d2hewf8m.fsf@gmail.com> Message-ID: Viel schlimmer finde ich die Verwechslung von Zahlen (\mathbb{Z}) und Zahlen modulo 2^31 (Int). Da sind schon leute gestorben. 2014-03-22 14:10 GMT+01:00 Christian Neukirchen : > "cheater00 ." writes: > >> 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 > > Die Konfusion wird vollst?ndig, wenn man dann in einer Sprache > programmieren lernt, in der dieser Typ "REAL" heisst. > > -- > Christian Neukirchen http://chneukirchen.org From chneukirchen at gmail.com Sat Mar 22 13:10:49 2014 From: chneukirchen at gmail.com (Christian Neukirchen) Date: Sat, 22 Mar 2014 14:10:49 +0100 Subject: [munich-lisp] Re: [high-order-munich] Buridan's Paradox [Re: Haskell Hackathon Mittwoch 2.04.2014] In-Reply-To: (cheater's message of "Sat, 22 Mar 2014 12:14:13 +0100") References: <532D68DD.2000809@ifi.lmu.de> Message-ID: <87d2hewf8m.fsf@gmail.com> "cheater00 ." writes: > 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 Die Konfusion wird vollst?ndig, wenn man dann in einer Sprache programmieren lernt, in der dieser Typ "REAL" heisst. -- Christian Neukirchen http://chneukirchen.org From cheater00 at gmail.com Sat Mar 22 11:14:13 2014 From: cheater00 at gmail.com (cheater00 .) Date: Sat, 22 Mar 2014 12:14:13 +0100 Subject: [munich-lisp] Re: Buridan's Paradox [Re: [high-order-munich] Haskell Hackathon Mittwoch 2.04.2014] In-Reply-To: <532D68DD.2000809@ifi.lmu.de> References: <532D68DD.2000809@ifi.lmu.de> Message-ID: 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 : > 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 at gu.se > http://www2.tcs.ifi.lmu.de/~abel/ From haskell.hackathon at gmail.com Wed Mar 26 23:09:28 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Thu, 27 Mar 2014 00:09:28 +0100 Subject: [munich-lisp] Haskell Hackathon Montag 7.04.2014 Message-ID: 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 From cheater00 at gmail.com Wed Mar 26 10:31:16 2014 From: cheater00 at gmail.com (cheater00 .) Date: Wed, 26 Mar 2014 11:31:16 +0100 Subject: [munich-lisp] Munich Haskell Meeting In-Reply-To: <5332A518.1050002@laposte.net> References: <5332A4FB.60104@funktional.info> <5332A518.1050002@laposte.net> Message-ID: Uff, schon dachte ich, dass ich kein M?nchner Schnitzel bekomme. On Wed, Mar 26, 2014 at 10:59 AM, wrote: > > 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 > > > > From cheater00 at gmail.com Sun Mar 30 13:59:20 2014 From: cheater00 at gmail.com (cheater00 .) Date: Sun, 30 Mar 2014 15:59:20 +0200 Subject: [Munich-lisp] [munich-lisp] Munich Haskell Meeting In-Reply-To: <5332A518.1050002@laposte.net> References: <5332A4FB.60104@funktional.info> <5332A518.1050002@laposte.net> Message-ID: Im ?brigen, gibt es auch das Database Supported Haskell, womit man idiomatisches Haskell nach SQL kompilieren kann. Die Datenbank funktioniert als eine Art Koprozessor f?r Bearbeitung von gro?en Datenmengen. http://hackage.haskell.org/package/DSH http://db.inf.uni-tuebingen.de/files/giorgidze/ifl2010.pdf http://db.inf.uni-tuebingen.de/files/giorgidze/haskell2011.pdf http://db.inf.uni-tuebingen.de/files/giorgidze/adtq.pdf LG, Damian On Wed, Mar 26, 2014 at 10:59 AM, wrote: > > 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 > > > >