- munich-lisp - mailman3.common-lisp.net

[Munich-lisp] Haskell Hackathon Mo. 22.9 - GTK, DSP, Free Applicatives
by Haskell Hackathon 21 Sep '14

21 Sep '14

Hi *, am Montag, 22. September 2014 treffen wir uns um 18.00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Diagramme und Mathematische Graphiken mit Gloss - wir bauen etwas was man später in einen Workbook (wie z.B. Mathematica) benutzen könnte - GTK oder - DSP: wir bauen eine Faltung und machen damit Oversampling einer Datei die aus einen WAV eingelesen worden ist oder - Free Applicatives -- BERICHT -- 10. September 2014 - partial type signatures - category theory, buch von Awodey - graphs for fmap, lift, ap, newtypes als isomorphismen - fmap as a lift - commutative graphs - DWARF debugging format - Partial type applications - Overloaded record fields - Strict Haskell / Johan Tibell - Lennart Augustsson und seine Arbeit beim Kompilatorbau für Galois Inc - applicative do - applicative monads - partial type signatures - visualiesierungen von GC-algorithmen http://spin.atomicobject.com/2014/09/03/visualizing-garbage-collection-algo… - russische Mathebücher (abstrakte Algebra) -- 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. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org

1 0

[Munich-lisp] ARRR!! Haskell Hackathon Fr. 19.09 18:00 - GTK, DSP, Free Applicatives
by Haskell Hackathon 19 Sep '14

19 Sep '14

Hi *, am Talk like a Pirate Day, also Freitag, 19. September 2014 treffen wir uns um 17.00 in India King für unser Hackathon. Bringt eure Laptops! Arrr! Themen: - Diagramme und Mathematische Graphiken mit Gloss - wir bauen etwas was man später in einen Workbook (wie z.B. Mathematica) benutzen könnte - GTK oder - DSP: wir bauen eine Faltung und machen damit Oversampling einer Datei die aus einen WAV eingelesen worden ist oder - Free Applicatives -- BERICHT -- 6. September 2014 - nachgelesen wie antialiasing in OpenGL funktioniert - durch das Code von gliss und gliss-gtk gegangen um ein Ort zu finden wo man code für antialiasing zufügen könnte. Noch nichts gefunden. - mehrere Diagramme gebaut, das kaputte antialiasing macht die aber weniger schön als die sein könnten! - an der Faltung noch weiter gearbeitet -- 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. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org

1 0

[Munich-lisp] Haskell Hackathon Mi. 10.09 17:00 - Diagramme, GTK, Musik-DSP, Performance
by Haskell Hackathon 09 Sep '14

09 Sep '14

Hi *, am Mittwoch, 10. September 2014 treffen wir uns um 17.00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Diagramme und Mathematische Graphiken mit Gloss - wir bauen etwas was man später in einen Workbook (wie z.B. Mathematica) benutzen könnte - GTK oder - DSP: wir bauen eine Faltung und machen damit Oversampling einer Datei die aus einen WAV eingelesen worden ist oder - laziness, stack overflows, thunks, memory leaks -- BERICHT -- 28. August: - succint data structures - wavelet trees - suffix trees, suffix arrays - edit distance 2 searches - levenshtein automatons: http://www.fmi.uni-sofia.bg/fmi/logic/theses/mitankin-en.pdf - opengl antialiasing - memdump/memgrep - ffindex - protein sequencing - scanning electron microscopy - data forensics - linux performance tools: http://brendangregg.com/linuxperf.html -- 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. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org

1 0

[Munich-lisp] Haskell Hackathon Samstag 6.09.2014 - Diagramme, GTK, Musik-DSP
by Haskell Hackathon 04 Sep '14

04 Sep '14

