ZuriHac2016

---

When:	Friday 22th of July 2016 - Sunday 24th of July 2016
Where:	Google, Zurich, Switzerland

---

Important:
Switzerland has its own power sockets. We can't provide converters for everybody so make sure to bring one along. Do note that the Europlug will fit in a Swiss power socket.

 

About

End of July 2016, the Zurich Haskell Meetup group will organize ZuriHac 2016, a three day Haskell Hackathon hosted at the Google offices. This is the fifth Haskell Hackathon in Zurich.

The Haskell Hackathon is an international, grassroots collaborative coding festival with a simple focus: build and improve Haskell libraries, tools, and infrastructure.

This is a great opportunity to meet your 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. We will have a dedicated beginners' track, and there are going to be mentors on site whom you can directly approach during the whole event with any Haskell-related question that might pop up.

Sponsors

Google Switzerland hosts the Hackathon.

Venue notice

Visitors are not allowed to take any photos in the venue. No distribution of any Google work-related information visible inside the building. Visitors should always have a visitor sticker visible. Guests can not be left unattended.

News

30th of April 16 at 12pm (UTC+2)

Registration is going to be opened

28th of April 16

Added wiki page

Registration

Unfortunately we have reached our maximum capacity. If you want to be queued into the wait list please still fill out this form. 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 second confirmation email) though.

Attendees

Here is the list of participants who have signed up for ZuriHac 2016 and have chosen their name to be listed there.

Location

Zurich, Switzerland

Here is a map with map with all important locations.

To learn more about the city, please see the Wikipedia and Wikitravel articles.

See here for public transport in the Zurich area.

A note on day tickets:

Day tickets in Zurich run for 24 hours and can be used on all forms of transport in zone 110 that is bus, train, tram or even ship.

If you arrive via airplane, please note that the airport is outside of the zone 110, which only covers the city of Zurich itself. So you need to upgrade your ticket to include for the time of your travel into the city (around 15 min) one additional zone.

You can buy tickets from the ticket machines.

Accommodation

We recommend the following accommodation options. Please note that although accommodations around Langstrasse tend to be cheap that area is usually very loud at night especially during weekends.

Schedule

	Friday	Saturday	Sunday
9am	doors open	doors open	doors open
10am	Welcome & Project Introduction	Edward Kmett, tba (Key Note)	Andres Löh, Generic (and type-level) programming with Generics-Sop (Key Note)
10:30am			Andrey Mokhov, Meet Hadrian: a new build system for GHC (Talk)
11am	Bas van Dijk, FP at LumiGuide (Key Note)
1pm		lunch	lunch
2pm	lunch
4pm			Project Presentation & Closing
5pm		David Luposchainsky, Low-level Haskell: an interactive tour through the STG (Talk)
5:30pm	Francesco Mazzoli, Parallelizing and distributing scientific software in Haskell (Talk)
6pm	Luka Rahne, CλaSH - Programming FPGA in Haskell(Talk)	Alexander Thiemann, Spock - Powerful Elegant Web Applications (Talk)
7pm	BBQ at lake (depends on weather, otherwise Sa)	BBQ at lake (depends on weather, otherwise Fr)

Talks

The links to the slides of the talks can be found on the HaskellerZ github page.

Alexander Thiemann

Title: Spock - Powerful Elegant Web Applications

Abstract: This talk will give an insight on web development using the Haskell web framework «Spock» ( https://www.spock.li ). It will give a short overview of the possibilities like type-safe routing, hyperlinks, sessions, database queries, templates and JSON parsing/generation and then we will also look at a technique to build a full stack application with Spock and GHCJS as used in production in TramCloud.

Andres Löh

Title: Generic (and type-level) programming with generics-sop

Abstract: Many Haskell functions can be defined for a large class of datatypes in a systematic way. Examples include structural equality and comparisons, all kind of (de)serialization functions (plain text, JSON, binary, etc.), traversal and access functions such as lenses and their various variants, functions for querying and updating databases and many more. For some built-in type classes, Haskell offers the "deriving" construct, but GHC also has a "generics" feature that allows users to define their own derivable classes, without having to resort to Template Haskell.

In this talk, I'm going to introduce "generics-sop", a library that supports such datatype-generic programming by means of a number of powerful, higher-order combinators that can be reused and composed in several ways. This approach makes use of several type-system extensions available for GHC, such as GADTs (in particular, for heterogeneous lists), data kinds, kind polymorphism, constraint kinds, and rank-n polymorphism. We will start from examples and see how we can define a few generic functions using generics-sop and then, as far as time permits, look more closely at how it all works.

Bas van Dijk

Title: Functional Programming at LumiGuide

Abstract: tba

David Luposchainsky

Title: Low-level Haskell: an interactive tour through the STG

Abstract: A (not yet officially published) STG implementation of mine shows stacks, heap and useful information to step through an STG program.

This gives valuable insights into GHC/Haskell's runtime behaviour: when does evaluation happen, why does my foldl(+)0 overflow, how is seq implemented, how does the memory layout look like?

In the talk, we look step-by-step at the evaluation of common small Haskell functions: generating Fibonaccis, sorting/filtering/reversing a list, doing integer arithmetic, summing up a list of numbers, and discuss the impact of the operations they consist of. Along the way, we'll gain a good understanding of how the STG works, and how Haskell functions map to it.

Edward Kmett

Title: tba

Abstract: tba

Francesco Mazzoli

Title: Parallelizing and distributing scientific software in Haskell

Abstract: Suppose you have a pure, CPU intensive function that you need to run on 10000 different inputs. This seems the dream task to parallelize in Haskell, but as it turns out it is not as easy as one might think. In this talk I'll describe what we needed to do to parallelize such an application on machines with as many as 18 cores, and further what we needed to do to distributed the same application across separate machines, on hundreds of cores.

Luka Rahne

Title: Clash - Programming FPGA in Haskell

Abstract: Clash is compiler and programming language, that transform Haskell like language into description of digital circuit aiming for both FPGA and ASIC. Tools from Haskell ecosystem including libraries and GHC features can be used to make reliable and efficient hardware. Basics of FPGA and digital circuits design will be presented and also how Clash can be used to describe, simulate and synthesize such circuits.

Projects

See the projects page.

Communication

If you have any questions before the event, please reach out to Alexander Bernauer <acopton@gmail.com>.

Before the event, and in particular during the event, you can find us and other participants on irc://freenode.net/#zurihac. In addition, feel free to post on Twitter and Google+ using the hashtag #ZuriHac2016.

Organizers

The events are organized in name of the Zurich Haskell meetup group by the following people:

• Gleb Peregud (Google)
• Alexander Bernauer (Digital Asset)
• Simon Meier (Digital Asset)
• Ivan Kristo (Google)
• Jasper Van der Jeugt (Luminal)
• Arvin Moezzi (Google)