All Episodes
Displaying 1 - 20 of 40 in total
LLMs eat software development
LLMs for software development can go way beyond Github Copilot. In this episode, we talk about how these models could change the workflow for existing developers, but ...
Dependent Types: Runtime assertions at compile time...whaaa? (S04E08)
Dependent types are a more expressive type system in programming languages used to catch a larger class of errors at compile time. What are would be typically assertio...
ActivityPub: A Pu Pu Platter of Internet Content (S04E07)
Activity Pub is a decentralized social networking protocol. It allows different web applications to interact so that their users can share information, even if the web...
APL: You need a special keyboard to program in this language (S04E06)
APL is an array based programming language developed by Kenneth Iverson in the 1960s. Its central data type is the multi-dimensional array and hence it's very useful f...
io_uring: Two rings makes computers go Brrrrr (S04E05)
io_uring is a new asynchronous, API to enable fast and efficient system calls in the Linux kernel. It promises faster user-land programs that heavily use file system ...
Xanadu: The lost vision of the hypertext future (S04E04)
Xanadu was the first hypertext project founded in 1960 by Ted Nelson. It aims to facilitate a type of media called hypermedia, which is non-sequential writing in which...
ChatGPT Part 2 (S04E03)
Part 2: ChatGPT is a language model by OpenAI which interacts in a conversational way. The dialogue format makes it possible for ChatGPT to answer followup questions, ...
ChatGPT Part 1 (S04E03)
ChatGPT is a language model by OpenAI which interacts in a conversational way. The dialogue format makes it possible for ChatGPT to answer followup questions, admit it...
Nix Package Management (S04E02)
Nix is a functional package manager. It creates completely reproducible builds and package management, including support for multiple versions of packages side-by-size...
Visual Programming (S04 E01)
'Visual Programming' refers a style of programming that allows the user to specify a programs in a two-(or more)-dimensional fashion. Visual programming environments r...
Lightning Network: Payments so small, it's a stream (S03 E10)
Lightning Network is a network of payment forwarders layered on top of Bitcoin to enable small, fast micropayments with low fees.
Hypercore: Lego Blocks for P2P Apps (S03E09)
Hypercore is a set of building blocks to build distributed peer-to-peer applications. It provides a variety of data structures, as well as a discovery mechanism to sha...
Datomic: Immutable database for new web architecture S03E08
Datomic is an immutable database that borrows ideas from functional programming. We discuss how an immutable database changes the architectural possibilities of web ap...
Urbit: The Thousand Year Operating System (S03 E07)
Urbit is an operating system for a global networked computer with a global filesystem. It has its own virtual machine, programming language, OS kernel, and identity la...
Hyperfiddle: Compiler Managed Network Connections (S03 E06)
Hyperfiddle is an app builder in Clojure/Clojurescript that uses a compiler to manage the network connections in the app for you. We discuss what makes code easy vs si...
Generative AI Models (S03 E05)
Generative AI models are quickly reaching the point where their work is indistinguishable from that of humans. This include 3D models, voice, and other media types tha...
Zig: System programming without the warts (S03 E04)
Zig is a system programming language without the ugliness of C. We discuss its compile time features, its strive towards simplicity, and the potential for resource-eff...
Multi-modal and Multi-task Models (S03 E04)
Multimodal and multitask models are machine learning models that can generalize. Multimodal models can generalize to understand different types of input, for example i...
Plan 9: The OS Where Everything is a File (S03 E02)
Plan 9 is distributed operating system and it is designed to make a network of disparate computers function as a single system no matter where they are.
Matrix: Let a Thousand Chat Clients Bloom (with Eric Migicovsky) S03 E01
Matrix is a decentralized chat protocol that is end-to-end encrypted. It lets users communicate with each other using different clients and even run their own indepe...