~/talks

Konrad Kording

what they talk about

where they keep going back

no series more than once — all 3 in the filters

on a stage with

all 9 in the filters

who talks about the same things

titleconferencedate
Compiling to Recurrent NeuronsPLDI 20262026-06-15
Defines a linearly typed higher-order language Cajal(N) that compiles iteration and conditionals into matrices realized as recurrent neurons, proves a compiler…
Talk on
Compiling to Linear NeuronsPOPL 20262026-01-11
Claims a typed linear language called Cajal compiles discrete programs into linear neurons by translating conditionals into soft branching linear maps, with a…
Talk on
Panel on the future of scientific research and educationUnknown Futures of Generalization 20242024-12-02
A live panel debates which research skills survive widespread LLM use and gives concrete examples: a student-run “Resurrected Scientists” ChatGPT experiment…
Panel on
Generalization insights from actual cognitionUnknown Futures of Generalization 20242024-12-02
Opens by making malicious fun of out-of-distribution and argues generalization is about structure that maps past to future, not tiny distribution shifts. Uses…
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.