- 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 18 Sep '14

18 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