From haskell.hackathon at gmail.com Sat Jul 5 22:53:43 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Sun, 6 Jul 2014 00:53:43 +0200 Subject: [Munich-lisp] Haskell Hackathon Sonntag 6.07.2014 Message-ID: Hi *, am Sonntag, 6. Juli 2014 treffen wir uns um 12.00 in der Pizzeria Vapiano f?r unser Hackathon. Bringt eure Laptops! Themen: - High-Perf Network IO oder - Haskell Security: kann man Variablen (z.B. Passw?rter) aus den Speicher l?schen? oder - Attoparsec oder - Applicative Stacks und Applicative Transformers -- BERICHT -- Bericht vom 20.06.2014: wir haben viel ?ber attoparsec gelernt: - man soll kein "try parser1 <|> parser2" machen: http://blog.ezyang.com/2014/05/parsec-try-a-or-b-considered-harmful/ - man kann in attoparsec doch zeilen- und spaltennummer bekommen, aber nur wenn man sowas wie conduits oder ?hnliches benutzt: http://www.yesodweb.com/blog/2012/06/attoparsec-position - attoparsec benutzt intern CPS um backtracking zu machen -- 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. From haskell.hackathon at gmail.com Sat Jul 12 17:37:58 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Sat, 12 Jul 2014 19:37:58 +0200 Subject: [Munich-lisp] Haskell Hackathon Sonntag 13.07.2014 Message-ID: Hi *, am Sonntag, 13. Juli 2014 treffen wir uns um 16.00 in der Pizzeria Vapiano f?r unser Hackathon. Bringt eure Laptops! Themen: - Haskell Security: ist securemem einfach zu benutzen? Kann man damit ein Password bearbeiten, sodass es im Speicher nicht zur?ckbleibt? https://hackage.haskell.org/package/securemem oder - Applicative Transformers und Applicative Stacks oder - Attoparsec! -- BERICHT -- Bericht vom 26.06.2014: - wir haben uns das Speicherlayout vom GHC generierten Bin?rdateien angeschaut - mit /proc/[pid]/maps kann man das Layout anschauen - darauf kann man nicht so einfach mit dd usw zugreifen, man kann aber sehr gut mit gdb sachen rausspeichern. - auf gdb basierend haben wir ein Tool gebaut welches das Arbeitsspeicher in eine Datei abspeichern kann - wir haben auch ein weiteres Tool gebaut welches f?r Strings im Arbeitsspeicher sucht, mit voller grep funktionalit?t. Es zeigt dann das Arbeitsspeicherbereich in welchen sich die Zeichenkette befindet. - es hat sich herausgestellt dass unser ganz einfaches Programm, welches Tastatureingabe und dann ausgabe macht, und dann GC ausl?st, am ende immer noch die Zeichenkette im Arbeitsspeicher enth?lt! - Das bedeutet, dass alle Passw?rter, Schl?ssel und Tokens im schlimmsten Fall von einen Angreifer eingeholt werden k?nnen! - das String ist auch nicht auf dem Heap gefunden worden - anscheinend ist es in einen unbenannten Speicherbereich abgespeichert, welches kurz nach dem Heap anf?ngt. - eine Idee ist gegeben worden, das mit pinned memory zu ?berbr?cken. So kann man vielleicht den Arbeitsspeicherbereich ausdr?cklich ?berschreiben. - die Frage ist aber ob die Tastatureingabe im Puffer ist, und wie mann das wieder ausschaltet. - Sp?ter hat es sich noch zus?tzlich herausgestellt, dass der String, den wir finden, manchmal inkomplett ist - z.b. haben wir "asdfffffffffffffffffffffffffffffffff" eingegeben, das "a" hat aber im Arbeitsspeicher gefehlt. Es war anscheinend irgendwo separat gespeichert. -- 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. From haskell.hackathon at gmail.com Wed Jul 16 14:33:40 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Wed, 16 Jul 2014 16:33:40 +0200 Subject: [Munich-lisp] Haskell Hackathon Donnerstag 17.07.2014 - Neuer Treffpunkt Message-ID: Hi *, am Donnerstag, 17. Juli 2014 treffen wir uns um 18.00 in India King f?r unser Hackathon. Bringt eure Laptops! Neuer Treffpunkt: wir probieren diesmal India King aus, wo es Strom und WLAN gibt. Es ist auch ein bisschen ruhiger. Es gibt jetzt auch ein Twitter-Feed f?r das Hackathon: https://twitter.com/Haskell_hackers Themen: - Benutzung einfacher Monaden - Was ist eine Monade? - Wir schreiben eine Monade - Was sind Monadentransformer? -- BERICHT -- Bericht vom 6.07.2014: - wir haben uns Egison angeschaut (egison.org) - ein in Haskell implementiertes (cabal install egison) pure functional Lisp mit "non-linear pattern-matching with back-tracking against unfree data types". Beispiel code: (define $twin-primes (match-all primes (list integer) [>> [p (+ p 2)]])) paper: http://arxiv.org/abs/1407.0729 slides: http://www.egison.org/presentation.pdf - NLP Beispiele in Egison angeschaut - wir haben uns weiter mit den Thema des Arbeitsspeicherlayouts besch?ftigt - daf?r wurde eine neue Version von memgrep geschrieben welche das Arbeitsspeicher in bin?ren Modus durchsucht - anscheinend behandelt GHC Zeichenketten folgenderma?en: getLine speichert die Zeichenkette als unboxed in das Arbeitsspeicher (in das fake-heap welches sich nach dem linux heap befindet). Bei erster Verwendung (putStrLn) wird das head in einen anderen Arbeitsspeicherbereich gespeichert, das Tail bleibt wo es ist, wobei das Head nicht mehr vorhanden ist. Das hei?t, das boxing-modell ist nur theoretisch; eigentlich werden Boxes nur dann erstellt, wann die gebraucht werden. Anscheinend braucht putStrLn das Head als separates Zeichen. -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Anfahrtm?glichkeiten: - S-Bahn nach Pasing nehmen (alle au?er S1, S2 und S7) und dann Tram 19 nach Offenbachstra?e (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstra?e - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstra?e - Bus 160 oder 162 nach Offenbachstra?e India King befindet sich genau gegen?ber der Tramhaltestelle. From haskell.hackathon at gmail.com Tue Jul 22 11:38:57 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Tue, 22 Jul 2014 13:38:57 +0200 Subject: [Munich-lisp] Haskell Hackathon Donnerstag 24.07.2014 - Neuer Treffpunkt Message-ID: Hi *, am Donnerstag, 24. Juli 2014 treffen wir uns um 18.00 in India King f?r unser Hackathon. Bringt eure Laptops! Neuer Treffpunkt: wir probieren diesmal India King aus, wo es Strom und WLAN gibt. Es ist auch ein bisschen ruhiger. Es gibt jetzt auch ein Twitter-Feed f?r das Hackathon: https://twitter.com/Haskell_hackers Themen: - Benutzung weiterer Monaden - Was sind Monadentransformer? - Benutzung Monadentransformer. - Wir schreiben ein einfaches Monadentransformer. - Was sind die Monadschen Gesetze, und wie sichert man dass sie eingehalten werden? Warum ist das wichtig? -- BERICHT -- 13. Juli: - wir haben viel mit Attoparsec gearbeitet! - type families: http://byorgey.wordpress.com/2010/07/06/typed-type-level-programming-in-haskell-part-ii-type-families/ + http://byorgey.wordpress.com/2010/07/19/typed-type-level-programming-in-haskell-part-iii-i-can-haz-typs-plz/ - data families - associated types: http://www.haskell.org/haskellwiki/Simonpj/Talk:FunWithTypeFuns - unikernels, MirageOS, OCaml, MLton, ML modules, ML functors: http://queue.acm.org/detail.cfm?id=2566628 -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtm?glichkeiten: - S-Bahn nach Pasing nehmen (alle au?er S1, S2 und S7) und dann Tram 19 nach Offenbachstra?e (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstra?e - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstra?e - Bus 160 oder 162 nach Offenbachstra?e India King befindet sich genau gegen?ber der Tramhaltestelle. From haskell.hackathon at gmail.com Sat Jul 26 18:26:14 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Sat, 26 Jul 2014 20:26:14 +0200 Subject: [Munich-lisp] Haskell Hackathon Donnerstag 28.07.2014 - Neuer Treffpunkt Message-ID: Hi *, am Montag, 28. Juli 2014 treffen wir uns um 18.00 in India King f?r unser Hackathon. Bringt eure Laptops! Treffpunkt: India King scheint unseren Treffen sehr gut geeignet zu sein! Es gibt jetzt auch ein Twitter-Feed f?r das Hackathon: https://twitter.com/Haskell_hackers Themen: - Was sind die Monadschen Gesetze, und wie sichert man dass sie eingehalten werden? Warum ist das wichtig? - Funktoren - Kommutative Diagramme in Kategorietheorie - Aplikative Funktoren - Komonaden - Wir schreiben eine Komonade f?r Bin?rb?ume und beweisen die Komonadsche Gesetze daf?r -- BERICHT -- 17. Juli: Einsteiger-Hackathon! Wir haben: - "Hello World" geschrieben - ?ber Typklassen gesprochen, dass sie ?hnlich wie APIs und Interfaces sind - uns angeschaut, wie man einfache Monaden benutzt: List, IO, Maybe - ?ber das do-syntax gesprochen - dar?ber gesprochen was eine Monade macht (aufbauen von Struktur (return); Kausalit?t (bind, also >>=)) - eine Liste von grund auf implementiert und Algebraische Datentype erkl?rt - eine Monade f?r unsere Liste geschrieben - Infix-Konstruktoren verwendet und eine Show-instanz daf?r geschrieben - ?ber boxing und laziness gesprochen - ?ber MirageOS, OCaml und Unikernels gesprochen: http://queue.acm.org/detail.cfm?id=2566628 -- ANFAHRT -- Wir treffen uns in India King, Landsbergerstr. 491. Webseite: http://www.indiaking.de Karte: https://goo.gl/maps/5g9m6 Anfahrtm?glichkeiten: - S-Bahn nach Pasing nehmen (alle au?er S1, S2 und S7) und dann Tram 19 nach Offenbachstra?e (2 Haltestellen) - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstra?e - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing umsteigen, bis Offenbachstra?e - Bus 160 oder 162 nach Offenbachstra?e India King befindet sich genau gegen?ber der Tramhaltestelle. From haskell.hackathon at gmail.com Sat Jul 26 18:33:06 2014 From: haskell.hackathon at gmail.com (Haskell Hackathon) Date: Sat, 26 Jul 2014 20:33:06 +0200 Subject: [Munich-lisp] Haskell Hackathon Donnerstag 28.07.2014 - Neuer Treffpunkt In-Reply-To: References: Message-ID: Oops, nat?rlich findet der Hackathon am Montag (28.07) statt! :) 2014-07-26 20:26 GMT+02:00 Haskell Hackathon : > Hi *, > am Montag, 28. Juli 2014 treffen wir uns um 18.00 in India King f?r > unser Hackathon. Bringt eure Laptops! > > Treffpunkt: India King scheint unseren Treffen sehr gut geeignet zu sein! > > Es gibt jetzt auch ein Twitter-Feed f?r das Hackathon: > https://twitter.com/Haskell_hackers > > Themen: > > - Was sind die Monadschen Gesetze, und wie sichert man dass sie > eingehalten werden? Warum ist das wichtig? > - Funktoren > - Kommutative Diagramme in Kategorietheorie > - Aplikative Funktoren > - Komonaden > - Wir schreiben eine Komonade f?r Bin?rb?ume und beweisen die > Komonadsche Gesetze daf?r > > > > -- BERICHT -- > > 17. Juli: > > Einsteiger-Hackathon! Wir haben: > - "Hello World" geschrieben > - ?ber Typklassen gesprochen, dass sie ?hnlich wie APIs und Interfaces sind > - uns angeschaut, wie man einfache Monaden benutzt: List, IO, Maybe > - ?ber das do-syntax gesprochen > - dar?ber gesprochen was eine Monade macht (aufbauen von Struktur > (return); Kausalit?t (bind, also >>=)) > - eine Liste von grund auf implementiert und Algebraische Datentype erkl?rt > - eine Monade f?r unsere Liste geschrieben > - Infix-Konstruktoren verwendet und eine Show-instanz daf?r geschrieben > - ?ber boxing und laziness gesprochen > - ?ber MirageOS, OCaml und Unikernels gesprochen: > http://queue.acm.org/detail.cfm?id=2566628 > > > > -- ANFAHRT -- > > Wir treffen uns in India King, Landsbergerstr. 491. > Webseite: http://www.indiaking.de > Karte: https://goo.gl/maps/5g9m6 > > Anfahrtm?glichkeiten: > > - S-Bahn nach Pasing nehmen (alle au?er S1, S2 und S7) und dann Tram > 19 nach Offenbachstra?e (2 Haltestellen) > - Tram 19 von Hauptbahnhof richtung Pasing nehmen bis Offenbachstra?e > - Bus 130 oder 131 zum Knie nehmen und dort in die Tram 19 nach Pasing > umsteigen, bis Offenbachstra?e > - Bus 160 oder 162 nach Offenbachstra?e > > India King befindet sich genau gegen?ber der Tramhaltestelle. From hoerdegen at laposte.net Mon Jul 28 20:11:20 2014 From: hoerdegen at laposte.net (hoerdegen at laposte.net) Date: Mon, 28 Jul 2014 22:11:20 +0200 Subject: [Munich-lisp] Munich Haskell Meeting Message-ID: <53D6AE68.1090804@laposte.net> Dear all, on Wednesday, 30th of July, once again our monthly Haskell Meeting takes place. We meet at 19h30 at Max-Emanuel-Brauerei in Munich. If you plan to join, please go here to find the details and don't forget to click the button: http://www.haskell-munich.de/dates Have a nice evening, Heinrich