Nix: Reproducible development from theory to practice
Zürich Friends of Haskell
Nix: Reproducible development from theory to practice
1:55:45
Igor Moreno Santos - Sound Notional Machines
Zürich Friends of Haskell
Igor Moreno Santos - Sound Notional Machines
1:22:51
Viktor Kleen: inline-*: Putting Hell back into Heaven
Zürich Friends of Haskell
Viktor Kleen: inline-*: Putting Hell back into Heaven
50:11
M. Etter & F. Mehta: Towards Type-Directed API Search for Mainstream Languages
Zürich Friends of Haskell
M. Etter & F. Mehta: Towards Type-Directed API Search for Mainstream Languages
37:02
Eliane Schmidli: Hardware Control using Haskell - HaskellerZ July 2023
Zürich Friends of Haskell
Eliane Schmidli: Hardware Control using Haskell - HaskellerZ July 2023
50:13
Dominic Egger: Dynamic Logic for verifiable data collection processes - HaskellerZ September 2023
Zürich Friends of Haskell
Dominic Egger: Dynamic Logic for verifiable data collection processes - HaskellerZ September 2023
44:04
Auke Booij: What are exact real numbers? - HaskellerZ November 2023
Zürich Friends of Haskell
Auke Booij: What are exact real numbers? - HaskellerZ November 2023
1:27:28
Marco Perone: CREM: Composable Representable Executable Machines - HaskellerZ April 2023
Zürich Friends of Haskell
Marco Perone: CREM: Composable Representable Executable Machines - HaskellerZ April 2023
1:07:45
ZuriHac 2023 — Opening Presentation & Project Pitches
Zürich Friends of Haskell
ZuriHac 2023 — Opening Presentation & Project Pitches
1:00:53
Eliane Schmidli -- An Introduction to Functional Reactive Programming and Yampa - HaskellerZ 2/2023
Zürich Friends of Haskell
Eliane Schmidli -- An Introduction to Functional Reactive Programming and Yampa - HaskellerZ 2/2023
58:35
Niklas Hambüchen - Writing a tool to graph job postings on r/haskell - HaskellerZ January 2023
Zürich Friends of Haskell
Niklas Hambüchen - Writing a tool to graph job postings on r/haskell - HaskellerZ January 2023
1:31:55
Alex Drake - A Haskell Primer - HaskellerZ August 2022
Zürich Friends of Haskell
Alex Drake - A Haskell Primer - HaskellerZ August 2022
1:13:16
Cazim Hysi - Why is Haskell Haskell? - June 2022 - HaskellerZ
Zürich Friends of Haskell
Cazim Hysi - Why is Haskell Haskell? - June 2022 - HaskellerZ
59:52
Maxim Koltsov - How to make the most out of servant
Zürich Friends of Haskell
Maxim Koltsov - How to make the most out of servant
38:27
Artyom Kuznetsov - GHC: Dependency Analysis of Haskell Declarations
Zürich Friends of Haskell
Artyom Kuznetsov - GHC: Dependency Analysis of Haskell Declarations
41:35
Sandy Maguire: A New Kind of Programming: Tactic Metaprogramming in Haskell @ZuriHac21
Zürich Friends of Haskell
Sandy Maguire: A New Kind of Programming: Tactic Metaprogramming in Haskell @ZuriHac21
1:23:31
Advanced Track: Understanding Memory Usage with eventlog2html and ghc-debug @ZuriHac21
Zürich Friends of Haskell
Advanced Track: Understanding Memory Usage with eventlog2html and ghc-debug @ZuriHac21
3:04:30
Veronika Romashkina: Lift Unliftable (and unlift liftable) @Zurihac21
Zürich Friends of Haskell
Veronika Romashkina: Lift Unliftable (and unlift liftable) @Zurihac21
1:08:02
Emily Pillmore: Haskell Foundation Progress Update @ZuriHac21
Zürich Friends of Haskell
Emily Pillmore: Haskell Foundation Progress Update @ZuriHac21
1:10:18
Tweag: Building Haskell with Bazel @ZuriHac21
Zürich Friends of Haskell
Tweag: Building Haskell with Bazel @ZuriHac21
59:10
GHC Panel Discussion with Simon Peyton-Jones and Ben Gamari @ZuriHac21
Zürich Friends of Haskell
GHC Panel Discussion with Simon Peyton-Jones and Ben Gamari @ZuriHac21
57:51
Advanced Track: Optics in the abstract by Adam Gundry @ZuriHac21
Zürich Friends of Haskell
Advanced Track: Optics in the abstract by Adam Gundry @ZuriHac21
2:57:36
Ollie Charles: Rel8, a new database access library for Haskell @ZuriHac2021
Zürich Friends of Haskell
Ollie Charles: Rel8, a new database access library for Haskell @ZuriHac2021
1:11:17
Opening & Talk by John Hughes "Testing smart contracts with QuickCheck" @ZuriHac21
Zürich Friends of Haskell
Opening & Talk by John Hughes "Testing smart contracts with QuickCheck" @ZuriHac21
1:28:21
Francesco Mazzoli - Quick and dirty backpropagation in Haskell - June 2021 - HaskellerZ
Zürich Friends of Haskell
Francesco Mazzoli - Quick and dirty backpropagation in Haskell - June 2021 - HaskellerZ
1:18:02
Simon Michael - Inside hledger: an architectural tour and how-to - April 2021 - HaskellerZ
Zürich Friends of Haskell
Simon Michael - Inside hledger: an architectural tour and how-to - April 2021 - HaskellerZ
1:46:15
Alexey Kuleshevich - Haskell's new random package interface - January 2021 - HaskellerZ
Zürich Friends of Haskell
Alexey Kuleshevich - Haskell's new random package interface - January 2021 - HaskellerZ
1:10:53
Utku Demir - Experience report on -XLinearTypes and linear-base - October 2020 - HaskellerZ
Zürich Friends of Haskell
Utku Demir - Experience report on -XLinearTypes and linear-base - October 2020 - HaskellerZ
1:03:59
Jasper Van der Jeugt - Organize a Haskell Hackathon - August 2020 - HaskellerZ
Zürich Friends of Haskell
Jasper Van der Jeugt - Organize a Haskell Hackathon - August 2020 - HaskellerZ
1:08:11
Samir Talwar - Smoke: rewriting a Ruby project in Haskell for fun and type safety - July 2020
Zürich Friends of Haskell
Samir Talwar - Smoke: rewriting a Ruby project in Haskell for fun and type safety - July 2020
48:41
Alexey Kuleshevich - Color in Haskell - June 2020 - HaskellerZ
Zürich Friends of Haskell
Alexey Kuleshevich - Color in Haskell - June 2020 - HaskellerZ
1:26:40
Space Invaders Mob Programming Session @ ZuriHac 2020
Zürich Friends of Haskell
Space Invaders Mob Programming Session @ ZuriHac 2020
2:58:23
Alexis King - “Effects for Less” @ ZuriHac 2020
Zürich Friends of Haskell
Alexis King - “Effects for Less” @ ZuriHac 2020
1:17:07
Haskell and InfoSec by Tobias Dammers - Advanced Track @ ZuriHac 2020
Zürich Friends of Haskell
Haskell and InfoSec by Tobias Dammers - Advanced Track @ ZuriHac 2020
3:18:07
Simon Meier & Ognjen Marić - “Can Haskell Be the World's Database?” @ ZuriHac 2020
Zürich Friends of Haskell
Simon Meier & Ognjen Marić - “Can Haskell Be the World's Database?” @ ZuriHac 2020
1:11:01
GHC On "simple" constraints for typechecker plugins by Nicolas Frisby
Zürich Friends of Haskell
GHC On "simple" constraints for typechecker plugins by Nicolas Frisby
55:28
GHC QualifiedDo: customizable 'do' syntax without fuss by Facundo Dominguez
Zürich Friends of Haskell
GHC QualifiedDo: customizable 'do' syntax without fuss by Facundo Dominguez
40:11
TALK Gabriel Gonzalez - “A bare-bones Twitter clone implemented with Haskell + Nix” @ ZuriHac 2020
Zürich Friends of Haskell
TALK Gabriel Gonzalez - “A bare-bones Twitter clone implemented with Haskell + Nix” @ ZuriHac 2020
57:55
Datatype-Generic Programming by Andres Löh - Advanced Track @ ZuriHac 2020
Zürich Friends of Haskell
Datatype-Generic Programming by Andres Löh - Advanced Track @ ZuriHac 2020
3:08:46
Philip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020
Zürich Friends of Haskell
Philip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020
1:14:15
A tour of linear types and linear base by Divesh Otwani
Zürich Friends of Haskell
A tour of linear types and linear base by Divesh Otwani
35:31
Write a GHC extension in 30 minutes by Richard Eisenberg
Zürich Friends of Haskell
Write a GHC extension in 30 minutes by Richard Eisenberg
36:55
Opening Ceremony & Rob Rix - “Languages all the way down” @ ZuriHac 2020
Zürich Friends of Haskell
Opening Ceremony & Rob Rix - “Languages all the way down” @ ZuriHac 2020
1:29:41
Digital Selves Live Set @ ZuriHac 2020
Zürich Friends of Haskell
Digital Selves Live Set @ ZuriHac 2020
30:55
Mihaly Barasz - Practical Intro to Agda and Coq - May 2020 - HaskellerZ
Zürich Friends of Haskell
Mihaly Barasz - Practical Intro to Agda and Coq - May 2020 - HaskellerZ
1:49:28
HaskellerZ - April 2020 - Niklas Hambüchen - Asynchronous and Parallel Programming in Haskell
Zürich Friends of Haskell
HaskellerZ - April 2020 - Niklas Hambüchen - Asynchronous and Parallel Programming in Haskell
2:17:36
HaskellerZ - March 2020 - Juri Chome & Cazim Hysi - Workshop on building a webservice
Zürich Friends of Haskell
HaskellerZ - March 2020 - Juri Chome & Cazim Hysi - Workshop on building a webservice
2:12:16
HaskellerZ - January 2020 - Marion Schleifer & Alexis King - Open-Source GraphQL Engine in Haskell
Zürich Friends of Haskell
HaskellerZ - January 2020 - Marion Schleifer & Alexis King - Open-Source GraphQL Engine in Haskell
1:15:19
HaskellerZ - November 2019 - Tom Sydney Kerckhove - Cooperative distributed agreement
Zürich Friends of Haskell
HaskellerZ - November 2019 - Tom Sydney Kerckhove - Cooperative distributed agreement
33:44
HaskellerZ - October 2019 - Roland Senn - The GHCi debugger
Zürich Friends of Haskell
HaskellerZ - October 2019 - Roland Senn - The GHCi debugger
1:32:15
HaskellerZ - August 2019 - Martin Huschenbett - Embedding DSLs deeper into GHC
Zürich Friends of Haskell
HaskellerZ - August 2019 - Martin Huschenbett - Embedding DSLs deeper into GHC
1:31:18
HaskellerZ - July 2019 - Mauro Bieg - pandoc: converting documents for fun and profit!
Zürich Friends of Haskell
HaskellerZ - July 2019 - Mauro Bieg - pandoc: converting documents for fun and profit!
1:19:58
HaskellerZ - May 2019 - Jonas Wälter - Functional Programming for Web and Mobile
Zürich Friends of Haskell
HaskellerZ - May 2019 - Jonas Wälter - Functional Programming for Web and Mobile
38:57
HaskellerZ - April 2019 - Jasper Van der Jeugt - Implementing In-memory Caches in Haskell
Zürich Friends of Haskell
HaskellerZ - April 2019 - Jasper Van der Jeugt - Implementing In-memory Caches in Haskell
1:04:18
HaskellerZ - March 2019 - Niklas Hambüchen on Syscall tracing using hatrace
Zürich Friends of Haskell
HaskellerZ - March 2019 - Niklas Hambüchen on Syscall tracing using hatrace
1:35:31
HaskellerZ - February 2019 - Artem Chirkin - Experimenting with Constraints
Zürich Friends of Haskell
HaskellerZ - February 2019 - Artem Chirkin - Experimenting with Constraints
1:16:17
HaskellerZ - January 2019 - Michal Terepeta - Implementing Immutable Vectors in Haskell
Zürich Friends of Haskell
HaskellerZ - January 2019 - Michal Terepeta - Implementing Immutable Vectors in Haskell
1:31:45
HaskellerZ - November 2018 - Beth Aitman - A practical guide to making good documentation
Zürich Friends of Haskell
HaskellerZ - November 2018 - Beth Aitman - A practical guide to making good documentation
1:17:30
HaskellerZ - October 2018 - Roman Kashitsyn - Embracing the Failure
Zürich Friends of Haskell
HaskellerZ - October 2018 - Roman Kashitsyn - Embracing the Failure
1:07:50
2018 09 27 - Simon Meier - Test-Driven Development of a Unification Algorithm
Zürich Friends of Haskell
2018 09 27 - Simon Meier - Test-Driven Development of a Unification Algorithm
1:20:34
HaskellerZ - June 2018 - Alex Silva - A tour of dependent types with Idris
Zürich Friends of Haskell
HaskellerZ - June 2018 - Alex Silva - A tour of dependent types with Idris
1:35:28
ZuriHac 2018 Beginner Track Saturday (uncut version)
Zürich Friends of Haskell
ZuriHac 2018 Beginner Track Saturday (uncut version)
3:00:21
ZuriHac 2018 Beginner Track Friday (uncut version)
Zürich Friends of Haskell
ZuriHac 2018 Beginner Track Friday (uncut version)
2:58:06
HaskellerZ - May 2018 - Andreas Herrmann - GHC Hacking Newcomer Guide
Zürich Friends of Haskell
HaskellerZ - May 2018 - Andreas Herrmann - GHC Hacking Newcomer Guide
54:37
HaskellerZ March 2018 - Nicolas Mattia - Interactive data exploration using Jupyter, Haskell and Nix
Zürich Friends of Haskell
HaskellerZ March 2018 - Nicolas Mattia - Interactive data exploration using Jupyter, Haskell and Nix
1:23:39