~/talks

Erik Meijer

what they talk about

all 10 in the filters

where they keep going back

all 10 in the filters

on a stage with

all 13 in the filters

who talks about the same things

titleconferencedate
Verifiably Safe Agentic ComputeAI By the Bay 20252025-11-17
Claims that LLMs are just branch predictors and that useful agentic systems need a new compute stack not bigger models. Proposes a programming language that…
Talk on
From AI Software Engineers to AI Knowledge WorkersRebase 20242024-10-20
Argues that AI should empower end users to build automations directly, not just augment developers, and proposes a Prolog-like language Universalis plus…
Talk on
Programmer’s Apprentice Season 2: Future Directions in AI-assisted CodingYOW! Perth 20232023-09-11
Claims that developers are the last generation to write code by hand and that general LLMs replace years of custom models are backed by concrete work: deployed…
Talk on
Machine Learning for Developer Self-CareGOTO Copenhagen 20212021-11-08
Meta handles 2.89 billion monthly users and 4 petabytes of data per day and trains models that turn that data into developer tools. Built systems include…
Talk on
Coarsening Optimization for Differentiable ProgrammingOOPSLA 20212021-10-17
Paper presents coarsening optimization that raises segments to symbolic level, applies differentiation and lowers optimized code, and reports several-times to…
Talk on
Inside Every Calculus Is A Little Algebra Waiting To Get OutSPLASH 2020 REBASE2020-11-16
Claims that synthetic differential geometry and dual numbers give a purely algebraic foundation for differentiation, replacing limits with an axiom that…
Talk on
Inside Every Calculus Is A Little Algebra Waiting To Get OutCode Mesh LDN 20202020-11-05
Claim: calculus reduces to algebra by treating derivatives as algebraic structure, implemented with dual numbers (a + bε, ε²=0) and proven via…
Talk on
Gradient Descent: The Ultimate OptimizerKotlinConf 20192019-12-04
Claims that hyper-parameters and even hyper‑hyper‑parameters are learned by gradient descent, demonstrated with concrete Kotlin code that computes derivatives…
Talk on
My Life as a Tech Transfer MonadKotlinConf 20172017-11-02
Argues for making uncertainty a first-class language feature and shows concrete work: a probability monad implemented in PHP/Hack, sampling via multishot…
Talk on
One Hacker WayGOTO Copenhagen 20152015-10-05
Argues that push-based reactive systems scale where pull/synchronous designs fail, citing work that puts RxJava into production (optimized for tens of millions…
Talk on
Interview withGOTO Chicago 20132013-04-23
Startup Applied Duality builds a real-time streaming big-data product around Rx open-sourced (Dec 2012) and compatible Java/JS implementations (Netflix Java…
Interview on
Fundamentalist Functional ProgrammingOSCON 20092009-07-20
Argues that mixing effects into imperative or “functional” languages breaks expectations: lazy LINQ queries in C# interleave console output and delay…
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.