Beginning of June 2018, the Zürich Friends of Haskell association will organize ZuriHac 2018, a three day Haskell Hackathon hosted at the HSR Hochschule für Technik Rapperswil. This is the seventh Haskell Hackathon organized in Zürich and and the second one which is hosted at the HSR. A fantastic venue located right at lake Zürich and providing space for 400 participants.
The Haskell Hackathon is a free (as in beer), international, grassroots collaborative coding festival whose goal is to expand the community and to build and improve Haskell libraries, tools, and infrastructure.
This is a great opportunity to learn more about Haskell, meet fellow Haskellers in real life, find new contributors for your project, improve existing libraries and tools or even start new ones!
This event is open to any experience level, from beginners to gurus. In fact, one of the goals is to bring beginners in contact with experts so that the former can get a quick start in the Haskell community. This year, we will have a dedicated beginners' course, and there will be mentors on site whom you can directly approach during the whole event with any Haskell-related question you have.
Niki Vazou is a post-doc scholar at PLUM of University of Maryland
, focusing mostly on refinement types, static program verification, and type systems. She is the author of Liquid Haskell
, a type system extension to GHC that lets you add sophisticated predicates to type signatures.
Stephen is a Haskell developer, entrepreneur, and financial systems architect from Boston. His open source work is around numerical computing, compilers, security, and improving Haskell documentation. Author of the amazing What I Wish I Knew When Learning Haskell
Prolific Haskell programmer, mathematician, lapsed graphics guru and demo scener, defense contractor, financial toolsmith, author of the widely-known lens
Post-doc researcher at the University of Pennsylvania and one of the core contributors to the Glasgow Haskell Compiler. Author of The Incredible Proof Machine
and not afraid to try funky ideas
All talks and keynotes take place in the aula (building 4). Lunch is served in the mensa (building 4). Pizza and BBQ will be consumed outside (in front of building 1).
11:00 – 12:00
15:00 – 18:00
15:00 – 18:00
15:00 – 16:00
Lunch coupons are sold during registration. A coupon costs CHF 30 and includes lunch for three days. Vegetarian options are available during every lunch. Of course, you are always free to go to nearby restaurants and/or supermarkets, like the past years.
The exact menu will be announced here before the event.
On Friday evening, a mobile pizzeria will visit the venue. Pizzas will cost around CHF 15.
On Saturday evening, there is a bring-your-own meat BBQ. Meat (or vegetarian/vegan alternatives) can be obtained from nearby supermarkets.
C++ Standardisation Committee
The HSR is also hosting the spring session of the C++ standardisation committee from 04.06.2018 - 09.06.2018. In order to promote the cross-fertilisation of ideas between the two communities, the attendees of the C++ standardisation committee meeting will be welcome to attend the ZuriHac2018 keynote speeches and the Pizza dinner on Friday 08.06.2017. In turn, ZuriHac2018 attendees are welcome to take a peek at the meetings of the C++ standardisation committee. For more information on the C++ standardisation committee meeting, please refer to this link. In case you plan on attending a session, please send a short email to Peter Sommerlad (peter.sommerlad at hsr.ch).
In between the talks you can join one of these projects and help the maintainers out with bug fixes or new features. We have plenty of space available in 10 separate rooms where you can team up with your peers and work on your favourite project.
To submit your project, please open a pull request.
eqsat is a Haskell library for equality saturation-based superoptimization of arbitrary referentially-transparent languages, with a focus on performance. Equality saturation is a method of optimization based on automated theorem proving (congruence closure) in propositional equational logic.
Bas van Dijk
opencv is a Haskell library providing a binding to the OpenCV-3.x C++ library. It binds directly with the C++ API using the inline-c Haskell library.
Learn how to use Frege (a Haskell to JVM compiler) in your Java projects, incl. type-safe interaction with Java libraries.
arithmoi is a Haskell library for number theory: modular arithmetic, primes, elliptic curves, etc. It is also an excellent tool for Project Euler.
massiv is a Haskell library for manipulating multi-dimensional Arrays. It features fusion, stencils and parallel computation.
A native gRPC client for Haskell. Needs some updating to a more recent proto-lens, helpers, and some CI-runnable examples.
Leon Coto Rodriguez
WIP: A clone of Ravensburger's Labyrinth.
Jinja2-style HTML template engine
Secure Haskell Programming with LiquidHaskell
Let's dig into Haskell code (libraries, apps or yours) and have a look at how we can prove termination and correct behaviour with LiquidHaskell. Beyond 'head', there are a lot of pitfalls. A vivid discussion and hands-on coding is envisaged.
A Haskell kernel for Jupyter notebooks
Common Architecture for Building Applications and Libraries
Binary dependency cache specialized for macOS/tvOS/watchOS/iOS
The game in which you can change the rules!
We have developed a cryptographic protocol that allows a network of computers to reach a consensus on a stream of random values. A probabilistic mechanism for leader ranking is applied to these random values, which drives the production of blocks for a public blockchain.
Generate Nix build instructions from a Stack file
CLI tool which helps you to synchronize dotfiles repositories
Haskell Project Project
Are you curious about doing Haskell, but not sure where to start? This is a Haskell project that is designed to connect beginners, mentors, and ideas.
Pasqualino Titto Assini
Open, evolvable, consistent and efficient distributed systems
Self-driving news engine that would help to personalize user content.
Luka Horvat and Nikola Henezi
Database first database library with focus on: type safety, ease of use, flexibility and user friendly error messages
Differential Equation Solvers
Small project for different ODE solvers for haskell, in particular symplectic solvers.
The name GRIN is short for Graph Reduction Intermediate Notation, and it is an intermediate language for graph reduction. It can be used as a Haskell backend replacing STG.
Juan Carlos Saenz-Carrasco
Purely functional data structures
Since Okasaki's book and PhD thesis, few efforts have been done towards the design and analysis of purely data structures, specifically the field of dynamic environment
Haskell compiler infastructure for WebAssembly
It's an abstraction for a File System build with Free. Attendees will write interpreters for storages of their choice (like HDFS, Elasticsearch, PostgreSQL). At the end of hackhaton we will get a nice website that allows you to connect (mount) to specific storage, list, write and read its content
The plain text accounting tool of the future
Building music types
Modeling compositional forms (pitch &/or rhythm) using algebraic data types
A native linear algebra library with multiple backends
Pandoc is a free and open-source software document converter written in Haskell
just-add-water session types for safe and easy protocols and state machines
Motor is an experimental Haskell library for building finite-state machines with type-safe transitions and effects. It draws inspiration from the Idris ST library. I'd be interested in working with others on this, exploring the design space further.
Game agent for vindinium.org on-line AI competition
A debugging toolkit for Haskell
Strongly-typed multidimensional numerical data and operations
Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.
CodingBat like website for exercising Haskell.
Phil de Joux
Scoring for Free Flight Competition
We will informally hack on various tooling on llvm-hs toolchain and related projects.
Non-Turing-complete configuration language
Distributed Algorithms Framework
It's all in the homepage :)
We want to make the event accessible to Haskellers at all levels, which is why we will have dedicated mentors, and an introductory course by Julie Moronuki. and beginner-level Haskell exercises.
You can identify mentors from the black Zurihac shirt. They welcome any questions you may have, so please grab them if you have any issues or questions.
Julie Moronuki, the author of both Haskell Programming from first principles and The Joy of Haskell, has kindly agreed to teach a beginners course for people who are just getting started with Haskell. This beginner track will run on Friday and Saturday afternoon and will not conflict with any keynotes.
In case you are interested in the beginners track, we kindly ask you to fill in this very short poll so we have a better idea of how many people will attend the track and what the level of the audience is.
GHC DevOps track
It's hard to overstate how important GHC is to the Haskell ecosystem. That's why we are extremely proud that we will have a special GHC DevOps track at ZuriHac 2018.
This track is all about getting new contributors into GHC's code and the surrounding tooling. You do not need to bring any experience in working on GHC, we will introduce you to it and show that working on GHC is not as hard as you might expect.
Some GHC contributors will be present to help you find your way around the projects, and there will be hacking sessions to improve the tooling in particular.
Long-time GHC contributor Manuel Chakravarty will be present, and we'll have a few talks about GHC internals.
If you are interested, then please consider filling out this poll to help the track organizers prepare.
This year the hackathon takes place at the HSR Hochschule für Technik Rapperswil. The location is about 40 minutes outside of the Zurich city.
We'll have plenty of space available to us: One large auditorium with enough seats for all the participants, 10 separate rooms for up to 28 people each, and a large open space.
HSR Hochschule für Technik Rapperswil
The venue is located right next to the lake, and weather is predicted to be superb (25°C, 77℉), so feel free to bring your swimming gear.
You can take the S7 or S15 to get from the Zurich main station to Rapperswil. These trains run regularly in 30 minute and 60 minute intervals, respectively.
If you arrive at the Zurich airport, first take the train to the Zurich main station and then continue with S7 or S15. Trains from the airport towards the city run every few minutes.
Tickets: If you stay in Zurich city, get a day pass for all zones. It's good for all public transportation around Zurich, up to Rapperswil. A one-way ticket costs 17.20CHF, the day pass 34.40CHF. If you want to stay closer to the venue and save on transportation, please see the section further below with accomodation suggestions around Rapperswil.
See this map for more information on accomodation, grocery stores, and other useful places.
RegistrationTo the registration form
Once we reach maximum capacity you will be queued into a wait list. In case that somebody cancels we will fill up the seats from the wait list in first come first serve order and let you know. Do not book anything before we have confirmed a seat for you (in a confirmation email) though. Confirmation emails are sent out in batches and this is a manual process, so expect some delay there.
Who are we?
Organizing ZuriHac would not be possible without the help of all volunteers involved.
- Main Organizers: Jasper Van der Jeugt, Farhad Mehta, Simon Meier
- Beginner Track: Nicolas Gagliani, Martin Huschenbett
- GHC DevOps Track: Andreas Herrmann, Niklas Hambüchen
- Website: Tomas Carnecky
- T-Shirts: Carl Baatz
- Sponsoring: Arvin Moezzi, Ivan Kristo
- Statistics: Gleb Peregud
- Scala Community Liaison: Mario Pastorelli
- HSR Location and Facilities: Ingrid Vettiger, Farhad Mehta
- Food and Beverages: Niklas Hambüchen
Terms and Conditions
Each participant will retain ownership of any and all intellectual and industrial property rights to his or her work created or used during the Hackathon.