Difference between revisions of "ZuriHac2014"

From HaskellWiki
Jump to navigation Jump to search
(Adjusted Google Logo)
(Added Simon's slides)
(63 intermediate revisions by 6 users not shown)
Line 1: Line 1:
 
[[Image:ZuriHac2014.png|right]]
 
[[Image:ZuriHac2014.png|right]]
 
ZuriHac 2014:
 
   
 
----
 
----
Line 12: Line 10:
 
|-
 
|-
 
|Where:
 
|Where:
|Erudify, Zurich, Switzerland
+
|Better <small>(formerly known as Erudify)</small>, Zurich, Switzerland
 
|}
 
|}
 
----
 
----
  +
  +
<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>
  +
  +
'''Important:'''<br>
  +
ZuriHac has reached capacity. Registration is now closed. Thank you for your understanding.
   
 
'''Important:'''<br>
 
'''Important:'''<br>
Switzerland has [http://en.wikipedia.org/wiki/AC_power_plugs_and_sockets#Swiss_SEV_1011_.28Swiss_10.C2.A0A.2F250.C2.A0V.29.28Type_J.29 its own power sockets]. We can't provide converters for everybody so make sure to bring one along. Do note that the [http://en.wikipedia.org/wiki/AC_power_plugs_and_sockets#CEE_7.2F16_Europlug_.28Type_C.29 Europlug] will fit in a Swiss power socket. There's an electronics shop [https://maps.google.ch/maps?q=Fust+Center+Eschenmoser&hl=en&cid=6177809817081314569&gl=CH&t=m&z=16&iwloc=A Fust Center Eschenmoser] very near our office where you can buy converters.
+
Switzerland has [http://en.wikipedia.org/wiki/AC_power_plugs_and_sockets#Swiss_SEV_1011_.28Type_J.29 its own power sockets]. We can't provide converters for everybody so make sure to bring one along. Do note that the [http://en.wikipedia.org/wiki/AC_power_plugs_and_sockets#CEE_7.2F16_.22Europlug.22_.28Type_C.29 Europlug] will fit in a Swiss power socket. There's an electronics shop [https://maps.google.ch/maps?q=Fust+Center+Eschenmoser&hl=en&cid=6177809817081314569&gl=CH&t=m&z=16&iwloc=A Fust Center Eschenmoser] very near our office where you can buy converters.
   
 
&nbsp;
 
&nbsp;
Line 23: 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 30: Line 35:
 
find new contributors for your project, improve existing libraries and tools or
 
find new contributors for your project, improve existing libraries and tools or
 
even start new ones!
 
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.
   
 
== Sponsors ==
 
== Sponsors ==
http://www.erudify.com/assets/img/erudify-logo.png
 
   
  +
[[File:better.png|300px]]
[https://erudify.com Erudify] will host the Hackathon.
 
  +
  +
[http://better.com Better] (formerly known as Erudify) will host the Hackathon.
   
[[File:Google.png|300px]]
+
[[File:Google.png|230px]]
   
 
[http://www.google.com/about/jobs/locations/zurich/ Google Switzerland] is providing financial support
 
[http://www.google.com/about/jobs/locations/zurich/ Google Switzerland] is providing financial support
Line 44: Line 52:
 
;17 November 2013
 
;17 November 2013
 
:Added wiki page
 
:Added wiki page
  +
  +
;22 January 2014
  +
: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.
To register please fill in [http://bit.ly/ZuriHac2014 this form]
 
  +
  +
== Attendees ==
  +
See [[/Attendees|the list of people]] who have signed up for ZuriHac 2014.
   
 
== Location ==
 
== Location ==
Line 55: Line 72:
 
To learn more about the city, please see the [http://en.wikipedia.org/wiki/Zurich '''Wikipedia'''] and [http://wikitravel.org/en/Zurich '''Wikitravel'''] articles.
 
To learn more about the city, please see the [http://en.wikipedia.org/wiki/Zurich '''Wikipedia'''] and [http://wikitravel.org/en/Zurich '''Wikitravel'''] articles.
   
* ZuriHac will be hosted at the Erudify offices, [https://maps.google.ch/maps?q=Gr%C3%BCngasse+19,+Z%C3%BCrich&hl=en&ie=UTF8&ll=47.372947,8.525573&spn=0.008734,0.009559&sll=47.373386,8.524925&layer=c&cbp=13,222.55,,0,0.06&cbll=47.373504,8.525083&hnear=Gr%C3%BCngasse+19,+Kreis+4,+8004+Z%C3%BCrich&t=h&z=17&iwloc=A&panoid=vqb-ZHsYZ3d-SIhVYQeEoQ Grüngasse 19, Zürich].
+
* ZuriHac will be hosted at the Better offices, [https://maps.google.ch/maps?q=Gr%C3%BCngasse+19,+Z%C3%BCrich&hl=en&ie=UTF8&ll=47.372947,8.525573&spn=0.008734,0.009559&sll=47.373386,8.524925&layer=c&cbp=13,222.55,,0,0.06&cbll=47.373504,8.525083&hnear=Gr%C3%BCngasse+19,+Kreis+4,+8004+Z%C3%BCrich&t=h&z=17&iwloc=A&panoid=vqb-ZHsYZ3d-SIhVYQeEoQ Grüngasse 19, Zürich].
   
 
=== Getting around ===
 
=== Getting around ===
   
[https://maps.google.ch/maps/ms?msa=0&msid=215847268401510829939.0004decda4c3d2e76270f Google map with important places]
+
[https://mapsengine.google.com/map/edit?mid=zvSr4yOfKWIQ.k0KI-gCF1DnU Google map with important places]
   
 
Local transport links:
 
Local transport links:
   
 
http://www.zvv.ch/en/
 
http://www.zvv.ch/en/
 
'''Getting to the Zurich Youth Hostel from the Airport'''
 
 
Take any train that stops at Zurich Bahnhof Hardbrücke, transfer to the 33 Trolley bus going direction Morgental. Take 33 to Jugendherberge and you will see the Hostel.
 
   
 
'''A note on day tickets:'''
 
'''A note on day tickets:'''
Line 75: Line 88:
 
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].
   
== Schedule ==
+
== Accommodation ==
   
  +
We recommend the following accommodation options:
=== ZuriHac ===
 
  +
  +
* http://www.langstars.com/en/ Youthhostel, CHF 50 per night.
  +
  +
* https://www.airbnb.com/ Airbnb, variable.
  +
  +
* Hotel Neufeld, http://www.hotel-neufeld.ch/.
  +
  +
== Schedule ==
   
==== Friday ====
+
=== Friday ===
   
 
Hacking hours: 10:00 to 18:00.
 
Hacking hours: 10:00 to 18:00.
   
===== Introduction =====
+
==== Introduction ====
   
 
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.
   
==== Saturday ====
+
==== 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])
==== Sunday ====
 
   
  +
Time: 17:00
===== Demoday =====
 
   
  +
Abstract:
== Attendees ==
 
  +
This talk provides a whirlwind tour of some new types of functional data structures and their applications.
See [[/Attendees|the list of people]] who are attending the FP Afternoon / ZuriHac 2014.
 
  +
  +
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 ===
  +
  +
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 ===
  +
  +
==== 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 - [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 109: Line 196:
 
* Johan Tibell (Google)
 
* Johan Tibell (Google)
 
* Alexander Bernauer (Google)
 
* Alexander Bernauer (Google)
* Thomas Schilling (Erudify)
+
* Nora Kasper (Better)
* Simon Meier (Erudify)
+
* Thomas Schilling (Better)
* Dominic Small (Erudify)
+
* Simon Meier (Better)
* Bas van Dijk (Erudify)
+
* Dominic Small (Better)
  +
* Bas van Dijk (Better)
  +
  +
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>
For any questions or emergencies, you can always call Bas ([[File:Bas_van_Dijk.png|50px]]) at +41 791 285 624 or send an email to zurihac@erudify.com
 
   
 
[[Category:Community]]
 
[[Category:Community]]

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.

 

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.

Sponsors

Better.png

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

Google.png

Google Switzerland is providing financial support

News

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

Registration

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

Attendees

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

Location

ZurichMontage.jpg

Zurich, Switzerland

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

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.

Accommodation

We recommend the following accommodation options:

Schedule

Friday

Hacking hours: 10:00 to 18:00.

Introduction

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

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.

Haskell Katas

Saturday

Doors open at 10:00.

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.

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:

Blatterwiese Fountain.jpeg

You can find the BBQ location on the 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

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

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

See the projects page.

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.

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