ZuriHac 2025
2025-06-07..2025-06-09
Rapperswil, Switzerland
ZuriHac ·
[ZuriHac 2022, ZuriHac 2023, ZuriHac 2025, ZuriHac 2026]
| title | author | length |
|---|---|---|
| The World’s Largest Haskell Conference & Hackathon: Opening Ceremony &Project Pitches | Farhad Mehta, Jasper Van der Jeugt | 57m |
Opening remarks set logistics for a hundreds‑person ZuriHac 2025: campus rooms, volunteer channels, photo and recycling rules, food trucks and a BBQ from Jane… | ||
| MicroHs, a tiny Haskell Compiler | Lennart Augustsson | 01h 06m |
MicroHs is a tiny Haskell compiler that translates Haskell to Turner-style combinators, emits a C byte array, then uses a C compiler to produce a compact… | ||
| Impressions of ZuriHac, and Why We Love (and Hate) Haskell | Ryan Brewer | 14m |
Haskell delivers strong claims: purity and a powerful type system eliminate whole classes of bugs and let developers read code from types alone, but some… | ||
| Haskell Beginners' Track | Andres Löh | 04h 08m |
Condensed two two‑hour sessions teach how to define datatypes and functions, use pattern matching and inferred types, write recursive list/stack code and… | ||
| Compiling Haskell to WebAssembly | Cheng Shao | 01h 22m |
GHC’s WebAssembly backend compiles real Haskell apps into runnable .wasm modules, using wasmtime for CLI and a tiny npm shim for browser runs; post-link… | ||
| Haskell in Industry: Expert Panel on Tooling, Teaching & Real-World Use | Jose Calderon, Andres Löh, Simon Marlow, Marc Scholton | 01h 11m |
Panelists report more people are paid to program Haskell now than a decade ago, with growth concentrated in smaller companies and long‑lived shops (one startup… | ||
| A History of Effect Systems | Tom Ellis | 01h 10m |
Chronicle of Haskell effects from monads → transformers → MTL to ST, IORef, Polysemy and effectful, with the concrete claim that Bluefin (used at Groq)… | ||
| Category Theory Track | Richard Southwell | 02h 24m |
Begins from first principles and makes three concrete claims: composition plus identities and associativity capture “what matters” across maths, functors are… | ||
| Using Nix to Deploy Haskell Projects | Malte Ott | 02h 01m |
Hands-on workshop that teaches using Nix to make Haskell builds reproducible: explains the Nix store, derivations and hashing, how nixpkgs generates ~17,000… | ||
| Making Risk Decisions with Haskell at Scale | Alex Vieth | 50m |
Mercury converts entangled DB-driven rules into pure Haskell policy functions by representing policy inputs as gadget sum inputs and compiling environments as… | ||
| Competitive Programming in Haskell | Brent Yorgey | 01h 10m |
Shows Haskell solving contest problems live: a working pipeline from input string to output using interact and lazy IO to treat the whole run as a pure… | ||
| The Future of Freedom-Preserving Software | Zoë Kooyman | 01h 03m |
Free Software Foundation insists on copyleft as the practical mechanism for preserving user freedoms, publishes and enforces the GNU family (GPLv3/AGPL), and… | ||
| Wrapping Up – Project Presentations & Closing Ceremony | Jasper Van der Jeugt, Farhad D. Mehta | 01h 02m |
Over 15 five-minute demos show concrete outcomes: 12 PRs merged to Haskell Language Server support for .cabal edits and structured diagnostics, Inline‑Verilog… | ||
| nothing matches | ||