#zurihac — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #zurihac, 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
-
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
-
Haskell Implementors Workshop to be co-located with ZuriHac in 2025.
-
Ĉu iuj #Esperantistoj partoprenos #ZuriHac ĉi-jare?