Blogs (27) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Sat 9 Sep 2017 09:10 - 09:35 at L2 - CUFP Talks 1

We like to imagine ourselves, down on the factory floor of the programming industry, as an engineering discipline. To me, growing up in a country where the title of “engineer” used to have a clear formal meaning, it suggests that the software engineering is a well developed, carefully measured discipline. It suggests that we know what we’re doing, don’t worry, we’re professionals. Some of us are even architects. But do we have any idea at all? Let’s examine what we’ve figured out so far, and, more importantly, how what we know is being applied in practice by those who build the software that runs the world.

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.

Sat 9 Sep

cufp-2017-talks
09:10 - 10:00: CUFP 2017 - CUFP Talks 1 at L2
cufp-2017-talks150494100000009:10 - 09:35
Talk
cufp-2017-talks150494250000009:35 - 10:00
Talk