All Episodes
Displaying episodes 1 - 30 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...
Semantic Web (The Technium Podcast S02 E10)
The semantic web was an effort to mark up webpages with facts about their content. The dream was to enable computers, to understand the world by reading these webpages...
TLA+ and Formal Methods (The Technium Podcast S02 E09)
TLA+ is a language for formally modeling and verifying the correctness of programs, especially concurrent and distributed ones. We discuss how it could be used to impr...
Transformers: One Model to Rule them All (The Technium Podcast S02 E08)
Transformers are a building block of Machine Learning systems that have seen great success recently at subsuming all other techniques. We discuss at a high level, i...
CORBA: Failed Distributed Architecture (The Technium Podcast S02 E07)
CORBA is an acronym that stands for common object request, broker architecture. It provides interoperability among distributed objects regardless of whether they're r...
Unison Programming Language (The Technium Podcast S02 E06)
Unison is a programming language for distributed systems by leveraging immutable and content addressable code.
Smalltalk (The Technium Podcast S02 E05)
Smalltalk was one of the first object oriented programming languages and a software authoring environment that was highly influential in the history of computing. W...
Dynamicland (The Technium Podcast S02 E04)
Dynamicland is a communal computer where the computer is the room. It's a new dynamic, medium to think about systems with other people. We discuss taking computati...
NFTs: Beyond Art (Technium Podcast S02 E03)
Non-Fungible Tokens (NFTs) are unique digital collectibles that are represented on a blockchain in the form of a token. NFTs make it possible to own digital media asse...
Interplanetary File System (Technium Podcast S02E02)
IPFS is a distributed storage network. The content is accessible through peers located anywhere in the world that might relay information store it or both, and IPFS fi...
End-User Programming (Technium Podcast S02E01)
End-user programming is a vision of computing that allows people who are not professional software developers to program their own computers. We discuss some of our...