← Graph

Functional Programming as Naming Lightning Talk

talk 10 connections

Norbert Wójtowicz's wroclove.rb 2022 lightning talk, given as a teaser for his main-stage FP talk the next day. Opens with a deliberately silly question — how fast does a Kerbal Space Program rocket need to go to reach orbit — to highlight that nobody flinches at the question 'how fast are you going', yet that is a modern invention. Walks through the history of mathematics: Aristotle and Socrates working with 'perfect' geometry and trigonometry and unable to explain momentum; Galileo discovering that time is a unit of measurement; Descartes creating the Cartesian coordinate system and unifying geometry with algebra; Leibniz and Newton inventing calculus. Argues that today's 'functional programming' and DDD are pre-Socratic — what we need is new names that future generations can build on. Calls on the audience to listen to talks by Andrzej (Krzywda) and others, extract the essence of their ideas, give new names to things in their own work, and then figure out the properties of what they've named. Recommends Kerbal Space Program.

type
lightning-talk
talk Functional Programming as Naming Lightning Talk
about
Uses Galileo's discovery that time is a unit of measurement as the central historical example.
talk Functional Programming as Naming Lightning Talk
about
Discusses Descartes' creation of the Cartesian coordinate system and the unification of geometry and algebra.
talk Functional Programming as Naming Lightning Talk
about
Isaac Newton person
Cites Newton's co-invention of calculus as made possible by Galileo and Descartes.
talk Functional Programming as Naming Lightning Talk
about
Cites Leibniz's co-invention of calculus alongside Newton.
talk Functional Programming as Naming Lightning Talk
about
Speaker jokingly assumes the audience is Kerbal Space Program fans and recommends the game.
talk Functional Programming as Naming Lightning Talk
about
Refers to 'andre' — Andrzej Krzywda — as one of the speakers whose ideas and concepts the audience should extract essences from.
authored
Functional Programming as Naming Lightning Talk talk
Gave this lightning talk as a teaser for his main FP talk the next day.
from_talk
Functional Programming as Naming Lightning Talk talk
Core argument of the FP framing lightning talk.
talk Functional Programming as Naming Lightning Talk
presented_at
Lightning talk at the wroclove.rb 2022 conference.
related_to
Functional Programming as Naming Lightning Talk talk
The lightning talk was explicitly framed as a teaser for this main-stage FP talk.

Provenance

Created in
wroclove.rb 2022 Lightning Talks 2026-04-17 18:12
Read by
12 extractions