Hi *, am Samstag, 6. September 2014 treffen wir uns um 15.00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Diagramme und Mathematische Graphiken mit Gloss - wir bauen etwas was man später in einen Workbook (wie z.B. Mathematica) benutzen könnte - GTK oder - DSP: wir bauen eine Faltung und machen damit Oversampling einer Datei die aus einen WAV eingelesen worden ist -- BERICHT -- 23. August: - wir haben viel mit Gloss gebaut und experimentiert - Gloss eignet sich sehr gut, mathematische Graphiken darzustellen - wir haben eine einfache plotting-bibliothek gebaut - über FIRs (http://en.wikipedia.org/wiki/Finite_impulse_response) nachgelesen - über upsampling mit FIRs nachgelesen - eine Faltung teilweise implementiert - ein FIR implementiert mit hilfe dieser Webseite: http://t-filter.appspot.com/fir/index.html - über Antialiasing nachgelesen: http://www.codeproject.com/Articles/226569/Drawing-polylines-by-tessellation - audio-codecs in Haskell angeschaut; anscheinend gibt es keinen guten mp3-dekoder für Haskell -- 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. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org

1 0

[Munich-lisp] Hackathon nach Vapiano Pasing verlegt
by Haskell Hackathon 28 Aug '14

28 Aug '14

India King hat wegen Urlaub diese Woche geschlossen - wir verlegen das Hackathon nach Vapiano Pasing :-)

1 0

[Munich-lisp] Haskell Hackathon Donnerstag 28.08.2014 - 2D Simulationen, GTK, Generics
by Haskell Hackathon 28 Aug '14

28 Aug '14

Hi *, am Donnerstag, 28. August 2014 treffen wir uns um 18.00 in India King für unser Hackathon. Bringt eure Laptops! Themen: - Generic programming oder - graphische Simulationen in Gloss - GTK -- BERICHT -- 17. August: - über die unterschiedliche Typen von Polymorphismus in Haskell gesprochen: Typklassen, genereller Polymorphismus, Generics, und wie das sich von wertbasierenden Polymorphismus unterscheidet (OOP/Java/etc) - darüber gesprochen, was die unterschiedliche Typklassen in Typeclassopedia ausmacht - über den Parallelismus von Applicatives gesprochen, und wie es sich mit Monaden vergleicht. An eine Monade kann nur sequentiell zugegriffen werden weil die rechte Seite von bind für ein Element aus der linken Seite eine variable Anzahl von Elemente in das Resultat einfügen kann. - über unterschiedliche Weisen gesprochen, wie man ein flexibles API bauen kann. - Generics kurz erklärt - mit Gloss und gloss-gtk gearbeitet - Gloss ist eine Bibliothek für 2D-Zeichnen mit OpenGL - gloss-gtk erlaubt die Nutzung von Gloss in einen GTK-fenster, welches auch Knöpfe hat usw. Das basiert auf gtk2hs. - gloss-gtk erlaubt auch, Physikalische Simulationen, Animationen, und Spiele zu bauen. - mit GTK tastatureingabe gearbeitet - weitere sachen mit GTK gemacht: event handling, eingaben, etc. Es stellt sich heraus gtk2hs ist sehr einfach zu benutzen! - Text in Gloss mit GLFW benutzt. Die gloss-gtk library um text-formatierung erweitert (sonst könnte man mit Text sehr wenig machen) -- 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. Twitter: https://twitter.com/Haskell_hackers Web: http://haskell-hackathon.no-ip.org

1 0

[Munich-lisp] Munich Haskell Meeting
by hoerdegen＠laposte.net 24 Aug '14

24 Aug '14

Dear all, next Tuesday, 26th of August, Munich's Haskell enthusiasts will meet again at Cafe Puck around 19h30. Everyone is wellcome. Please note that we will meet at Cafe Puck. To help us reserve enough tables, please go to http://www.haskell-munich.de/dates and click the button. Heinrich

1 0

[Munich-lisp] Wo ist der nächste Stammtisch?
by cheater00 . 23 Aug '14

23 Aug '14

Hallo, Einige Leute haben die Idee gegeben nicht mehr in die Max-Emanuel zu gehen. Ich weiß aber nicht mehr was damit passiert ist. Könnte Jemand bitte bestätigen wo wir uns treffen? LG

2 1

[Munich-lisp] Haskell Hackathon Samstag 23.08.2014 - Neue Webseite, 2D Simulationen, GTK, Generics
by Haskell Hackathon 22 Aug '14

22 Aug '14

