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
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
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/
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
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
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
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