~/talks

Andrew Wells

what they talk about

where they keep going back

no series more than once — all 2 in the filters

on a stage with

all 14 in the filters

who talks about the same things

nobody close enough yet

titleconferencedate
Resource Fairness: Implementing (and Deprecating) a Lease BrokerReplay 20262026-05-05
Built a Temporal-based semaphore called lease broker workflow to enforce per-client concurrency for OCR activities, using signals and continue-as-new; it works…
Talk on
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable AuthorizationOOPSLA 20242024-10-20
Cedar defines a concise DSL, a Rust evaluation engine, and a Lean formal model that proves key properties; policies compile into SMT in the sound and complete…
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.