Gergő Érdi
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Clash Course in Solving Sudoku (Functional Pearl) | Haskell 2025 | 2025-10-16 |
Builds an FPGA Sudoku solver by compiling Haskell with Clash Haskell-to-FPGA from a Bird 2006 functional pearl, translating a backtracking solver into… | ||
| GHC Proposal Presentations | Haskell Symposium 2022 | 2022-09-15 |
Four concrete GHC proposals get short technical pitches and status updates: partial type synonyms let type synonyms contain wildcards that elaborate into extra… | ||
| Compiling Mu with GHC: Halfway Down the Rabbit Hole | HIW 2022 | 2022-09-11 |
Migrating the Mu compiler to use GHC as a frontend targets a 4.5 million‑line codebase and already compiles real Mu programs, including complex GUI apps, after… | ||
| Lightning Talk Slot #1: Signature Sections | HIW 2022 | 2022-09-11 |
Proposes adding section syntax that lets (:: T) stand for \x -> x :: T so a type annotation can appear in the middle of a pipeline instead of using visible… | ||
| nothing matches | ||