~/talks

Tom Ellis

what they talk about

where they keep going back

no series more than once — all 4 in the filters

on a stage with

all 5 in the filters

who talks about the same things

titleconferencedate
Experience report: Bluefin in industryFUNARCH 20252025-10-12
Bluefin is an IO-backed Haskell effect system used to replace transformers/MTL in assembly tooling for Groq’s LPU chip, claiming value-level effect handles…
Talk on
A History of Effect SystemsZuriHac 20252025-06-07
Chronicle of Haskell effects from monads → transformers → MTL to ST, IORef, Polysemy and effectful, with the concrete claim that Bluefin (used at Groq)…
Talk on
Get started with BluefinFunctional Conf 20252025-01-24
Bluefin is an effect library for Haskell that models effects as value-level handles instead of type-level constraints and shows concrete code: a state-based…
Talk on
Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode AutomaticPOPL 20222022-01-16
Claims a source to source transformation that produces dual numbers then generalizes to multi dual numbers and a compact symbolic delta representation…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.