Difference between revisions of "ZuriHac2016"
|Line 106:||Line 106:|
== Talks ==
== Talks ==
The links to the slides of the talks can be found on the [https://github.com/meiersi/HaskellerZ#2016-meetups '''HaskellerZ github page'''].
=== Alexander Thiemann ===
=== Alexander Thiemann ===
Revision as of 20:20, 19 July 2016
|When:||Friday 22th of July 2016 - Sunday 24th of July 2016|
|Where:||Google, Zurich, Switzerland|
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.
Google Switzerland hosts the Hackathon.
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.
- 30th of April 16 at 12pm (UTC+2)
- Registration is going to be opened
- 28th of April 16
- Added wiki page
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.
Here is the list of participants who have signed up for ZuriHac 2016 and have chosen their name to be listed there.
Here is a map with map with all important locations.
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.
|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)|
|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)|
The links to the slides of the talks can be found on the HaskellerZ github page.
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.
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
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.
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.
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.
See the projects page.
If you have any questions before the event, please reach out to Alexander Bernauer <email@example.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.
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)