Vaibhav Sagar
where else to find them
what they talk about
all 7 in the filters
where they keep going back
- !!Con3 editions2018–2024
all 4 in the filters
on a stage with
never shared a talk
who talks about the same things
- Adam McCullough6 talks
- Tom Stuart11 talks
- Nicolas Rinaudo13 talks
- Pawel Szulc28 talks
- Philip Wadler14 talks
- Ben Deane32 talks
| title | conference | date |
|---|---|---|
| Why Do Companies Stop Using Haskell? | ZuriHac 2026 | 2026-06-06 |
Analyzes why companies stop using Haskell by naming concrete failure modes—wholesale rewrites that trigger the second-system effect, fixed-term experiments… | ||
| SATisfying answers to difficult questions! | !!Con 2024 | 2024-08-24 |
Overview of concrete methods and limits: explains how problems become CNF and shows a Sudoku encoding with nine Booleans per cell, implements DPLL with unit… | ||
| Compilers for nothing, executables for free! | !!Con West 2020 | 2020-02-29 |
Claim: partial evaluation can take an interpreter plus a fixed program and produce a standalone executable, and further specializing the specializer yields a… | ||
| You Won’t Believe This One Weird CPU Instruction! | !!Con 2019 | 2019-06-01 |
Popcnt counts set bits and ends up as the core primitive across surprising places: compute Hamming weight and Hamming distance with XOR + popcnt to measure… | ||
| Tarjan’s Algorithm: Now You’re Cooking with DAGs | StarCon 2019 | 2019-01-19 |
-- no description -- | ||
| Collaborating with your computer using typed holes! | !!Con 2018 | 2018-05-12 |
Demos show typed holes in Python, Haskell and Agda, with editor integration and a proof-search engine that synthesizes code from holes; a dependent-vector… | ||
| nothing matches | ||