~/talks

Isaac Shapira

what they talk about

where they keep going back

on a stage with

never shared a talk

who talks about the same things

titleconferencedate
Programming Power ParadoxLambdaConf 20252025-05-12
Claims that compiler vs application tooling limits automation and that multi-phase development solves it lead to a concrete proof‑of‑concept: a pure, typed DSL…
Talk on
Programming Power ParadoxLambdaConf 20252025-05-12
Claim: moving between levels is power, not high‑level syntax alone. A new DSL called Paradox domain specification language generates TypeScript and Haskell, a…
Talk on
Types Are Not SafeLambdaConf 20242024-05-04
Claims that types are not safe and that types only prevent a small class of bugs backed by an empirical <5% of defects figure from GitHub. Concrete failures…
Talk on
UI as Warm as a Baked PotatoLambdaConf 20192019-06-05
Small Haskell UI core plus plugins that compiles to multiple back ends via jsaddle and ghcjs and can run server‑side over WebSocket or as client JS. HTML is a…
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.