~/talks

Daniel Beskin

what they talk about

all 7 in the filters

where they keep going back

all 6 in the filters

on a stage with

never shared a talk

who talks about the same things

titleconferencedate
FIXING-UP PRODUCTION WITH PROPERTY-BASED TESTINGScalar Conference 20232023-03-23
Property-based testing plus targeted mocking and generator tuning reproduces a production sandbox corruption: increasing to 2000 samples and inspecting…
Talk on
Category Theory as a Tool for ThoughtScalaIO 20222022-10-27
Argues that category theory gives concrete exploration tools: uses duality to flip diagrams and discover sum types, uses universal constructions (cones and…
Talk on
Compile-time Logic Programming in Scala: what for?Scala World 20192019-09-11
Claim: Scala implicit resolution maps to Prolog-style logic so the compiler can perform compile-time Prolog via Scala implicits by encoding atoms as traits…
Talk on
Category Theory as a Tool for ThoughtLambdaConf 20192019-06-05
Argues that category theory yields concrete programmatic payoff by defining types and abstractions via relationships and then applying mechanical transforms…
Talk on
Sharing Is Caring - How to Let the Compiler Know What You're ThinkingScalaIO 20182018-10-29
Claim: sharing intent with the compiler—via typed wrappers, phantom types, implicit rules, and compile-time macros—turns it from dumb gatekeeper into active…
Talk on
What Orwell's 1984 Can Teach Us about ProgrammingScala.IO 20172017-11-02
Three Orwellian slogans map to concrete Scala techniques: war is peace becomes a war on effects using Option/Either/List plus Option/Either/List monads…
Talk on
What Orwell's 1984 Can Teach Us About ProgrammingLambdaConf 20172017-05-25
Claim: Orwell’s three slogans map to concrete strongly typed functional techniques and the examples actually work. The talk defines precise types to fight…
Talk on
What Orwell's 1984 Can Teach Us about ProgrammingLambda Days 20172017-02-09
http://www.lambdadays.org/lambdadays2017/daniel-beskin One might think that the bleak, anti-utopian reality of Orwell's 1984 would be a poor choice for a…
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.