arithmetic

A 95-minute recorded debate at the ARITH23 computer arithmetic conference between John Gustafson, proponent of unums/posits, and William Kahan, architect of IEEE 754 floating point. They argue the merits of the new number formats versus conventional floats and interval arithmetic.

David MacKay's TEDxWarwick talk uses basic arithmetic to show how much land and energy renewables would need to power a country like the UK. It explains the limits of sustainable options and why they should still be pursued.

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.

OpenAI cofounder Greg Brockman explains the design principles behind ChatGPT and demos unreleased plug-ins at TED 2023. In the follow-up, TED head Chris Anderson presses him on the timeline of development and the risks of releasing such a tool.

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.