PODCAST · technology
The Technium
by The Technium
The Technium is a weekly podcast discussing the edge of technology and what we can build with it. Each week, Sri and Wil introduce a big idea in the future of computing and extrapolate the effect it will have on the world.
Episodes
-
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 more importantly how they could change the very idea of what software is. Links/Resources:...
-
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 assertions at runtime can now be caught at compile time. Show notes: Proposition as Types Parse, Don’t Validation “Scala vs Idris…
more -
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 websites or applications are running different software. 00:00 S04E07 Activitypub 02:13 What is Activity Pub? 15:02 Interoperability...
-
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 for workloads involving a lot of matrix math. APL predominantly uses symbols and it leverages consistent composability and…
more -
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 IO on Linux, for all applications, not just databases. 00:00 S04 E05 io_uring 02:55 What is io_uring? 05:59 What's wrong with...
-
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 the reader can choose their own path through an electronic document. Links/Resources: http://www.rheingold.com/texts/tft/14.html...
-
ChatGPT Part 2 (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 its mistakes, challenge incorrect premises, and reject inappropriate requests. 00:00 S04E03 ChatGPT Part 2 02:30 Expanding…
more -
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 its mistakes, challenge incorrect premises, and reject inappropriate requests. 00:00 S04E03 ChatGPT Part 1 02:58 What is ChatGPT?...
-
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 with no issues. Chapters: [00:00:00] Intro [00:02:41] What is Nix? [00:05:01] The Problem with Package Management [00:09:41] How...
-
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 represent the data, control flow, or program state in a graphical way, allowing them to be directly manipulated. It has been a hot...
-
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. Links/Resources: - https://lightning.network/ - https://www.swanbitcoin.com/a-look-at-the-lightning-network/ -...
-
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 share data between peers. It is a suite of tools that are the Lego blocks to build peer-to-peer apps. Chapters: [00:00:00] Intros...
-
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 apps. Links/Resources: - [Datomic with Rich Hickey](https://www.youtube.com/watch?v=9TYfcyvSpEQ) - [Database as Values with Rich...
-
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 layer. It dubs itself as “A clean-slate OS and network for the 21st century.” Links/Resources: -...
-
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 simple, arches for software, home-cooked apps, and the implications of a compiler for everything. Links/Resources: -...
-
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 that were not previously possible to create without significant expertise Resources [Google's New AI: Flying Through Virtual Worlds!...
-
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-efficient software. Links/Resources: • https://ziglang.org/learn/overview/ • https://www.youtube.com/watch?v=Gv2I7qTux7g •...
-
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 images and text. Multitask models can generalize their knowledge by applying what they’ve learned about one task to solve another...
-
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. Links/Resources: https://9p.io/wiki/plan9/papers/ Chapters: 0:00 Intros 2:49 What is Plan 9? 6:15 Unique Features 9:23 Everything is a File…
more -
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 independent chat servers. Links/Resources: - https://matrix.org/docs/guides/introduction -...
-
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. We discuss why the effort failed, how it relates to symbolic AI/knowledge graphs, and how the vision could still be realized...
-
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 improve the practice of software engineering and what it would take for formal methods to gain more popularity. Links/Resources: TLA+...
-
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, its attention mechanism and its multimodal properties, and the types of applications this can be put to use now and in the future....
-
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 remote or local, regardless of whether they're written in different languages or in different locations of the network. We discuss…
more -
Unison Programming Language (The Technium Podcast S02 E06)
Unison is a programming language for distributed systems by leveraging immutable and content addressable code. We discuss the many implications of a language whose code is content addressable, from fast rename, easy caching, to feature flagging. Links/Resources: - Unison Lang...
-
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. We discuss its designer Alan Kay, his vision of personal computing, and the lasting influence of Smalltalk despite its limited...
-
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 computation out of the realm of abstraction and putting it in the realm of the physical world, it, and how it breaks down barriers to entry....
-
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 assets in the same way that you can own a digital currency asset, like Bitcoin. We discuss various applications of NFTs outside of…
more -
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 finds data by its content address rather than its locations. We discuss the main principles behind IPFS, the current use cases, and...
-
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 favorite end-user programming environments, the qualities that make an end-user programming environment successful and what the…
more -
Ep 010 - The Constrained Power of Datalog
This week, we mull on an obscure programming language called Datalog and its outsized impact on the world
-
Ep 009 - CLIP and DALL-E and the creativity of generative networks
In this episode, we muse about the creativity of machine learning models and what it means for the future of content creation/ownership
-
Ep 008 - Zero Knowledge Proofs
This week on The Technium, we talk about Zero Knowledge Proofs, a relatively new cryptographic primitive that lets people prove they know a secret without divulging it.
-
Eps 007 - Webassembly and write once, run anywhere
In this week's episode, we ruminate on Webassembly and the dream of writing once and running everywhere.
-
Ep 006 - The DAO for collective action
This week, we talk about the Decentralized Autonomous Organization. How could they bring a new flavor to collective action without a centralized authority?
-
Ep 005 - Functional Programming Everywhere
This week on the Technium, we talk about functional programming invading mainstream programming languages
-
Ep 004 - React Reconciler
In this week's episode, we talk about the React Reconciler. What is it? How would it help with building cross-platform frontends? What else could it be applied to?
-
Ep 003 - The Metaverse
In this week's episode, we talk about "The Metaverse". What is it, and why it excites technologists about a possible vision of the future.
-
Ep 002 - Local-first software
In this week's episode, we talk about Ink and Switch's manifesto on local-first software, a vision on building software that merges the best parts of both web apps and desktop apps.
-
Ep 001 - Communing with Ghosts
In this week's episode, we talk about tools for thinking, note taking apps, and the retro vision for the web.
We're indexing this podcast's transcripts for the first time — this can take a minute or two. We'll show results as soon as they're ready.
No matches for "" in this podcast's transcripts.
No topics indexed yet for this podcast.
Loading reviews...
ABOUT THIS SHOW
The Technium is a weekly podcast discussing the edge of technology and what we can build with it. Each week, Sri and Wil introduce a big idea in the future of computing and extrapolate the effect it will have on the world.
HOSTED BY
The Technium
CATEGORIES
Loading similar podcasts...
Frequently Asked Questions
How many episodes does The Technium have?
The Technium currently has 40 episodes available on PodParley. New episodes are automatically indexed when they're published to the podcast feed.
What is The Technium about?
The Technium is a weekly podcast discussing the edge of technology and what we can build with it. Each week, Sri and Wil introduce a big idea in the future of computing and extrapolate the effect it will have on the world.
How often does The Technium release new episodes?
The Technium has 40 episodes. Check the episode list to see recent publication dates and frequency.
Where can I listen to The Technium?
You can listen to The Technium on PodParley by clicking any episode. We provide an embedded audio player for direct listening, and you can also subscribe via your preferred podcast app using the RSS feed.
Who hosts The Technium?
The Technium is created and hosted by The Technium.
URL copied to clipboard!