Hi *, am Samstag, 23. August 2014 treffen wir uns um 15.00 in India King für unser Hackathon. Bringt eure Laptops! Die webseite hat jetzt ein Facelift bekommen! Es ist zwar nicht viel Arbeit gewesen, hat aber ein gutes Effekt gehabt. Sagt wie es euch gefällt! http://haskell-hackathon.no-ip.org Twitter-Feed für das Hackathon: https://twitter.com/Haskell_hackers Themen: - Generic programming oder - graphische Simulationen in Gloss - GTK oder - attoparsec -- BERICHT -- 3. August: - ein Beweis für die Gesetze der Komonadeninstanz für nichtleere, binäre Bäume ist vorgeführt worden. Kein beweis ist gut ohne neuer Notation! - das selbe Beweis ist in Isabelle/HOL gemacht worden - über Koinduktion gesprochen und die in Isabelle/HOL versucht - mit Koinduktion die Komonadeninstanz für ein endloses Stream bewiesen - Isabelle/HOL und andere Logiksysteme in Isabelle pauschal verglichen, sowie Coq, Idris, und Agda. Isabelle/HOL kann das Auswahlaxiom verwenden, was viele Beweise einfacher macht - da man keine Konstruktionen vorlegen muss. Dagegen verfügt es nicht über dependent types. - Wir haben uns GHC Generics angeschaut und ein Paar Funktionen mit Generics geschrieben -- 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.

1 0

[Munich-lisp] Haskell Hackathon Sonntag 17.08.2014
by Haskell Hackathon 16 Aug '14

16 Aug '14

Hi *, am Sonntag, 17. August 2014 treffen wir uns um 14.00 in India King für unser Hackathon. Bringt eure Laptops! Es gibt jetzt auch ein Twitter-Feed für das Hackathon: https://twitter.com/Haskell_hackers Themen: - Generic programming - Typeclassopedia oder - graphische Simulationen in Gloss - GTK oder - attoparsec -- BERICHT -- 28. Juli: - über monadsche Gesetze gesprochen; wie man von Axiomen Thesen ableitet um die zu beweisen - wie funktionieren kommutative Diagramme? Was haben die mit Kategorietheorie zu tun? - wie soll man Haskelltypen als kommutative Diagramme verstehen? - ein Beispiel wie man kommutativität eines Diagramms für das Isomorphismus zwischen Modulo-ringen benutzen kann, um Schiffer zu knacken! - was ist ein Funktor? Applicative? - wie sieht der Diagramm für liftM aus? fmap? <*>? ein Funktor? - was ist ein Monoid? - wir sind die ganze Typeclassopedia durchgegangen und haben darüber gesprochen, was an jeder Typklasse wesentlich ist - und wofür die nutzvoll sind. - wie sieht das Diagramm für eine Monade? für liftM? - was ist eine Komonade? Wie benutzt man sie? Wie unterscheidet sich die funktionsweise des komonadischen co-binds von der des monadischen bind? - Wir schrieben eine Komonade für binärbäume. - Wir haben bewiesen, dass unsere Komonade auch eine Komonade wirklich ist! Leider ist uns ein Teil des Beweises entweicht, das haben wir aber später nachgeholt :) -- 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.

1 0

[Munich-lisp] Haskell Hackathon Sonntag 03.08.2014
by Haskell Hackathon 02 Aug '14

02 Aug '14

Hi *, am Sonntag, 3. August 2014 treffen wir uns um 18.00 in India King für unser Hackathon. Bringt eure Laptops! Es gibt jetzt auch ein Twitter-Feed für das Hackathon: https://twitter.com/Haskell_hackers Themen: - Kleisli arrow notation - Cokleisli arrows und cobind - Beweise der Komonadschen Gesetze -- BERICHT -- 24. Juli: - über Cloud Haskell gesprochen - Typeclassopedia angeschaut und wie sich die Klassen unterscheiden - das Talk "Functionally Oblivious" angemerkt - Type constructors - Kinds - Klassen - Curry-Howard-Korrespondenz: typen als logische Hypothesen und deren werte als Beweise der Hypothesen. - Backus Turing Award Lecture: "Can programming be liberate from the von Neumann style?" http://www.thocp.net/biographies/papers/backus_turingaward_lecture.pdf - wofür ist ein Functor gut? wie kommutiert es mit funktionen? g (F x) <---> F (g' x) - Monad Transformers: verstehen, anwenden, schreiben - lift und monad stacks - WriterT benutzen und selber implementieren - MonadTrans implementiert - Monoids: hier kann man sachen zusammenfügen - Applicative als Monade ohne Kausalität - Kurz ein Attoparsec-parser angeschaut - newtype als isomorphismus zwischen Mengen - class dictionaries https://www.fpcomplete.com/user/jfischoff/instances-and-dictionaries -- 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.

