Search
41 results for “zurihac”
-
#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!
-
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
-
-
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?
-
-
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!
-
Haskell Implementors Workshop to be co-located with ZuriHac in 2025.
-
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
-
> be me
> idea: Restaurant w board games, when you order you get a recommended game to play based on expected time to have your order ready
> business is booming
> one day manager comes to me says boss there's a problem
> me: what, is the concept not working?
> no, it is, but ... most recommended board game is Risk
#shitpost -
Slides for my talk at #TYPES tomorrow are now up on my website (https://cxandru.ee/)
-
self-OH: smalltt the size of a large TT #TYPES
-
the AoE timezone, a consequence of globalization, offers a way to triple Fridays the 13ths globally, and double them locally:
Introducing: Friday the 13th somewhere on Earth (parenthesized as: Friday (the 13th somewhere on Earth).
E.g. the #PLDI deadline is such a newly acquired Friday (in Europe).
Friday here, the 13th somewhere. Keep the weekday, offshore the date. -
the AoE timezone, a consequence of globalization, offers a way to triple Fridays the 13ths globally, and double them locally:
Introducing: Friday the 13th somewhere on Earth (parenthesized as: Friday (the 13th somewhere on Earth).
E.g. the #PLDI deadline is such a newly acquired Friday (in Europe).
Friday here, the 13th somewhere. Keep the weekday, offshore the date. -
the AoE timezone, a consequence of globalization, offers a way to triple Fridays the 13ths globally, and double them locally:
Introducing: Friday the 13th somewhere on Earth (parenthesized as: Friday (the 13th somewhere on Earth).
E.g. the #PLDI deadline is such a newly acquired Friday (in Europe).
Friday here, the 13th somewhere. Keep the weekday, offshore the date. -
cursed #emacs #auctex behaviour: It will generate auto files (as in,
elfiles with lists of envs / macros provided by astyorcls) based on what buffers you have open, even if they are entirely unrelated. That was a bit of a Heisenbug. Also, bc of the way environments are defined inllncs,TeX-auto-generatedoesn't recognize them as environments, so I'll have to add them by hand somehow to get completion forC-c C-e -
I seem to remember some compiled-to-html output of proof scripts (could have been either #Rocq, #Isabelle or #Lean, but maybe also a different proof assistant) which let you see the type of subterms on hover. Does this ring a bell w anyone? (I certainly wish we had sth like this for #Agda, my current approach is to replace the respective term w a hole and then reload the file and `C-c C-d` which is obviously not static, not to mention computationally expensive…)
-
"cottage industry of safe forms of recursion" - @danielgratzer #popl
-
the howling noises have started #popl
-
OH: "infamous within the ML module community" #popl
-
the temperatures are slowly rising … #popl
-
-
so today I realized that @pigworker 's insight "Why Measure When You Can Require?" from "How to keep your Neighbours in Order" gives an excellent and concise way to write a generator (à la #propertybasedtesting ) for Binary Search Trees!
Here's a gist (in #fsharp ) https://gist.github.com/cxandru/c9bf9165ab753d2c57e00e8c3b97d947 -
The Avanti West Coast London -> Glasgow is an absolute joy to work in! the tables are nice bc they're between sets of seats facing each other instead of just being a crappy one you can unfold at the back of the seat in front, and there are ⚡ sockets.
I may or may not be finishing up slides for my lightning talk at #SPLV
https://spli.scot/splv/2024-strathclyde/lightning.html