~/talks

Rúnar Bjarnason

what they talk about

all 8 in the filters

where they keep going back

all 10 in the filters

on a stage with

all 18 in the filters

who talks about the same things

titleconferencedate
Microservices on Unison Cloud: Statically Typed, Dynamically DeployedFunctional Conf 20252025-01-24
Unison Cloud sends and runs function-level code addressed by a 512‑bit content hash so there are no builds or containers: deployment is literally a function…
Talk on
Unison: A Friendly Programming Language from the Future Part 1YOW! 20212021-11-30
Unison stores every definition as a cryptographic hash so code becomes a content-addressed immutable data structure where names are just annotations…
Talk on
Unison: A Friendly Programming Language from the Future Part 2YOW! 20212021-11-30
A functional language where every definition has a content-addressed hashes identity, so names point to immutable objects and the codebase is an append-only…
Talk on
Panel: Programming Languages in the Era of the CloudScale By the Bay 20202020-11-12
Panel argues cloud choices hinge on concrete tradeoffs: Go wins for fast startup and tiny static binaries and cross-compilation; Rust wins for memory control…
Panel on
Introduction to the Unison LanguageØredev 20182018-11-19
Unison is a new programming paradigm for building distributed systems. Unison lets you treat any pool of distributed resources like a single supercomputer, and…
Talk on
InterviewScale By The Bay 20182018-11-15
Description of work and claim: building Unison as a distributed programming language that makes highly distributed, elastic computation as easy to write as a…
Talk on
Scale By The Bay 2018 Unconference: Runar BjarnasonScale By The Bay 20182018-11-15
Starts from plain functions and builds category theory step by step, formalizing composition and identity then instantiating them: Scala subtype category…
Talk on
Introduction to the Unison programming languageLambda World Seattle 20182018-09-17
Unison presents a language where every definition is a content-addressed hash so code is durable, transferable and avoids naming and dependency hell, and the…
Talk on
Adjunctions in Everyday LifeScale By the Bay 20172017-11-16
Adjunctions claim to be the precise pattern behind monads, products, coproducts and folds and the talk shows concrete instances and constructions in Haskell…
Talk on
Adjunctions in Everyday LifeLambda World 20172017-10-26
Claim: adjunctions are the concrete pattern behind many FP constructions, shown with Haskell code and category theory. Demonstrations: curry/uncurry as an…
Talk on
Teaching functional programming in the ivory tower ... and in the kitchenLambda World 20172017-10-26
Panel compares concrete training tactics and outcomes: industry teams adopt Scala in 2014 to tackle concurrency, distribution and eventual consistency, with…
Talk on
Adjunctions in Everyday LifeLambdaConf 20172017-05-25
Claim: adjunctions are the concrete pattern behind monads, comonads, products, coproducts, ADTs and folds; the talk shows how to witness adjunctions via…
Talk on
Modern Software Development with HaskellDevoxx US 20172017-03-21
A practical introduction to Haskell that shows GHC compiling to native/C/JS, the recommended Stack workflow, GHCI demos of type inference, currying, algebraic…
Talk on
Constraints Liberate, Liberties ConstrainScala World 20152015-09-20
Argues that tighter interfaces and earlier symbolic representations preserve compositionality: printing via raw dot‑matrix codes fails, whereas keeping a…
Talk on
Functional Programming is TerribleNortheast Scala Symposium 20142014-03-01
Argues that Scala forces workarounds for pure FP: no general tail-call elimination in Scala, so composing many functions needs trampolines with memory and CPU…
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.