All Episodes
Displaying 21 - 40 of 40 in total
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...

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...

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.
