Software & Languages

Page 23 of 41

  1. Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt

    ClojureTVLength: 36 minutes

    In briefA Clojure/conj 2016 talk demoing Barliman, a prototype smart editor that does program synthesis. Given a partial program and tests, it completes the program using a relational interpreter written in miniKanren.

    YouTube: watch on YouTube, opens a new tab
  2. Nathaniel J. Smith - Trio: Async concurrency for mere mortals - PyCon 2018

    PyCon 2018Length: 32 minutes

    In briefNathaniel J. Smith's PyCon 2018 talk introducing Trio, a Python concurrency library designed around usability and structured concurrency. He live-codes a problem and analyzes pitfalls in other async libraries.

    YouTube: watch on YouTube, opens a new tab
  3. Why Static Typing Came Back • Richard Feldman • GOTO 2022

    GOTO ConferencesLength: 52 minutes

    In briefRichard Feldman's GOTO Copenhagen 2022 talk on why dynamic languages like Python, Ruby, PHP and JavaScript rose in the 1990s and why each now has a popular static type checker. It argues that modern static typing recovers the advantages that made dynamic languages attractive.

    YouTube: watch on YouTube, opens a new tab
  4. "How to Think about Parallel Programming: Not!" - Guy L. Steele Jr. (Strange Loop 2010)

    Strange Loop ConferenceLength: 1 hour 9 minutes

    In briefGuy Steele's Strange Loop 2010 talk argues that programmers should not have to think about parallelism, and that languages should support algorithms built on independence and divide-and-conquer. He also recounts fitting a program onto a single punch card.

    YouTube: watch on YouTube, opens a new tab
  5. RustConf 2020 - Closing Keynote by Siân Griffin

    Rust Programming LanguageLength: 39 minutes

    In briefRustConf 2020 closing keynote by Sian Griffin that dives into Pokemon Blue glitches, notably Missingno and arbitrary-code-execution tricks. It uses them to explain how memory unsafety works and how memory-safe languages like Rust prevent such bugs.

    YouTube: watch on YouTube, opens a new tab