Andres Löh
where else to find them
website:https://kosmikus.org
github:kosmikus
bluesky:kosmikus.bsky.social
mastodon:@kosmikus@functional.cafe
x:kosmikus
what they talk about
where they keep going back
- ZuriHac3 editions2022–2025
on a stage with
- Jeremy Yalloponce
- Jose Calderononce
- Marc Scholtononce
all 8 in the filters
who talks about the same things
- Alejandro Serrano Mena14 talks
- Matthew Pickering5 talks
- Harold Carr6 talks
- Michael Sperber15 talks
- Pawel Szulc28 talks
- Bartosz Milewski10 talks
| title | conference | date |
|---|---|---|
| Haskell Beginners' Track | ZuriHac 2025 | 2025-06-07 |
Condensed two two‑hour sessions teach how to define datatypes and functions, use pattern matching and inferred types, write recursive list/stack code and… | ||
| Haskell in Industry: Expert Panel on Tooling, Teaching & Real-World Use | ZuriHac 2025 | 2025-06-07 |
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… | ||
| Lazy Evaluation | ZuriHac 2023 | 2023-06-10 |
Three hours of worked examples show how Haskell’s lazy, outermost reduction (weak head normal form) really behaves: null on an enum is constant space… | ||
| Intro to Type Systems and Operational Semantics | ZuriHac 2022 | 2022-06-15 |
Stepwise construction of five toy languages shows how type rules map directly to Haskell code: infer/check via Maybe, big‑step vs small‑step evaluation, and an… | ||
| Staging with Class: A Specification for Typed Template Haskell | POPL 2022 | 2022-01-16 |
Shows that Template Haskell’s interaction with overloading is unsound: splicing well-typed code can produce missing-dictionary errors. Proposes staged type… | ||
| nothing matches | ||