~/talks

Guy L. Steele Jr.

what they talk about

where they keep going back

no series more than once — all 2 in the filters

on a stage with

all 8 in the filters

who talks about the same things

titleconferencedate
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programmi...ICFP 20232023-09-04
A new core calculus (VC) gives a small-step rewrite semantics for a deterministic functional logic language and implements unification and logical variables as…
Talk on
LXM: Better Splittable Pseudorandom Number Generators (and Almost as Fast)OOPSLA 20212021-10-17
LXM is a concrete PRNG design that sums an LCG and an F2-linear (xoroshiro/xoshiro) generator and then applies a mixer, claiming LCG+XBG+mix yields long…
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.