The HaskellerZ meetup group has been around since 2011. After organising many meetups and events, in particular ZuriHac, which attracts people from all over the world, there was a need to formalise our group a bit more.
In the short term, this allows us to work together better with sponsors for ZuriHac. In the long term, however, we would like to guarantee the long-time success of a Zurich-based Haskell interest group, not dependent on one or two key volunteers.
The rules are set up so that we encourage non-monetary contributions (e.g. giving a talk). Of course, membership is optional and not required to attend any of our events.
For members, we ask a yearly contribution of either:
Occasionally, we reach out to our members with volunteering opportunities. Also, once a year we would send you an email to confirm and update the membership.
Thursday 28 May, 19:00
A hands-on, code-along introduction to Agda. We'll go over the basics using our Haskeller goggles, mostly focusing on interactive experimenting and proof development.
I will compare Agda and Coq, again mostly from practical, “UX” standpoint (though I'll say a few words about theoretical differences). And we'll do a bunch of toy examples, which will hopefully illuminate why functional programming has such a deep and intricate relationship with logic and proofs.
The main goal is to give a taste of these two incredible Proof Assistants, get our hands dirty, and for anyone who gets interested to have a pointer to further resources.
I wrote some installation instructions for those of you who'd want to follow along but don't have Agda or Coq set up yet. I also created a Docker image with everything configured properly. The image is a bit heavy (1GB compressed), but is probably the fastest way to get going, and is very easy to clean up afterwards. ;)
This will be an online event. We will be using Zoom for video conference and Slack for chat. The video will be recorded and uploaded to YouTube after the event.
Please join the ZuriHac Slack workspace using the following link and then join the #meetup channel. https://join.slack.com/t/zurihac/shared_invite/zt-edz4ubz9-V4ciNSVdd4YKi3i8eA9PIw
Please join the video conference using the following link. https://us02web.zoom.us/j/89219704744?pwd=aEpRMDR5VVh3Zi9PL2h0Vjh3YWtmdz09
Our main yearly event is the organisation of ZuriHac, a yearly Haskell Hackathon that attracts over 300 attendees. It is probably one of the oldest and definitely the largest Haskell Hackathon currently in existence.
The first ZuriHac was organised in 2010 at the Zürich Google office by Johan Tibell and Christophe Poucet. Currently, we are organising it at the Hochschule für Technik Rapperswil with the help of many Zürich Friends of Haskell members and volunteers.
We try to record all of our meetups and keynotes so Friends of Haskell who are not in the Zürich area can enjoy the content as well.
This playlist contains all our Haskell-related videos.
We have also collected the slides of the presentations in this repository. Unfortunately, the collection is currently incomplete.
Current board members of the Zürich Friends of Haskell association: