Software ate the world. Now LLMs will eat softwareApr 13, 2023 · The Technium▶Play+Watch later+Read later
Runtime assertions at compile time...whaaa?: Dependent Types (S04E08)Mar 30, 2023 · The Technium▶Play+Watch later+Read later
A Pu Pu Platter of Internet Content: Activitypub (S04E07)Mar 3, 2023 · The Technium▶Play+Watch later+Read later
You need a special keyboard to code in this language: APL (S04E06)Feb 16, 2023 · The Technium▶Play+Watch later+Read later
Two rings makes computers go Brrrrr: io_uring (S04E05)Feb 1, 2023 · The Technium▶Play+Watch later+Read later
The lost vision of hypertext's future: Xanadu (S04E04)Jan 19, 2023 · The Technium▶Play+Watch later+Read later
Tool-assisted speedrun of humanity: ChatGPT Part 2 (S04E03)Jan 12, 2023 · The Technium▶Play+Watch later+Read later
Alien intelligence that can speak human: ChatGPT Part 1 (S04E03)Jan 5, 2023 · The Technium▶Play+Watch later+Read later
Perfectly reproducible environments: Nix Package Management (S04E02)Dec 21, 2022 · The Technium▶Play+Watch later+Read later
Leverage Visual Cortex for Programming: Visual Programming (S04 E01)Dec 7, 2022 · The Technium▶Play+Watch later+Read later
Lightning Network: Payments so small, it's a stream (S03 E10)Aug 31, 2022 · The Technium▶Play+Watch later+Read later
Datomic: Immutable database for new web architecture (S03E08)Aug 16, 2022 · The Technium▶Play+Watch later+Read later
Urbit: The Thousand Year Operating System (S03 E07)Aug 9, 2022 · The Technium▶Play+Watch later+Read later
Hyperfiddle: Compiler Managed Network Connections (S03 E06)Aug 1, 2022 · The Technium▶Play+Watch later+Read later