Personal tools

ZuriHac2014

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Schedule Edward's talk on Friday)
(Added Simon's slides)
 
(42 intermediate revisions by 6 users not shown)
Line 13: Line 13:
 
|}
 
|}
 
----
 
----
  +
  +
<big>[https://plus.google.com/102706224462419462508/posts/D6eS2LuEXZt Pictures of ZuriHac 2014]</big>
   
 
<big>Talks from:<br>[[File:Simon_Marlow.jpg|50px]] [http://community.haskell.org/~simonmar/ Simon Marlow] & [[File:Edward_Kmett.jpg|50px]] [https://github.com/ekmett Edward Kmett]!</big>
 
<big>Talks from:<br>[[File:Simon_Marlow.jpg|50px]] [http://community.haskell.org/~simonmar/ Simon Marlow] & [[File:Edward_Kmett.jpg|50px]] [https://github.com/ekmett Edward Kmett]!</big>
   
 
'''Important:'''<br>
 
'''Important:'''<br>
We are very close to capacity so register soon! After we reach our limit new registrations will be put on a waiting list. Thank you for your understanding.
+
ZuriHac has reached capacity. Registration is now closed. Thank you for your understanding.
   
 
'''Important:'''<br>
 
'''Important:'''<br>
Line 26: Line 28:
 
== About ==
 
== About ==
   
On the first weekend of June 2014 the Zurich HaskellerZ Meetup group will organize ZuriHac 2014, a three day Haskell Hackathon hosted at the Erudify offices. This is the third Haskell Hackathon in Zurich. The previous two were [[ZuriHac2013]] and [[ZuriHac2010]].
+
On the first weekend of June 2014 the Zurich HaskellerZ Meetup group will organize ZuriHac 2014, a three day Haskell Hackathon hosted at the Better offices. This is the third Haskell Hackathon in Zurich. The previous two were [[ZuriHac2013]] and [[ZuriHac2010]].
   
 
The Haskell Hackathon is an international, grassroots collaborative coding festival with a simple focus: build and improve Haskell libraries, tools, and infrastructure.
 
The Haskell Hackathon is an international, grassroots collaborative coding festival with a simple focus: build and improve Haskell libraries, tools, and infrastructure.
Line 40: Line 42:
 
[[File:better.png|300px]]
 
[[File:better.png|300px]]
   
[http://www.better.com Better] (formerly known as Erudify) will host the Hackathon.
+
[http://better.com Better] (formerly known as Erudify) will host the Hackathon.
   
 
[[File:Google.png|230px]]
 
[[File:Google.png|230px]]
Line 53: Line 55:
 
;22 January 2014
 
;22 January 2014
 
:Opened [http://bit.ly/ZuriHac2014 registration]
 
:Opened [http://bit.ly/ZuriHac2014 registration]
  +
  +
;28 April 2014
  +
:Reached capacity. Registration is now closed.
   
 
== Registration ==
 
== Registration ==
  +
ZuriHac has reached capacity so the registration has been closed. Thank you for your understanding.
   
'''Important:'''<br>
+
== Attendees ==
We are very close to capacity so register soon! After we reach our limit new registrations will be put on a waiting list. Thank you for your understanding.
+
See [[/Attendees|the list of people]] who have signed up for ZuriHac 2014.
 
To register please fill in [http://bit.ly/ZuriHac2014 this form]
 
   
 
== Location ==
 
== Location ==
Line 81: Line 87:
   
 
You can buy tickets from [http://www.zvv.ch/en/tickets/automatic-ticket-machine/index.html the ticket machines].
 
You can buy tickets from [http://www.zvv.ch/en/tickets/automatic-ticket-machine/index.html the ticket machines].
  +
  +
== Accommodation ==
  +
  +
We recommend the following accommodation options:
  +
  +
* http://www.langstars.com/en/ Youthhostel, CHF 50 per night.
  +
  +
* https://www.airbnb.com/ Airbnb, variable.
  +
  +
* Hotel Neufeld, http://www.hotel-neufeld.ch/.
   
 
== Schedule ==
 
== Schedule ==
   
 
=== Friday ===
 
=== Friday ===
 
Talk by Edward Kmett.
 
   
 
Hacking hours: 10:00 to 18:00.
 
Hacking hours: 10:00 to 18:00.
Line 93: Line 107:
   
 
Please come before '''11:00'''. At 11:00 there will be projects introduction and discussion.
 
Please come before '''11:00'''. At 11:00 there will be projects introduction and discussion.
  +
  +
==== Talk by Edward Kmett ====
  +
  +
Title: Functionally Oblivious and Succinct ([https://github.com/meiersi/HaskellerZ/blob/master/meetups/20140606-ZuriHac_Edward_Kmett-Functionally_Oblivious/Functionally%20Oblivious.pdf?raw=true Slides])
  +
  +
Time: 17:00
  +
  +
Abstract:
  +
This talk provides a whirlwind tour of some new types of functional data structures and their applications.
  +
  +
Cache-oblivious algorithms let us perform optimally for all cache levels in your system at the same time by optimizing for one cache for which we don't know the parameters. While Okasaki's "Purely Functional Data Structures" taught us how to reason about asymptotic performance in a lazy language like Haskell, reasoning about cache-oblivious algorithms requires some new techniques.
  +
  +
Succinct data structures let us work directly on near-optimally compressed data representations without decompressing.
  +
  +
How can we derive new functional data structures from these techniques? Applications include just diverse areas as speeding up a variant of Haskell's venerable Data.Map, handling "big data" on disk without tuning for hardware, and parsing JSON faster in less memory.
  +
  +
==== Haskell Katas ====
   
 
=== Saturday ===
 
=== Saturday ===
  +
  +
Doors open at 10:00.
  +
  +
==== Talk by Simon Marlow ====
  +
  +
Title: The Haxl project at Facebook (update) ([https://github.com/meiersi/HaskellerZ/blob/master/meetups/20140607-ZuriHac_Simon_Marlow-Haxl-Haskell-at-Facebook/Simon_Marlow-Haxl-Haskell-at-Facebook.pdf?raw=true Slides])
  +
  +
Time: 13:30
  +
  +
Abstract:
  +
The Haxl project aims to build a DSL in Haskell to be used by engineers at Facebook to write rules that catch spam and malware. The key idea is to use an Applicative/Monad abstraction that makes the use of external data efficient and concise, by automatically taking advantage of concurrency and opportunities for batching remote data requests.
  +
  +
At ZuriHac in August 2013 I gave a talk about Haxl when we had just started. Some 10 months later I'd like to talk about the progress we've made in pushing Haxl towards production use. There will be a lot of details and anecdotes in this talk about our experiences in replacing a large production system with a Haskell-based solution.
  +
  +
==== BBQ at Lake Zurich ====
  +
  +
On Saturday afternoon (17:00) we'll go BBQing at the lake.
  +
  +
The plan is that you buy your own food which you can then grill on the two BBQs we rented at the lake.
  +
  +
===== Shopping =====
  +
  +
We'll do a bit of load-balancing while buying the food by splitting into 4 groups that each go to a different shop. Bas will form the groups on Saturday afternoon and post the groups and shopping locations here.
  +
  +
===== Location =====
  +
  +
We'll meet at the fountain in the middle of the Blatterwiese park at the east coast of the lake:
  +
  +
[[File:Blatterwiese_Fountain.jpeg|400px]]
  +
  +
You can find the BBQ location on the [https://mapsengine.google.com/map/edit?mid=zvSr4yOfKWIQ.k0KI-gCF1DnU map].
  +
  +
===== Traveling =====
  +
  +
We recommend going by tram (Line 2) and getting of at the Fröhlichstrasse stop (this stop can also be found on the map).
   
 
=== Sunday ===
 
=== Sunday ===
Line 100: Line 166:
 
==== Demoday ====
 
==== Demoday ====
   
== Attendees ==
+
Room: 213
See [[/Attendees|the list of people]] who are already signed up for ZuriHac 2014.
+
  +
* Slot 1: 14:00 - 14:05 Greg Horn - parallel cabal install
  +
* Slot 2: 14:05 - 14:10 Martijn van Steenbergen - JsonGrammar
  +
* Slot 3: 14:10 - 14:15 Simon Hengel - [https://github.com/sol/reserve#reserve reserve]: Framework agnostic reloading of Haskell web applications
  +
* Slot 4: 14:15 - 14:20 Ian-Woo Kim - Hoodle
  +
* Slot 5: 14:20 - 14:25 Roman Cheplyaka - Better MTL
  +
* Slot 6: 14:25 - 14:30 Csaba Hruska & Mate Kovacs - LambdaCube and Stunts
  +
* Slot 7: 14:30 - 14:35 Duncan Coutts - Hackage
  +
* Slot 8: 14:35 - 14:40 Roel van Dijk - complexity
  +
* Slot 9: 14:40 - 14:45 Edward Kmett - Category theory through lens
  +
* Slot 10: 14:45 - 14:50 Corentin Dupont - Nomyx
  +
  +
==== Nomyx match ====
  +
  +
There will be a match in room 213 in Nomyx, a game where you can change the rules while playing: http://www.nomyx.net
   
 
== Projects ==
 
== Projects ==
Line 122: Line 188:
 
* Bas van Dijk (Better)
 
* Bas van Dijk (Better)
   
For any questions or emergencies, you can always call Bas ([[File:Bas_van_Dijk.png|50px]]) at +41 791 285 624.
+
For any questions or emergencies, you can always call Bas ([[File:Bas_van_Dijk.jpg|50px]]) at +41 791 285 624.
   
 
Or send an email to: <tt>zurihac@better.com</tt>
 
Or send an email to: <tt>zurihac@better.com</tt>

Latest revision as of 14:18, 12 June 2014

ZuriHac2014.png

When: Friday 6 June 2014 - Sunday 8 June 2014
Hours: 09:00 ~ 20:00
Where: Better (formerly known as Erudify), Zurich, Switzerland

Pictures of ZuriHac 2014

Talks from:
Simon Marlow.jpg Simon Marlow & Edward Kmett.jpg Edward Kmett!

Important:
ZuriHac has reached capacity. Registration is now closed. Thank you for your understanding.

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. There's an electronics shop Fust Center Eschenmoser very near our office where you can buy converters.

 

Contents

[edit] 1 About

On the first weekend of June 2014 the Zurich HaskellerZ Meetup group will organize ZuriHac 2014, a three day Haskell Hackathon hosted at the Better offices. This is the third Haskell Hackathon in Zurich. The previous two were ZuriHac2013 and ZuriHac2010.

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!

Note that this event is open to any experience level, from beginners to guru's. 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.

[edit] 2 Sponsors

Better.png

Better (formerly known as Erudify) will host the Hackathon.

Google.png

Google Switzerland is providing financial support

[edit] 3 News

17 November 2013
Added wiki page
22 January 2014
Opened registration
28 April 2014
Reached capacity. Registration is now closed.

[edit] 4 Registration

ZuriHac has reached capacity so the registration has been closed. Thank you for your understanding.

[edit] 5 Attendees

See the list of people who have signed up for ZuriHac 2014.

[edit] 6 Location

ZurichMontage.jpg

Zurich, Switzerland

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

[edit] 6.1 Getting around

Google map with important places

Local transport links:

http://www.zvv.ch/en/

A note on day tickets:

Day tickets in Zurich run for 24 hours and can be used on all forms of transport, bus, train, tram.

You can buy tickets from the ticket machines.

[edit] 7 Accommodation

We recommend the following accommodation options:

[edit] 8 Schedule

[edit] 8.1 Friday

Hacking hours: 10:00 to 18:00.

[edit] 8.1.1 Introduction

Please come before 11:00. At 11:00 there will be projects introduction and discussion.

[edit] 8.1.2 Talk by Edward Kmett

Title: Functionally Oblivious and Succinct (Slides)

Time: 17:00

Abstract: This talk provides a whirlwind tour of some new types of functional data structures and their applications.

Cache-oblivious algorithms let us perform optimally for all cache levels in your system at the same time by optimizing for one cache for which we don't know the parameters. While Okasaki's "Purely Functional Data Structures" taught us how to reason about asymptotic performance in a lazy language like Haskell, reasoning about cache-oblivious algorithms requires some new techniques.

Succinct data structures let us work directly on near-optimally compressed data representations without decompressing.

How can we derive new functional data structures from these techniques? Applications include just diverse areas as speeding up a variant of Haskell's venerable Data.Map, handling "big data" on disk without tuning for hardware, and parsing JSON faster in less memory.

[edit] 8.1.3 Haskell Katas

[edit] 8.2 Saturday

Doors open at 10:00.

[edit] 8.2.1 Talk by Simon Marlow

Title: The Haxl project at Facebook (update) (Slides)

Time: 13:30

Abstract: The Haxl project aims to build a DSL in Haskell to be used by engineers at Facebook to write rules that catch spam and malware. The key idea is to use an Applicative/Monad abstraction that makes the use of external data efficient and concise, by automatically taking advantage of concurrency and opportunities for batching remote data requests.

At ZuriHac in August 2013 I gave a talk about Haxl when we had just started. Some 10 months later I'd like to talk about the progress we've made in pushing Haxl towards production use. There will be a lot of details and anecdotes in this talk about our experiences in replacing a large production system with a Haskell-based solution.

[edit] 8.2.2 BBQ at Lake Zurich

On Saturday afternoon (17:00) we'll go BBQing at the lake.

The plan is that you buy your own food which you can then grill on the two BBQs we rented at the lake.

[edit] 8.2.2.1 Shopping

We'll do a bit of load-balancing while buying the food by splitting into 4 groups that each go to a different shop. Bas will form the groups on Saturday afternoon and post the groups and shopping locations here.

[edit] 8.2.2.2 Location

We'll meet at the fountain in the middle of the Blatterwiese park at the east coast of the lake:

Blatterwiese Fountain.jpeg

You can find the BBQ location on the map.

[edit] 8.2.2.3 Traveling

We recommend going by tram (Line 2) and getting of at the Fröhlichstrasse stop (this stop can also be found on the map).

[edit] 8.3 Sunday

[edit] 8.3.1 Demoday

Room: 213

  • Slot 1: 14:00 - 14:05 Greg Horn - parallel cabal install
  • Slot 2: 14:05 - 14:10 Martijn van Steenbergen - JsonGrammar
  • Slot 3: 14:10 - 14:15 Simon Hengel - reserve: Framework agnostic reloading of Haskell web applications
  • Slot 4: 14:15 - 14:20 Ian-Woo Kim - Hoodle
  • Slot 5: 14:20 - 14:25 Roman Cheplyaka - Better MTL
  • Slot 6: 14:25 - 14:30 Csaba Hruska & Mate Kovacs - LambdaCube and Stunts
  • Slot 7: 14:30 - 14:35 Duncan Coutts - Hackage
  • Slot 8: 14:35 - 14:40 Roel van Dijk - complexity
  • Slot 9: 14:40 - 14:45 Edward Kmett - Category theory through lens
  • Slot 10: 14:45 - 14:50 Corentin Dupont - Nomyx

[edit] 8.3.2 Nomyx match

There will be a match in room 213 in Nomyx, a game where you can change the rules while playing: http://www.nomyx.net

[edit] 9 Projects

See the projects page.

[edit] 10 IRC, Twitter

The main communication channel during the Hackathon will be our IRC channel: #zurihac at Freenode.

#zurihac is our Twitter/Google+ hashtag as well.

[edit] 11 Organizers

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

  • Johan Tibell (Google)
  • Alexander Bernauer (Google)
  • Nora Kasper (Better)
  • Thomas Schilling (Better)
  • Simon Meier (Better)
  • Dominic Small (Better)
  • Bas van Dijk (Better)

For any questions or emergencies, you can always call Bas (Bas van Dijk.jpg) at +41 791 285 624.

Or send an email to: zurihac@better.com