munich-lisp

munich-lisp@common-lisp.net

259 discussions

[munich-lisp] Munich Haskell Meeting
by hoerdegen＠laposte.net 30 Mar '14

30 Mar '14

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

2 2

[munich-lisp] Haskell Hackathon Montag 7.04.2014
by Haskell Hackathon 27 Mar '14

27 Mar '14

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

1 0

[munich-lisp] Re: Buridan's Paradox [Re: [high-order-munich] Haskell Hackathon Mittwoch 2.04.2014]
by cheater00 . 22 Mar '14

22 Mar '14

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/

2 2

[munich-lisp] Haskell Hackathon Mittwoch 2.04.2014
by Haskell Hackathon 21 Mar '14

21 Mar '14

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

1 0

[munich-lisp] Haskell Hackathon Mittwoch 26.03.2014
by Haskell Hackathon 10 Mar '14

10 Mar '14

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

1 0

[munich-lisp] Haskell Hackathon Mittwoch 19.03.2014
by Haskell Hackathon 06 Mar '14

06 Mar '14

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

1 0

[munich-lisp] Haskell Hackathon Montag 10.03.2014
by Haskell Hackathon 04 Mar '14

04 Mar '14

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

1 1

[munich-lisp] [ANN] ILC 2014 call for papers reminder
by Marc Feeley 27 Feb '14

27 Feb '14

ILC 2014 - International Lisp Conference "Lisp on the Move" August 14-17 2014, Université de Montréal, Montréal, Canada Sponsored by the Association of Lisp Users http://www.international-lisp-conference.org Scope: Lisp is one of the greatest ideas from computer science and a major influence for almost all programming languages and for all sufficiently complex software applications. The International Lisp Conference is a forum for the discussion of Lisp and, in particular, the design, implementation and application of any of the Lisp dialects. We encourage everyone interested in Lisp to participate. We invite high quality submissions in all areas involving Lisp dialects and any other languages in the Lisp family, including, but not limited to, ACL2, AutoLisp, Clojure, Common Lisp, ECMAScript, Dylan, Emacs Lisp, ISLISP, Racket, Scheme, SKILL, HOP etc. This year's focus will be directed towards integrated solutions, including mobile computing. We especially invite submissions in the following areas: * Pervasive computing * Interoperability * Portability * Implementation challenges/tradeoffs for embedded/mobile platforms * Language support for mobile toolkits and frameworks * Language support for distribution * Language support for reliability, availability, and serviceability * Mobile IDEs * Mobile applications Contributions are also welcome in other areas, including but not limited to: * Language design and implementation * Language integration, inter-operation and deployment * Applications (especially commercial) * Reflection, meta-object protocols, meta-programming * Domain-specific languages * Programming paradigms and environments * Efficient parallel and concurrent computation * Language support for managing both manual and automatic GC * Theorem proving * Scientific computing * Data mining * Semantic web Technical Programme: Original submissions in all areas related to the conference themes are invited for the following categories: Papers: Technical papers of up to 10 pages that describe original results. Demonstrations: Abstracts of up to 2 pages for demonstrations of tools, libraries and applications. Workshops: Abstracts of up to 2 pages for groups of people who intend to work on a focused topic for half a day. Tutorials: Abstracts of up to 2 pages for in-depth presentations about topics of special interest for 1 to 2 hours. Panel discussions: Abstracts of up to 2 pages for discussions about current themes. Panel discussion proposals must mention panel member who are willing to partake in a discussion. The conference will also provide slots for lightning talks, to be registered on-site every day. For inquiries about any other kind of participation (commercial exhibits, advertising, prizes, book signing etc.), please see the contacts below. Important Dates: - May 18, 2014: Submission deadline - June 09, 2014: Notification of acceptance - June 29, 2014: Final Papers due - August 14, 2014: Conference All submissions should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates and http://www.acm.org/about/class/1998. Submissions should be uploaded to Easy Chair, at the following address: https://www.easychair.org/conferences/?conf=ilc14 Organizing Committee: General Chair: Marc Feeley (Université de Montréal, Montréal, Canada) Programme Chair: Didier Verna (EPITA Research lab, Paris, France) Local chair: Marc Feeley (Université de Montréal, Montréal, Canada) Programme Committee: to be announced Contacts: * General Questions: ilc14-organizing-committee at alu.org * Programme Committee: ilc14 at easychair.org For more information, see http://www.international-lisp-conference.org

1 0

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

24 Feb '14

Dear all, Wednesday, the 26th of February, our Monthly Haskell Meeting is taking place once again in Munich, Cafe Puck. We start at 19h30. If you plan to join, please go to http://www.haskell-munich.de/dates and hit the button. This time, we will have a guest from India, Raman, who will bring along some boards and shows us how to run PicoLisp [1] on bare metal. There is also work in progress for running Hugs [2] on bare metal. If you are interested in embedded systems, this will be surely an enlightening meeting. Raman is looking also for people from the Haskell community who are willing to help him embed Hugs or some other Haskell programming system on bare metal. If you are interested, I can make the contact. With hope to see many of you on Wednesday, Heinrich [1] http://picolisp.com/wiki/?home [2] http://www.haskell.org/hugs/

1 0

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

28 Jan '14

Dear all, I hope that you had good start into 2014. Munich's Haskell enthusiasts (or other declarative languages) meet for their first get-together in 2014 on Thu, 30th of January at 19h30 at Cafe Puck. If you plan to join, please go here and hit the button: http://www.haskell-munich.de/dates With my best wishes for this year, Heinrich

1 0

← Newer
1
...
6
7
8
9
10
11
12
...
26
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

munich-lisp