~/talks

Breandan Considine

what they talk about

all 5 in the filters

where they keep going back

  • LAFI2 editions2024–2026

all 4 in the filters

on a stage with

all 9 in the filters

who talks about the same things

titleconferencedate
Towards a Linear-Algebraic HypervisorARRAY 20262026-06-16
Describes a linear-algebraic hypervisor that compiles a tiny array language into a branch-free multilinear transition operator and executes thousands to…
Talk
A Word Sampler for Well-Typed FunctionsLAFI 20262026-01-11
An exact sampler takes an acyclic finite automaton α∅ and produces functions from a simply-typed first-order language that are uniformly without replacement…
Talk on
A Tree Sampler for Bounded Context-Free LanguagesLAFI 20242024-01-14
Claims a practical method to enumerate and sample distinct parse trees from bounded context-free languages by building an algebraic tree datatype that…
Talk
Derivatives - Important Concept. Simple to grasp in KotlinKotlinConf 20192019-12-04
Claims a working prototype that implements automatic differentiation in Kotlin with a lazy, functional DSL that builds a data flow graph and supports…
Talk on
Day 2KotlinConf 20192019-12-04
Interviews from KotlinConf 2019 in Copenhagen. Schedule: 0:10 Shelby Cohen + Katie Levy 58:51 Marharyta Nedzelska 2:43:03 Nat Pryce + Duncan McGregor 3:32:55…
Talk on
Typing in Java, Kotlin and ScalaDevoxx US 20172017-03-21
Compares Java, Kotlin and Scala on concrete examples: Java requires casts for a generic Layout.rotate and loses type precision after compilation, Kotlin 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.