Matthías Páll Gissurarson
where else to find them
website:https://mpg.is
github:tritlo
bluesky:tritlo.bsky.social
mastodon:@matti@loðfíll.is
mastodon:@tritlo@types.pl
x:tritlo
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Andreas Klebingeronce
- Gergő Érdionce
- Joachim Breitneronce
who talks about the same things
- Vaibhav Sagar6 talks
- Simon Hafner3 talks
- Cyrus Omar21 talks
- Teo Camarasu3 talks
- Alejandro Serrano Mena14 talks
- Matthew Pickering5 talks
| title | conference | date |
|---|---|---|
| Ghost in the Haskell | 2025 Haskell Ecosystem Workshop | 2025-06-05 |
A GHC plugin called Alama holes plugs a local Llama server to synthesize typed holes by sending the hole type, in-scope bindings, and first-sentence docs… | ||
| 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… | ||
| CSI: Haskell: Fault-Localization in Lazy Languages using Runtime Tracing | HIW 2022 | 2022-09-11 |
CSI: Haskell extends GHC’s Haskell Program Coverage to record a recently evaluated locations trace and print a short summary with runtime errors (example: head… | ||
| Suggesting Valid Substitutions For Typed Holes | Lambda Days 2018 | 2018-02-22 |
Extension accepted into GHC that uses the compiler’s typechecker to list actual identifiers and multi-argument constructions that fit a hole, not vague… | ||
| nothing matches | ||