1 0

[Munich-lisp] Munich Haskell Meeting
by hoerdegen＠laposte.net 28 Jul '14

28 Jul '14

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

1 0

[Munich-lisp] Haskell Hackathon Donnerstag 28.07.2014 - Neuer Treffpunkt
by Haskell Hackathon 26 Jul '14

26 Jul '14

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.

1 1

[Munich-lisp] Haskell Hackathon Donnerstag 24.07.2014 - Neuer Treffpunkt
by Haskell Hackathon 22 Jul '14

22 Jul '14

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-has… + http://byorgey.wordpress.com/2010/07/19/typed-type-level-programming-in-has… - 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.

1 0

[Munich-lisp] Haskell Hackathon Donnerstag 17.07.2014 - Neuer Treffpunkt
by Haskell Hackathon 16 Jul '14

16 Jul '14

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) [<join _ <cons $p <cons ,(+ p 2) _>>> [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.

1 0

[Munich-lisp] Haskell Hackathon Sonntag 13.07.2014
by Haskell Hackathon 12 Jul '14

12 Jul '14

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.

1 0

[Munich-lisp] Haskell Hackathon Sonntag 6.07.2014
by Haskell Hackathon 06 Jul '14

06 Jul '14

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.

1 0

[Munich-lisp] Haskell Hackathon Donnerstag 26.06,2014
by Haskell Hackathon 26 Jun '14

26 Jun '14

Hi *, am Donnerstag, 26. Juni 2014 treffen wir uns um 18.00 in der Pizzeria Vapiano für unser Hackathon. Wir haben den ganzen Abend. Bringt eure Laptops! Nicht vergessen: am 6.28 ist tau-Tag! Lieber tau statt pi benutzen! tau > pi ! Themen: - High-Perf Network IO oder - Haskell Security: kann man Variablen (z.B. Passwörter) aus den Speicher löschen? oder - Attoparsec -- BERICHT -- Bericht vom 15.06.2014: - wir haben versucht unser server-client demo zu optimieren. - wir haben mit strace gespielt, und mit threading. - Wir haben die strace-ausgabe verkleinert indem wir ein einfacheres socket-interface benutzt haben, welches statt syscalls zum TCP-stack einfach Konstanten benutzt hat. Das waren Sachen die bei jeder Verbindung passierten. - wenn das alles weck war haben wir bemerkt, dass das threading in ghc sehr oft clock_gettime ruft, und dass man das nicht abschalten kann. Das ist anscheinend eine typische implementation von Green Threads und ist wie pthreads implementiert werden; ghc linkt gegen pthreads was man mit ldd auf unseren binärdatei sehen kann. - Wir werden das clock_gettime weiter verfolgen. -- 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.

1 0

[Munich-lisp] Haskell Hackathon Freitag 20.06.2014 14:00
by Haskell Hackathon 19 Jun '14

19 Jun '14

Hi *, am Freitag, 20. Juni 2014 treffen wir uns um 14.00 in der Pizzeria Vapiano für unser Hackathon. Wir haben den ganzen Tag. Bringt eure Laptops! Themen: - High-Perf Network IO oder - Wir arbeiten mit Attoparsec: wie kann man gute Fehlermeldungen bekommen? -- BERICHT -- Bericht vom 4.06.2014: - wir haben uns performance tools angeschaut, die uns helfen würden, Netzwerkprogramme zu messen und zu optimieren -- 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.

1 0

[Munich-lisp] Haskell Hackathon Sonntag 15.06.2014
by Haskell Hackathon 13 Jun '14

13 Jun '14

Hi *, am Sonntag, 15. Juni 2014 treffen wir uns um 18.00 in der Pizzeria Vapiano für unser Hackathon. Wir haben Zeit bis mindestens 22 Uhr. Bringt eure Laptops unbedingt mit! Themen: - Wir überlegen uns, welche Themen von Zurihac für uns brauchbar sind oder - High-Perf Network IO oder - Wir arbeiten mit Attoparsec -- BERICHT -- Bericht vom 1.06.2014: - wir haben uns unix sockets näher angeschaut, wie die funktionieren, und welche states die haben können - wir haben über datenstrukturen nachgeforscht, die für schnelles network IO nutzbar sind -- 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.

1 0

[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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

munich-lisp