Search
61 results for “zurihac”
-
To those who could not attend #ZuriHac 2025, we salute you!
The videos of this year's talks are now available https://discourse.haskell.org/t/zurihac-2025-videos-online/12430
-
#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 🤷🤷
-
Found a 9 hole biblically accurate outlet and although I assumed before they were all the same phase, now wondering if it's a fancy three phase connector
-
Ah the drunk discussions of effect systems part of #ZuriHac
-
Panel discussion about Haskell in Industry this afternoon!
-
The outlets in this #ZuriHac auditorium are apparently 3-phase 440v, downwards compatible to work with my 230v phone charger. It makes sense but I've not seen it before.
-
I went to try acme-smuggler on MicroHs.
It doesn't compile, though:
Cannot satisfy constraint: (Exception Dynamic)
fully qualified: (Control.Exception.Internal.Exception Data.Dynamic.Dynamic) -
It's that time of the year! Flora is at #ZuriHac, and we just released version 1.0.26, with customisable package feeds! This is the foundation for receiving all kind of alerts regarding packages you follow: https://github.com/flora-pm/flora-server/releases/tag/v1.0.26
-
-
all booked for #zurihac in Zurich near the start of june. time to re-engage haskell-brain (the best i can offer is ramblings about implementing pickle in idris2)
-
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! -
Registrations for #ZuriHac are open!
-
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
-
@tfb Oh, yeah. That is something I learned at #Zurihac this year.
I asked (a very smart persons whose name I am not sure of right now) whether TemplateHaskell and dependent types are redundant. And he said, that people always think that but the opposite is true:
Staged metaprogramming and dependent types do very different things but are actually only really nice if you have them both together.
-
-
"Well-Typed at ZuriHac 2025"
https://well-typed.com/blog/2025/08/zurihac-well-typed-2025/
-
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
-
Ĉu iuj #Esperantistoj partoprenos #ZuriHac ĉi-jare?
-
Catch #FSF Zoë Kooyman speaking at #ZuriHac 2025 Monday, June 9, 2025 starting at 11:15 CEST (13:15 UTC). More info here: https://u.fsf.org/479 #FreeSoftware
-
-
This year I went to my first ZuriHac and gave a lecture titled "Programming and Proving in Agda". It was a introduction to the basics of Agda, dependent types, indexed datatypes, the Curry-Howard correspondence, and equational reasoning for people familiar with Haskell.
You can now watch it in full at youtube.com/watch?v=AVRsH_YH7XU (full playlist with the other talks: youtube.com/playlist?list=PLOvRW_utVPVkQvYyluvXK4rpRMirb--M1). You can also find the lecture notes that I used as a base at github.com/jespercockx/agda-lecture-notes/blob/master/agda.pdf.
I had a lot of fun giving this presentation and got a lot of really interesting questions. Thanks to the organizers for inviting me, and I hope to make it to ZuriHac again in the future!
#Agda #Haskell #ZuriHac -
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!