エピソード

  • Friends and Relations
    2025/07/09

    We're talking about databases again. Or database management systems, we're not totally sure. In any case, they are relational databases (or database management systems).

    The relational database has been the go-to system for storing structured data since the 1980s, and is still the most popular type of system to use for applications and business reporting. We discuss their history, what makes them relational, and our experiences with some of the better known commercial and open-source relational systems.

    A Relational Model of Shared Databanks - EF Codd

    Dr. Michael Stonebraker - A Short History of Database Systems




    Send us a text

    続きを読む 一部表示
    58 分
  • Shoulders of Giants: Jim Gray
    2025/06/25

    Jim Gray was a key innovator in the area of database technology and he won the Turing Prize in 1998. He was particularly influential with respect to the definition and formalization of transactions, and he identified and named the A, C, and D of ACID. Gray, an avid hiker and sailor, disappeared in 2007 while sailing out of San Francisco to the Farallon Islands, and no trace of him was ever found.


    https://www.microsoft.com/en-us/research/video/behind-the-code-with-jim-gray/

    https://www.wired.com/2007/07/ff-jimgray-2/

    Send us a text

    続きを読む 一部表示
    1 時間 4 分
  • Language, Meaning, and Functional Programming with Matt Teichman
    2025/06/11

    This week Matt Teichman, host of the Elucidations podcast, dropped by the show to chat about functional programming and its surprising relationship to linguistics and philosophy. Matt teaches Linguistics, Philosophy, and Computer Science at the University of Chicago and he also works on open-source software for the University of Chicago library, including an interesting OCaml project used by archivists called Attachment Converter.

    Thanks to our newest Patreon subscribers: Ralph Minderhoud and Tim Lavoie!

    Stuff to Check Out

    • Matt's podcast: Elucidations
    • Matt's website: Matt Teichman - Philosophy - University of Chicago
    • Attachment Converter, open-source library: Attachment Converter
    • Stanford Encyclopedia of Philosophy entry on Montague Semantics

    Send us a text

    続きを読む 一部表示
    1 時間 16 分
  • UX Wing Fighters
    2025/05/21

    In this episode we talk to Jonathan Whitmire who designed the Picture Me Coding swag, logos, artwork (and t-shirts and stickers and coffee mugs!).

    He gives us a rundown on what it's like working alongside developers and what we talk about when we talk about UX.

    Send us a text

    続きを読む 一部表示
    1 時間 1 分
  • Our Flag Means Local-First
    2025/05/14

    This week Mike and Erik talk about the local-first software movement. There's a pretty cool paper about it from 2019 called "Local-First Software:You Own Your Data, in spite of the Cloud", and there's also a podcast, a company, and various projects. Come get inspired to build stuff!

    Send us a text

    続きを読む 一部表示
    56 分
  • Interpreting the Newses
    2025/05/07

    Mike and Erik analyze the tech news again. The AIs are hallucinating, but gamers are too because of Game Transfer Phenomenon. The Luddites are back for what's likely a futile effort to keep the robots from taking our jobs, but Mike things he can at least outrun them.

    • Watching These Humanoid Robots Try to Run a Half Marathon Is Hilarious and Bizarre
    • Protecting NATS and the integrity of open source: CNCF’s commitment to the community | CNCF
    • Game Transfer Phenomenon
    • How to Survive the AI Revolution?
    • Yahoo wants to buy Chrome

    Send us a text

    続きを読む 一部表示
    56 分
  • Predicting the Future: Law, Software, and Attorneys Using AI
    2025/04/30

    Today Mike and Erik are joined by John Benson, an attorney with a background in digital forensics who has been at the forefront of integrating LLMs into legal practice. The conversation ranges over the practice of law, digital security, and AI

    Find out more about John Benson's work here: https://john-benson.com/

    Send us a text

    続きを読む 一部表示
    1 時間 7 分
  • Sailing to Byzantium
    2025/04/23

    This week Mike and Erik tackle Byzantine Fault Tolerance! But what's it all about? Gangsters? Generals? Constantinople? Take a journey with us as we sail off into the dizzying complexity of Byzantine faults.


    Links

    • Some constraints and tradeoffs in the design of network communications | Proceedings of the fifth ACM symposium on Operating systems principles
    • Notes on Data Base Operating Systems
    • Reaching Agreement in the Presence of Faults | Journal of the ACM
    • The Byzantine Generals Problem - Microsoft Research
    • GitHub - JVerwolf/byzantine_generals: An implementation of Leslie Lamport's OM algorithm for the Byzantine Generals Problem
    • The Byzantine Generals Strike Again
    • The Chinese Generals Problem
    • SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control
    • The Generals – Dean Eigenmann
    • Practical Byzantine fault tolerance | Proceedings of the third symposium on Operating systems design and implementation

    Send us a text

    続きを読む 一部表示
    58 分