Hi Everyone It was great to see you at [ZuriHac 2025](https://zfoh.ch/zurihac2025/). In case you couldn’t attend, or would like to relive the magic, the recordings from the event are now online at: [ZuriHac 2025 Playlist – Talks, Panels & Projects from the Haskell Community](https://www.youtube.com/playlist?list=PLOvRW_utVPVlFEXuyaIVILO1t_48e4Ai2) In this playlist, you'll find talks on: 🎓 Education, Pedagogy and Community - Zoe Kooyman on freedom-preserving software, ethics, and empowering developers through appropriate software licensing - Richard Southwell on category theory - Tom Ellis on the history of effect systems - Brent Yorgey on competitive programming - Pedro Abreu interviewing participants on their impressions on ZuriHac, and why they love (and hate) Haskell ⚙️ Tooling & Infrastructure - Cheng Shao on GHC’s WebAssembly backend and runtime architecture - Malte Ott on reproducible Haskell deployment using Nix and Flakes - Alex Vieth on managing risk - Panel discussion covering industry adoption, tooling, onboarding, and language design 💡 Programming Concepts & Philosophy - Lennart Augustsson on MicroHs, compiler simplicity, the history of Haskell and functional programming, dependent types, and writing trustworthy code - Shared focus across talks on laziness, purity, composability, and types as documentation - Emphasis on keeping Haskell both powerful and welcoming for newcomers 🛠️ Community Projects Lightning demos from the Project Presentation session: Inline Verilog support, performance benchmarks, Git conflict tooling, HLS improvements, smart contracts via linear types, education platforms, games, and more 🏛️ Opening Ceremony Highlights - OST’s and ZfoH's ongoing role as host and supporter of open functional programming - Short presentations from supporters and community partners - Project pitches covering Haskell in science, hardware, industry, and education Whether you want to learn, get inspired, or dive deep into modern Haskell development — this playlist captures the energy, ideas, and innovation that define ZuriHac. Find out how Haskell is shaping the future of programming. Just try not to watch it all in one sitting: There is still some time to bridge until the next ZuriHac. Thanks to everyone who actively participated and contributed to the event with their talks, tracks, and other help! The other organisers and I look forward to seeing you at [ZuriHac 2026](https://zfoh.ch/zurihac2026/). Best regards Farhad Mehta (on behalf of the ZfoH & OST)