#zurihac2025 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #zurihac2025, aggregated by home.social.
-
Oh là là just dropped:
2.5 hour "Introduction To Category Theory"
by Richard Southwell
https://youtu.be/H32kyA4BMz4#categorytheory #haskell #ZuriHac #ZuriHac2025 #functionalprogramming
HT @zurihac
-
Turned my #zurihac2025 talk on #competitiveprogramming in #Haskell into an expanded blog post:
https://byorgey.github.io/blog/posts/2025/06/10/comprog-hs-intro.html
-
#zurihac2025 was a blast! Had fun hacking on Swarm and meeting collaborators in person for the first time, and I think my talk went well. Congrats to @Taneb for winning the ZuriHac Programming Contest, being the only contestant to solve all 5 problems in 30 minutes!
-
The third and (sadly) last day of ZuriHac 2025 is starting!
In 20 minutes, Brent Yorgey's talk will start in the aula - so don't miss it.
-
Unexpectedly learning Lean 🤷🤷
-
Panel discussion about Haskell in Industry this afternoon!
-
I will be teaching the #Nix track at #zurihac2025 🇨🇭 ⛰️
Looking forward to showing you all the best(TM) way to setup #Haskell packages with Nix 😎 Maybe we can even upstream some Haskell packages to #NixOS? 😆
I jumped in a bit on short notice and am still collecting ideas. So let me know what you would like to learn!
-
Greetings ZuriHackers!
Do you have a project you want to work on during ZuriHac? Now is a great time to get some contributors on board!
Do you not have a project yet? Then perhaps you want to have a look to get an idea about what others are working on!
Please find already registered projects at
https://zfoh.ch/zurihac2025/projects/ or submit a PR at https://github.com/zfoh/zfoh.ch/edit/main/content/zurihac2025/projects/projects.json! -
Registration for the ZuriHac 2025 is now open!
Who's excited for another 3 days of wonderful talks, catching up with friends, happy Haskell hacking, and lake swims?🔗 Click to register: https://zureg.zfoh.ch/register
🔗 Visit the website: https://zfoh.ch/zurihac2025/ -
🙋 Hello Haskell community!
Are you dreaming of hacking away during sunny days at the foot of the Alps together with hundreds of other Haskellers?
We are busy making this dream a reality for you!From this account, we will be posting upcoming information about next year's edition of ZuriHac.
So stay tuned and spread the word!
#ZuriHac #ZuriHac2024 #ZuriHac2025 #Haskell #functionalprogramming