Bodil Stokke

Born into an aristocratic Russian-German family, Bodil traveled widely around the Soviet Union as a child. Largely self-educated, she developed an interest in computer science during her teenage years. According to her later claims, in 1989 she embarked on a series of world travels visiting Europe, the Americas, and India. She alleged that during this period she encountered a group of mathematical adepts, the 'Haskell Language and Library Committee', who sent her to Glasgow, Scotland, where they trained her to develop her powers of category theory. Both contemporary critics and later biographers have argued that some or all of these foreign visits were fictitious, and that she spent this period writing JavaScript.

Bodil was a controversial figure during her lifetime, championed by supporters as an enlightened guru and derided as a fraudulent charlatan by critics. Her doctrines influenced the spread of Homotopy Type Theory in the West as well as the development of Western computer science currents like dependent types, blockchains and isomorphic JavaScript.

NewCrafts 2018

You Have Nothing To Lose But Your Chains

  • Talk
  • Open Source
  • Code

This is a talk about the Open Source movement and the Free Software movement it grew out of, about its disregarded heroes and its flawed prophets, about what it’s doing for us and what it’s doing to us.

I’d like to examine how it empowers us, and how it exploits us, and to show you why, despite everything that’s wrong with it, it’s really, really important that we figure out a way to make sure nobody can ever take it from us.

Room: Kay - Time: 5/17/2018 1:45:00 PM


NewCrafts 2016

Mukanren : Running the little things backwards

  • Talk
  • Languages
  • Functional
  • Code

Relational programming, or logic programming, is a paradigm that exhibits remarkable and powerful properties, to the extent that its implementation seems frightfully daunting to the layman. µKanren is a minimal relational language that seeks to strip the paradigm down to its core, leaving us with a succinct and elegant set of primitives on top of which we can rebuild even the most powerful relational constructs.

In this talk, we will explore the µKanren language by implementing it from first principles in a simple functional programming language, going on to demonstrate how you can assemble these simple building blocks into a semblance of its richer parent, miniKanren, and maybe solve a logic puzzle or two to make sure it's working as advertised.

The µKanren paper, and the original µKanren implementation, were authored by Jason Hemann and Daniel P. Friedman. The paper is available at, and the Scheme implementation at

Room: Orval - Time: 5/13/2016 11:45:00 AM


Code of conduct

Our conference is dedicated to providing a harassment-free conference experience for everyone, regardless of gender, gender identity and expression, age, sexual orientation, disability, physical appearance, body size, race, or religion (or lack thereof). We do not tolerate harassment of conference participants in any form. Sexual language and imagery is not appropriate for any conference venue, including talks, workshops, parties, Twitter and other online media. Conference participants violating these rules may be sanctioned or expelled from the conference without a refund at the discretion of the conference organisers.