News Dates Haskell

Meeting Dates

The meetings begin at 19h30, German time. Usual venue is Cafe Puck. The rule of thumb is that the meeting takes place in rotation on the last Monday, Tuesday, Wednesday, Thursday of the month.

Next Meeting

Our next meeting is scheduled on Thu, 26 Apr 2018, around 19h30. We'll meet at Augustiner-Gaststätte Rumpler (Baumstraße 21). Please sign up here if you are coming.

Please help us to reserve enough tables for this event! It is ok to add yourself to the dudle anonymously or pseudonymously.

Upcoming Meetings (computed using Haskell of course)

Thu, 26 Apr 2018 Meeting at Augustiner-Gaststätte Rumpler (Baumstraße 21).
Mon, 28 May 2018 Meeting at undefined.
Tue, 26 Jun 2018 Meeting at undefined.
Wed, 25 Jul 2018 Meeting at undefined.
Thu, 30 Aug 2018 Meeting at undefined.
Mon, 24 Sep 2018 Meeting at undefined.
Tue, 30 Oct 2018 Meeting at undefined.
Wed, 28 Nov 2018 Meeting at undefined.

Past Meetings

Wed, 28 Mar 2018 Meeting at Café Puck. 7 people attended. We talked about different kinds of logic, SAT solving, functional reactive programming, Rust, package managers, continued fractions, and ultrafinitism.
Tue, 27 Feb 2018 Meeting at Schiller Bräu (Schillerstrasse 23). 10 people attended. We talked among other things about Leibniz, recapitulated BOBKonf, LiquidHaskell and QuickCheck for Coq.
Mon, 29 Jan 2018 Meeting at Cafe Puck. It is open again! 8 people attended. We talked about Self, the Cadano cryptocurrency, a 500loc shader, and BOBKonf.
Wed, 29 Nov 2017 Meeting at Augustiner-Gaststätte Rumpler (Baumstraße 21). 6 people attended. We talked about Go Native, web frontend development, noise cancelling headphones, Romantic literature, parallel Computing, metacircular Haskell, and lazy evaluation.
Mon, 30 Oct 2017 (changed) Meeting at Augustiner-Gaststätte Rumpler (Baumstraße 21). 6 people attended. We talked about C++ coroutines, Scheme's hygienic macros, the Programming Languages Zoo, and many other things.
Mon, 25 Sep 2017 Meeting at Max Emanuel Brauerei. 6 people attended. We talked about the SKI calculus, learning programming with DrRacket, the complexity classes NC1 and LOGCFL, the Laplacian Pyramid, software bloat, energy turnaround, and the book Primes of the Form x2+ny2 by David A. Cox.
Thu, 31 Aug 2017 Meeting at Augustiner-Gaststätte Rumpler (Baumstraße 21). 6 people attended. We talked about C++, video editing, radical constructivism sand microprocessors.
Thu, 27 Jul 2017 (changed) Meeting at Augustiner-Gaststätte Rumpler (Baumstraße 21). 6 people attended. We talked about firewalls, ultrafilters, minimal logic, type theory, federalism, and Löb's theorem.
Tue, 27 Jun 2017 Meeting at Hirschgarten. 9 people attended. We talked about Haskell and politics, Bertrand Russell, programmable text editors, and typeclasses. Money quote: Sound, unsound, das sind doch bürgerliche Begriffe.
Mon, 29 May 2017 Meeting at Max Emanuel Brauerei. 9 people attended. We talked about being a nerd, text editor data structures, and polyamory.
Thu, 27 Apr 2017 Meeting at Augustiner-Gaststätte Rumpler (Baumstraße 21). 6 people attended. We talked about Racket, the perils of deep learning, the game Go, bootstrapping compilers, and nanopass frameworks for compilers.
Wed, 29 Mar 2017 Meeting at Max-Emanuel-Brauerei. 9 people attended.
Tue, 28 Feb 2017 Meeting at Augustiner-Gaststätte Rumpler (Baumstraße 21). 6 people attended. We talked about new things to learn in Haskell, recapped BOBKonf, taked about category theory, NP != P, Inter-universal Teichmüller theory, Chaos theory, and horse movement.
Mon, 30 Jan 2017 Meeting at Augustiner-Gaststätte Rumpler. Only 4 people attended. We talked about home computers beyond the IBM PC, e-mail, outsourcing, reading Chinese upside-down, smartwatches, and how to raise children in the age of the internet.
Wed, 30 Nov 2016 Meeting at Max-Emanuel-Brauerei. 7 people attended. We talked about macros, APL, Cut elimination, Frege's Begriffschrift, the Travelling Salesperson Problem, and the usefulness of typesystems.
Tue, 25 Oct 2016 Meeting at Augustiner-Gaststätte Rumpler. 10 people attended. We talked about many things, among them the joy of UUCP, why monorepos are good and bad, a bit of Topos theory, and why NP probably is not equal to PSPACE.
Mon, 26 Sep 2016 Meeting at Max-Emanuel-Brauerei. 7 people attended. We talked about understanding monads, the intricacies of C++, Category Theory and dual spaces, support vector machines, chip design, and more.
Thu, 25 Aug 2016 Meeting at Hirschgarten Biergarten. 4 people attended.
Wed, 27 Jul 2016 Meeting at Augustiner Bierhalle (Neuhauser Str.). 4 people attended. We talked about the game Set, the Lean theorem prover, algorithms for SAT-solving, and filesystems.
Wed, 29 Jun 2016 (changed) Meeting at Augustiner-Keller Arnulfstr. 7 people attended.
Mon, 30 May 2016 Meeting at Max Emanuel Brauerei. 8 people attended. We decided to buy a new domain,, so this site is now reachable at We also talked about the new L.B. Stanza programming language and Leon, an automated system for synthesizing and verifying functional Scala programs.
Thu, 28 Apr 2016 16 people attended! Among other things, we talked about Minesweeper and NP-completeness, system theory and radical constructivism, p-adic numbers, and tsumego (Go exercises).
Wed, 30 Mar 2016 7 people attended. We talked among many other things about floats on GPUs, teaching SML, OCaml typeclasses, and the Lean theorem prover.
Tue, 23 Feb 2016 8 people attended. We talked among other things about autonomous vehicles and a very lazy Haskell implementation that only type checks when needed.
Mon, 25 Jan 2016 5 people attended. We talked about Scala Cats, Shapeless, Mainframes, VCFE, and PL/I.
Wed, 25 Nov 2015 10 people attended. We talked about integer partitions, cycle.js, Rust experiences, the Y combinator in Perl, and the last Papers We Love meetup.
Thu 29 Oct 2015 10 people attended. We talked about Karatsuba multiplication, the Dutch national flag problem, and SAT encodings.
Mon, 28 Sep 2015 6 people attended. I promised to upload the script to compute the next meeting dates.
Thu, 27 Aug 2015 Meeting at Augustiner-Keller Biergarten. 6 people attended.
Wed, 29 Jul 2015 8 people attended, but only three signed up... We talked about computer graphics, Monte-Carlo integration and lattice theory.
Tue, 30 Jun 2015 Meeting at Cafe Puck (4 attendees)
Mon, 25 May 2015 11 persons were present. Among other things, we discussed the Hadwiger-Nelson problem and the Polynomial hierarchy and Analytical hierarchy.
Thu, 30 Apr 2015 11 persons were present. We discussed SKI calculus and why Git works great for everyone except one of us.
Wed, 25 Mar 2015 13 persons were present. We discussed the Slow Sort of 30 Sept 2013 again.
Tue, 24 Feb 2015 11 persons were present.
Mon, 26 Jan 2015 6 persons were present. Links: Reciprocal Multiplication, a tutorial, Improved division by invariant integers.
Wed, 26 Nov 2014 8 persons were present.
Thu, 30 Oct 2014 Lost in the mists of time.
Mon, 29 Sept 2014 This time, 5 persons were present. Alas, no links were sent...
Tue, 29 Aug 2014 The join-button was clicked 16 times. Have 16 persons been there?
Wed, 30 July 2014 Around eight persons met this time. Reserving at Max-Emanuel is quite a mess. Please send suggestions where we should go next summer. The location should also have the possibility to sit inside, if it's rainy weather.
Mon, 30 June 2014 Many people met at Max-Emanuel-Brauerei, even if our meeting was not announced in time! Thanks to all the faithful Haskell enthusiasts from Munich!
Tue, 29 April 2014 8 People were present. Alas, no links were sent. Nothing more is known about this meeting...
Mon, 31 March 2014 18 people came! We first enjoyed Rene's interesting talk about Big Data. Thanks Rene! Afterwards, we went on to have some drinks at Cafe Puck.
Wed, 26 Feb 2014 This time, 15 persons came. We had guests from all around the world, notably India and Norway! Alas, no links were sent! But maybe someone still wants to sent some?
Thu, 30 Jan 2014 This time, we had 14 participants. Christian sent links on the four colour theorem proof in Coq and here. Also on planarity testing and Kuratowski's theorem. Some other subjects were enumerating Sudoku solutions, Burnside's lemma and the Polya enumeration theorem.
Lars contributed some links about free monads and here and about GADTs. Here is a link to blog post on dependently typed Haskell.
Finally, Julia made photo. Here it is! Thanks for all the links and photos!
A picture from our hackathon
Wed, 27 Nov 2013 13 people were present. Christian sent links on the maximum segment sum problem, based on Horner’s Rule, The elements of an inductive type, and about Homotopy Type Theory (videos) by Robert Harper, and here. This was the last regular meeting for this year. However, there will be an event in December. Check out here.
Thu, 31 Oct 2013 This time, around 14 people were present. We had a visitor from GNU Forth which was really interesting!
Paul sent us a link about concatenative programming. Armin sent links on Teyjus Lambda-Prolog and the Google download and also a paper on lambda-leanTAP. Thanks to everyone!
Mon, 30 Sept 2013 Ten persons were present. Reinhard, although not present in persona, asked us to efficiently implement Slow Sort.
Mon, 26 Aug 2013 Of this meeting, nothing is known to the web page's author. It was holiday for him! Just in time, this web page decided to go on holiday, too! We apologise to all who could not find appropriate informations during the last weeks. To stay in touch in any case, we recommend to you to subscribe to high-order-munich. Looking forward to meet you in September!
Tue, 30 July 2013 15 persons have present! Quite a lot for the table they gave us.
Alex sent us a link to Munich-Lambda, a group for functional programming enthusiasts.
Michael proposed to host either an evening with talks or even a hackathon on a Saturday at his employers place at TNG. What would you like to do? Are there any prefered dates, probably in October?
Wed, 26 June 2013 Twelve persons were present. Alas, no links were sent. Please send interesting links!
Thu, 30 May 2013 This time, 7 persons were present. You want to know, how the future will be like? Lars sent some interesting links on youtube: this and this.
You want to proove the existence of a document? Take a look at this. Thanks to Paul for the link!
Mon, 13 May 2013 Henning Thielemann demonstrated his live sequencer to us. Thanks to Andreas for reserving the room. Reinhard sent a link to the OEIS data base. Here, you can listen to music generated from integer sequences. This video shows 1000 plots of sequences and plays music generated from Recaman's sequcence.
Mon, 29 April 2013 Thirteen persons came to our monthly meeting! Thomas sent a link to Fossil, a distributed wiki, bug tracker, version control system and calendar that also compiles for Android. Thanks Thomas!
Mon, 26 March 2013 Nine persons were present. Many links were sent. Thanks to Christian for The topology of Seemingly impossible functional programs, and many other links on the topic: Seemingly impossible functional programs, How to make the “impossible” functionals run even faster, A Haskell monad for infinite search in finite time, Searchable Data Types.
Thomas sent a link about Unlambda and about Purely Functional, Real-Time Deques with Catenation
Thanks to all those who sent links!
Wed, 27 Feb 2013 Sixteen persons were present in this meeting. Amongst them some friends from France!
Thu, 31 Jan 2013 Fifteen persons were present at this first get-together in 2013. We had guests from Berlin, Zurich, Regensburg and Poland. We welcome anyone interested in functional programming who wants to join us!
Is anyone from or around Munich joining OdHac?
Alas, no links were sent. Thus, I give you a link Markus once sent me. It's a funny video about WAT.
Sat, 15 Dec 2012 A spontaneous meeting took place this Saturday. We had guests from a enterprise based in Poland. A total of eight persons were present.
Tue, 27 Nov 2012 Thirteen persons were present, amongst them many newcomers.
Mon, 29 Oct 2012 Nine persons were present. Alas, no links were sent! Please provide links to topics that have been discussed. This will also help newcomers to see if our monthly get-togethers could be interesting to them.
The end, not of the world, but of the year is near! We are waiting for suggestions of how we should spend our last meeting in December 2012. Should we play at skittles? Your suggestions are wellcome!
Thu, 27 Sept 2012 This time, seven persons subscribed. Alas, no links were sent. Instead, a photo was made. Here you are! Raman gives a demonstration of his embedded bare metal PicoLisp. Great work! He's always looking for supporters. So don't hesitate and ask us for making the contact.
Besides, this was the first birthday of our regular meetings...
A picture from our hackathon
Wed, 29 Aug 2012 Nine persons have been present. Markus presented a brainteaser: There are twelve coins of equal weight except one of them that has a different weight. We don't know if it is lighter or heavier. It's just different! With scales you have three guesses to find out which one is the offending coin. Is there a solution? If yes, what is it?
Last time already, Raman sent a paper about PICOBIT, a Scheme eco-system for embedded programming, consisting of a Scheme to bytecode compiler, a small virtual machine and a C compiler to compile the virtual machine. Alas, it was to late for last times link collection! If you have links that you think that are interesting, you're wellcome to send them after each meeting.
Tue, 31 July 2012 Eleven persons were present at this meeting. As it was very nice sitting outside at Max Emanuel Brauerei, we will meet theire again next time. It's summer!
This time, we left our high level functional view and had a hands on demonstration by Raman of an embedded C-interpreter on an ARM Cortex board. Nice work! Maybe, someday we could try to do something with atom, a Haskell DSL for designing hard realtime embedded software? Look also here.
Another topic was GPU-Programming. Those interested in accelerating their code with CUDA-capable NVIDIA GPUs can find some inspiration with accelerate.
Finally, Philipp recommended a link to Fun with type functions. Thanks!
Thu, 28 June 2012 Maybe due to the simultaneous football match, this time only six persons were present. Nevertheless, it was really nice at Max Emanuel Brauerei and we easily found a good table.
Once again, some good links were sent. Thanks to Kai for the link to the Z3 Theorem Proofer. He used it for his academic research to do type checking. He also provided a link to Opa which is an affectionate way in German to say grandfather. In fact, it's an statically typed application framework for JavaScript in which one can write frontend (client), backend (server), database and configuration code all in the same file. The compiler then boils it down to the appropriate structure.
For those who like it difficult, many thanks to Thomas, beause he he provided the link to Malbolge. If you are tired now from reading Malbolge code, because it's not function, then take a look at Unlambda. That should make you sleep well.
Last but not least, we want to mention HaL-7, a Haskell workshop in Halle. If you plan to go from Munich, contact me. We go by car early on Friday, 13th of July and maybe can give you a lift.
Mon, 28 May 2012 This time, we were nine persons, not all of which had a computer science background: We also had a typographer amongst us. We had to explain the ideas of functional programming from the scratch. Interestingly, this was quite a controversy!
Other talks ranged from high level programming to low level circuitry. First, we want to draw your attention to Clean. If you thought about programming a purly lazy functional language other than Haskell, you should definitly check it out. Mercury seems to draw its ideas more from the logic side of declarative programming. If you want to bridge the gap between functional and logic programming, maybe the Curry language is for you.
As to circuitry, two commercially failing processors were discussed: The Intel iAPX 432 and the Intel i860. Last, but not least, the SCHEME-79 Chip does not seem to have had more success.
Finally, if you want to go all the way from high level to low level, you might want to have a look at Lava which is a hardware description language embedded in Haskell.
Thanks to Thomas and Christian for sending all these links! We hope you will enjoy them!
One adminstrative point at the end: We decided to meet next time at Max Emanuel Brauerei. Please be aware of this change, if you plan to join next time.
Sat, 12 May 2012 Below you can see a picture of our hackathon which took place at LMU in Munich. Many thanks to Christian for organising the venue, as well as soft drinks and coffee. And of course, he took the picture!
The event was very nice and well received. A total of 16 persons was present. We started with a short introduction round at 10h30. Many thanks to Andreas who wrote a protocol listing participants and their respective activities! After that, we heard four talks. Topics were integer sequences, equation solver optimisation, Game Boy emulation with arrows, and the HyperLogLog algorithm.
After a sandwich break, we started hacking until 18h00, which was, alas, much to short! We concluded the day dining in a nearby restaurant. Many thanks to all who took part. For all those who could not take part this time, we think about renewing this event later this year. Also think about joining us in our regular get-togethers.
A picture from our hackathon
Thu, 26 April 2012 For our April meeting, 14 people registered, and around this number also showed up. Talk was first on our hackathon and a resolution was take on the programme.
This time again, some interesting links were sent. First, Marc sent links about the functional programming language Ur. Together with a special library, Ur seems well suitet for those wanting to create web applications. Marc also provided a link to Nixos, a Linux based OS, that comprises a purly functional package manager. It allows for upgrading a package without breakin another, rolling back a system, and multiple package versions on the same system.
Last, but not least, Andreas provided a link to Certified Programming with Dependent Types, a book by Adam Chlipala, which makes extensive use of the Coq proof assistent.
Wed, 28 March 2012 Nine persons were joining this meeting, amongst them some newcomers. When it took some time to update this page, this was, because a decision was taken to organise a hackathon. So, we are glad to announce, that a room has been found and that we can finally realise this idea!
Tue, 28 Feb 2012 During this meeting, five persons were present. The main discussion topic of this meeting were proof systems. Steven reported from the Agda Implementors Workshop and explained some of the ideas of dependent types in programming.
Christian provided a link to a Coq Tutorial. If you don't know the Coq proof assistant, you should certainly take a look. Finally, Markus send a link to a cool Haskell tool, namly Djinn, which returns a function definition for a given type.
For our next get-together, you are all invited again. Just check the page and click the I-will-join-Button some days before.
Mon, 30 Jan 2012 Nine persons attended our first meeting in 2012. This time again, it was nice to see newcomers next to already known people. We want to ecourage everyone to join once in a while!
Reinhard sent a link to the online encyclopedia of integer sequences (OEIS) for which he is doing spare time research. Specifying program:Haskell in the search form will result in a list of sequences for which Haskell definitions are given. Look for example at A205666 and A065306.
Also, there was talk about The Evolution of a Haskell programmer. Christian provided this link as well as many other links on the mailing list. Hopefully everyone will do their homework!
Finally, we want to call your attention to an Agda Implementors Workshop taking place near Munich. This information was provided by Andreas who organises this workshop. If you want to take part on a daily basis, this surly should still be possible.
Tue, 13 Dec 2011 This was our last meeting for 2011. Although, only nine persons participated in the exceptional doodle poll, at the end fourteen persons showed up at Cafe Puck. We were happy to have guests from far away: Berlin, Warsaw, Regensburg and Ulm... If you have the opportunity to travel to Munich, think about joining us! Meanwhile, we wish all of you a happy time.
There was some interest in BICC-Net, the Bavarian Information and Communication Technology Cluster, which is part of Cluster Offensive Bayern. As functional programmers, we should surely show more presence in these networks!
Tue, 29 Nov 2011 In this meeting, we have been eleven persons. Almost until midnight, it was a very long and joyous get-together. For the December meeting, we decided to doodle the date. Thanks to Christian for setting it up! Also, there were ideas about having a small hacking meeting one Saturday in the beginning of next year. Let's see what will become of this idea...
Wed, 26 Oct 2011 This meeting was a success. We have been around 14 persons. Although this was our second meeting, our host from Cafe Puck assured that he had seen us already four times and that we never did reserve enough tables...
Pavlo shared with us his emacs mode hasktags-emacs for navigating through haskell code. It needs some polishing, but can already be used in everyday work. Feel free to fork it, change it and post a pull request.
Thu, 29 Sept 2011 First meeting at Cafe Puck, around 12 persons were present. It was decided to set up this web page and try to continue the meetings on a monthly basis.