Meeting Dates
The meetings begin at 19h30, German time. Usual venue is Augustiner-Gaststätte Rumpler. 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 Tue, 29 Oct 2024. We'll meet at Khana Khazana, Theresienstr. 54. Please sign up here if you are coming so we can reserve enough seats.
Upcoming Meetings (computed using Haskell of course)
| Tue, 29 Oct 2024 | Meeting at Khana Khazana. |
| Wed, 27 Nov 2024 | Meeting at undefined. |
Past Meetings
| Mon, 30 Sep 2024 | Meeting at Augustiner-Gaststätte Rumpler. Cancelled. |
| Thu, 29 Aug 2024 | Meeting at Song's Kitchen, Schleißheimer Str. 5. 3 people attended. |
| Wed, 31 Jul 2024 | Meeting at Augustiner-Gaststätte Rumpler. 5 people attended. |
| Tue, 25 Jun 2024 | Meeting at Hirschgarten Biergarten. 6 people attended. |
| Mon, 27 May 2024 | Meeting at Meeting at Augustiner-Gaststätte Rumpler. 4 people attended. |
| Meeting at Augustiner-Gaststätte Rumpler. 6 people attended. | |
| Wed, 27 Mar 2024 | Meeting at |
| Tue, 27 Feb 2024 | Meeting at Chaos Computer Club München. 9 people attended. There was a talk by Profpatsch about how to set up a professional Haskell project, tips for editor environment, basic architecture, dos and don'ts. |
| Mon, 29 Jan 2024 | Meeting at Chaos Computer Club München / Trattoria Porto Cervo. 12 people attended. This time we had a talk: Thomas C. told us about the programming language F#. Slides. |
| Wed, 3 Jan 2024 | Special holiday meeting at Song's Kitchen. 7 people attended. |
| Wed, 29 Nov 2023 | Meeting at Khana Khazana. 6 people attended. |
| Tue, 31 Oct 2023 | Meeting at Iveria. 4 people attended. |
| Mon, 25 Sep 2023 | Cancelled. |
| Wed, 30 Aug 2023 | Meeting at Augustiner Kurgarten. 5 people attended. |
| Wed, 26 Jul 2023 | Cancelled. |
| Tue, 27 Jun 2023 | Meeting at Augustiner-Gaststätte Rumpler. 5 people attended. |
| Mon, 29 May 2023 | Meeting at Hirschgarten Biergarten. |
| Thu, 27 Apr 2023 | Cancelled. |
| Wed, 29 Mar 2023 | Meeting at Augustiner-Gaststätte Rumpler. 5 people attended. |
| Tue, 28 Feb 2023 | Meeting at Augustiner-Gaststätte Rumpler. 7 people attended. We talked about Judo, build systems, hiring questions, lazyness, and many other things. |
| Mon, 30 Jan 2023 | Meeting at Augustiner-Gaststätte Rumpler. 5 people attended. |
| Wed, 4 Jan 2023 | Special holiday meeting at Augustiner-Gaststätte Rumpler. 6 people attended. |
| Wed, 30 Nov 2022 | Meeting at Cafe Puck. 6 people attended. We talked about build systems, Mastodon, Game of Life, and many other things. |
| Tue, 25 Oct 2022 | Cancelled. |
| Thu, 29 Sep 2022 | Meeting at Cafe Puck. 5 people attended. We talked about laziness, pure mathematics, the Lean theorem prover, Rank-N types, Chess and many other things. |
| Thu, 25 Aug 2022 | Meeting at Biergarten am Wiener Platz. 2 people attended. |
| Meeting at Hirschgarten Biergarten. 5 people attended. | |
| Tue, 28 Jun 2022 | Meeting at |
| Mon, 30 May 2022 | Cancelled. |
| Thu, 28 Apr 2022 | |
| Wed, 30 Mar 2022 | Meeting at Augustiner-Gaststätte Rumpler. 2 people attended. |
| Tue, 22 Feb 2022 | Virtual Meeting on Jitsi. 3 people attended. |
| Mon, 31 Jan 2022 | Virtual Meeting on Jitsi. 7 people attended. We talked about ultrafinitism, shell scripting in haskell, Wordle, GHC 9, and many other things. |
| Wed, 24 Nov 2021 | Skipped. |
| Tue, 26 Oct 2021 | Meeting at Augustiner-Gaststätte Rumpler. 4 people attended. |
| Mon, 27 Sep 2021 | Meeting at Augustiner-Gaststätte Rumpler. 6 people attended. We talked about finding hardware bugs, array languages, propagators, and many other things. |
| Thu, 26 Aug 2021 | Virtual Meeting on Jitsi. 2 people attended. |
| Wed, 28 Jul 2021 | Virtual Meeting on Jitsi. 3 people attended. We talked about microcontrollers, e-graphs, Prolog, FRP, and OCaml. |
| Tue, 29 Jun 2021 | Virtual Meeting on Jitsi. 4 people attended. We talked about preregistration of research, hode, conspiracy theories, Agora, Semantic Synchrony, the foldl library, RPN, and many other things. |
| Mon, 31 May 2021 | Virtual Meeting on Google Meet. 5 people attended. We talked about the field with one element, Neuroeconomics, paper reviewers, IHP, Modal Homotopy Type Theory, intuitionistic logic and computation, categorical logic, Solomonoff's theory of inductive inference, and higher order compression. |
| Thu, 29 Apr 2021 | Virtual Meeting on Google Meet. 5 people attended. We talked about ultrafinitism, homotopy type theory, Top arXiv papers and Augmenting Long-term Memory. |
| Wed, 31 Mar 2021 | Virtual Meeting on Google Meet. 5 people attended. We talked about automated theorem provers, academic publishing, theories of consciousness, machine learning, and books on type theory. |
| Tue, 23 Feb 2021 | Virtual Meeting on Google Meet. 6 people attended. We talked about data encoded in Pi, GHC 9.0.1 and linear logic, dependent pattern matching, the GHC2021 standard, and the Lawvere programming language. |
| Mon, 25 Jan 2021 | Virtual Meeting on Google Meet. 4 people attended. We talked about the Yoneda lemma, Scheme implementations, and how debugging works. |
| Wed, 25 Nov 2020 | Virtual Meeting on Google Meet. 4 people attended. We talked about spreadsheets, errors in data pipelines, and beables and the thermal interpretation of quantum mechanics. |
| Skipped. | |
| Mon, 28 Sep 2020 | Virtual Meeting on Google Meet. 5 people attended. Papers discussed. |
| Thu, 27 Aug 2020 | Meeting at Hirschgarten. 4 people attended. |
| Wed, 29 Jul 2020 | Meeting at Hirschgarten. 5 people and 1 shark attended. We talked about learning languages, exception handling and implementation, and the book "The Little Typer" and many other things. |
| Tue, 30 Jun 2020 | Virtual Meeting on Google Meet. 3 people attended. We talked about quantum mechanics, termination with well-orders, nonograms, and many other things. |
| Mon, 25 May 2020 | Virtual Meeting on Google Meet. 8 people attended. We talked about type inference for JSON, Chalmers Online Functional Programming Seminar Series, wine tasting, Idris2, impredicative type systems, large-scale build systems, Pandoc, and many other things. |
| Thu, 30 Apr 2020 | Virtual Meeting on Google Meet. 9 people attended. We talked about ReasonML, the proof assistant Arend, concepts of error handling, Mercurial, property based testing, the judicial system of the Vatican, and many other things. |
| Wed, 25 Mar 2020 | Virtual Meeting on Google Meet. 10 people attended! We talked about Corona virus testing, airport optimization, the VSCode Haskero plugin, beer brewing, generics-sop and Typed Template Haskell, structured markup, and monads as monoids in the category of endofunctors. |
| Tue, 25 Feb 2020 | Meeting at Augustiner-Gaststätte Rumpler. 7 people attended, of which 2 had Kässpatzen. We talked about Lisp in the industry, everything about satellites, New Math, semiconductors, and many other things. |
| Mon, 27 Jan 2020 | Meeting at Augustiner-Gaststätte Rumpler. 4 people attended. We talked about the Girls Day, display calculus, and blockchains. |
| Mon, 06 Jan 2020 | Special holiday meeting at Augustiner-Gaststätte Rumpler. 8 people attended, of which 2 had Kässpatzen. We talked about Simple Haskell, Turbo Pascal overlays, testing, vaccination, and many other things. |
| Wed, 27 Nov 2019 | Meeting at Café Puck. 9 people attended. We talked about Accidentally Quadratic, 2d pattern matching, Pijul, Floyd's Tortoise and Hare, linkers, concurrency in Ada, and 3d photography. |
| Tue, 29 Oct 2019 | Meeting at Augustiner-Gaststätte Rumpler. 5 people attended, of which 3 had Kässpatzen. We talked about data formats, Pandoc, React, and quantum computing. |
| Mon, 30 Sep 2019 | Meeting at Augustiner-Gaststätte Rumpler. 4 people attended. We talked about Spark and Flink, taxes, loop detection in Haskell datastructures, and Zettelkästen. |
| Thu, 29 Aug 2019 | Meeting at Augustiner-Gaststätte Rumpler. 9 people attended, of which 5 had Kässpatzen. We talked about Comics, the GraalVM, the Tagless-Final Style, and F#. |
| Wed, 31 Jul 2019 | Meeting at Augustiner-Gaststätte Rumpler. 8 people attended. We talked about David Spivak's work on Category Theory and Databases, the C language, technology in Europe, Applied Category Theory, and Quantum Computing. |
| Tue, 25 Jun 2019 | Meeting at Hirschgarten (self-service area). 7 people attended. We talked about finding jobs, model checking, compiler complexity, the RAMBleed attack, and semigroup instances of Map. |
| Mon, 27 May 2019 | Meeting at Augustiner-Gaststätte Rumpler. 7 people attended. We talked about stereograms, category theory for teaching, and voting systems. |
| Thu, 25 Apr 2019 | Meeting at Cafe Puck. |
| Wed, 27 Mar 2019 | Meeting at Augustiner-Gaststätte Rumpler. 6 people attended. We talked about satellites, trams, complexity classes, Git and queuing theory. |
| Tue, 26 Feb 2019 | Meeting at Augustiner-Gaststätte Rumpler. 9 people attended. We talked about Artificial Intelligence, integrity in science, Microservices, the Docker monad and random number generators. |
| Mon, 28 Jan 2019 | Meeting at Cafe Puck. 7 people attended. We talked about functional programming in Java, Tidalwave, and the Julia programming language. |
| Thu, 3 Jan 2019 | Special holiday meeting at Rumpler. 7 people attended. |
| Wed, 28 Nov 2018 | Meeting at Cafe Puck. 9 people attended. We talked about machine learning, probabilistic programming, line breaking algorithms, rolling hash sums, and telephony systems. |
| Tue, 30 Oct 2018 | Meeting at Augustiner-Gaststätte Rumpler. 7 people attended. We talked about the JVM and languages on it, the book "The Little Typer", Linux distributions, TypeScript, and sleeping. |
| Mon, 24 Sep 2018 | Meeting at Cafe Puck. 7 people attended. |
| Thu, 30 Aug 2018 | Meeting at Cafe Puck. 4 people attended. We talked about the Haskell School of Music, adjoints, array indexing, proof of stake systems, and async/await. |
| Wed, 25 Jul 2018 | Meeting at Max Emanuel Brauerei. 11 people atteded. We took the Haskell exam of one of our members (most passed!), talked about model theory and card game mechanics, and many other things. |
| Tue, 26 Jun 2018 | Meeting at Cafe Puck. 7 people attended. We talked about ordinals, using blockchain for supply tracking, Prolog implementations, and Agile development. |
| Mon, 28 May 2018 | Meeting at Hirschgarten (self-service area). 6 people attended. |
| Thu, 26 Apr 2018 | Meeting at Augustiner-Gaststätte Rumpler (Baumstraße 21). 3 people attended. We talked about C++, list comprehensions, Prolog, Lies in mathematics and the Chinese Remainder Theorem. |
| 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, haskell.bayern, so this site is now reachable at http://muenchen.haskell.bayern/. 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! |
| 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... |
| 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. |
| 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. |