sum types

A London Haskell talk on the algebra of algebraic data types, showing how sum and product types behave like arithmetic. It frames types as numbers obeying algebraic laws.

David Christiansen gives a Strange Loop 2018 introduction to dependent types, where one language serves for both compile-time and run-time code and programs unite with proofs. It draws on his book The Little Typer.

The SILE author's FOSDEM 2015 talk introducing SILE, a TeX-inspired typesetting system with frame-based layout, Unicode, OpenType and a Lua-based extensible design.

Anders Hejlsberg introduces the native port of the TypeScript compiler, written in Go, which promises roughly 10x faster tooling. He demos compiling VS Code and explains where the speedup comes from.

Philip Wadler's Strange Loop talk on Propositions as Types, the link between logic and computation (the Curry-Howard correspondence). He traces its history through Church, Godel and Turing and shows how it shaped theorem provers and programming languages.

Edwin Brady presents Idris 2, a rewrite of the Idris dependently typed language, and shows type-driven development in practice. The demos show the compiler filling in whole functions from their types.

Tom 7's pilot episode of a series that plays with type systems and absurd programming, presented as a parody of the GPL v3 license. It mixes a typesetting experiment with a long, story-driven intro on the origin of TeX. Source code and papers are linked from the author's site.

Simon Peyton Jones presents linear types for Haskell, showing how practical linearity can fit into a higher-order polymorphic language. The talk covers motivations such as resource handling and relates the ideas to Rust.

Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.

A 2019 Android Dev Summit session on the scoped storage model in Android 10. It gives a plan overview and best practices for apps adapting to the new restrictions.

ElixirConf EU 2023 talk by Giuseppe Castagna and Guillaume Duboc on bringing set-theoretic types to Elixir, and the benefits such a type system could offer such as catching bugs.

Bill Gurley's talk at the All-In Summit 2023, titled 2,851 Miles after the distance between Washington and San Francisco. He describes how incumbents use lobbying and regulation to entrench themselves, followed by a conversation with the hosts.

Alex Russell's Chrome Dev Summit 2016 talk on building web experiences that work on slow, flaky networks and low-power devices. It argues developers should focus on the performance of real-world mobile hardware rather than desktop machines.

An RSA Animate adaptation of a Slavoj Zizek talk on charitable giving and ethical consumerism. It argues that buying products that bundle a charity donation can sustain the system that causes the problems.

Alexander Nix of Cambridge Analytica presents at the 2016 Concordia Summit on using big data, psychographic profiling and behavioral microtargeting in elections.

Paul Irish's Chrome Dev Summit 2016 talk surveys the state of the art in Chrome DevTools debugging. It covers workspaces, diffs, CSS coverage, Node debugging, editor improvements and Lighthouse.

Nadia Polikarpova's Strange Loop talk on program synthesis driven by refinement types, as in Synquid. It shows how rich type specifications can be turned into verified, executable code.

Keynote from the 2016 Dart Developer Summit introducing Flutter, Google's toolkit for building mobile apps from one codebase. It shows early demos aimed at native look and feel.

Matt Ahrens presents the FreeBSD Foundation sponsored RAID-Z Expansion project for ZFS at the June 2021 FreeBSD Developer Summit. It explains how a RAID-Z vdev can be grown by adding disks on the fly.

Chris Lattner and Brennan Saeta present Swift for TensorFlow at the TensorFlow Dev Summit 2019, covering language-integrated automatic differentiation and tooling for machine learning in Swift.

Martin Kleppmann's Kafka Summit 2018 keynote asks whether Kafka can be considered a database. He covers event logs and related data-systems ideas.

Wells Fargo engineers walk through the bank's four-year IPv6 journey at the North American IPv6 Summit 2014. They cover motivation, approach, achievements and observations.

Full-day livestream of the 2016 Decentralized Web Summit at the Internet Archive, with speakers including Vint Cerf, Tim Berners-Lee, Brewster Kahle, Cory Doctorow and Mitchell Baker. It explores the technology and impact of a decentralized web.

Rich Hickey's Clojure/Conj 2018 keynote argues that Maybe/Option types and rigid type signatures are a poor way to model data that changes over time. He builds the case around optionality, schema growth and compatibility, and presents the ideas behind Clojure spec as an alternative.

Edwin Brady, creator of Idris, presents Idris 2 and demonstrates type-driven development, where the compiler assists by filling holes and suggesting implementations from types.

José Valim's ElixirConf US 2023 closing keynote on the foundations of the Elixir type system, covering set-theoretic types and gradual typing with strong arrows.

David Nolen explains how ClojureScript is used at Vouch.io to build mobile and web software with a single language and REPL-driven workflow. The talk includes a live coding demo of React Native development.

Scott Jenson, a veteran UX designer formerly at Apple and Google, argues that the 'UX/UI' split pits programmers against designers and narrows ambition in open source. He makes the case that desktop UX has stagnated and that open source projects could lead experimentation beyond current interaction models.

Glenn Vanderburg presents Cló, a Clojure library that reimplements TeX's core typesetting algorithms as composable functions. He shows what translating procedural, literate-programming code into functional form teaches.

Edwin Brady, creator of Idris, introduces type-driven development in a dependently typed language. He shows types being written first and programs derived with interactive editing, then extends beyond simple examples to programs that interact with users and networks.

Matthias Felleisen's keynote uses weather prediction as an analogy for type systems, arguing they forecast problems so you can act on them. It draws on his experience developing Typed Racket.

Eric Seidel presents Sky, an experimental open-source framework for writing mobile apps in Dart with fast development cycles and 60Hz UI. Sky later became Flutter.

Heidi Howard's Reactive Summit 2018 talk on generalizing Paxos by weakening its original requirements. She shows Paxos is one point on a broad spectrum of consensus approaches.

Simon Knowles, co-founder and CTO of Graphcore, talks about "intelligence processors", chips designed specifically for machine learning. The talk was given at the RAAIS 2017 summit and covers Graphcore's architecture.

Urs Hoelzle, Google's SVP of infrastructure, gives the 2012 Open Networking Summit keynote on how Google adopted OpenFlow and software-defined networking in its own networks. The slides are linked in the description.

Adam Conover's talk at a millennial marketing conference argues that generations are an unscientific, condescending idea and that millennials do not exist as a real category. The description notes that researcher Jean Twenge later said he misrepresented some of her work.

Hans Rosling's TEDxSummit talk asks whether some religions have higher birth rates and how that affects population growth. He charts data across time and religions and reaches a surprising conclusion about fertility.

Aditya Siram introduces ATS, a statically typed ML-like language that compiles to C and offers type-safe pointer arithmetic and a full proof language. The Strange Loop talk shows off C interop, concurrency and verification features with non-trivial examples.

Climber Chris Warner talks at Google about his book on high altitude leadership and the 2007 K2 expedition, where eighteen climbers summited and two died.

David Epstein argues in this TED talk that improving athletic records owe much to technology, training and the selection of specialized body types, not just humans getting inherently better. He gives counter-intuitive examples across sports.