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.
…
continue reading
Micah, Ryan, John Yates, and friends discuss wild-eyed ideas about the future. With unique guests, they delve into life in the age of constantly accelerating change, and what that means for technology, culture, and the future of the world.
…
continue reading
![Artwork](/static/images/128pixel.png)
1
LLMs eat software development
2:04:02
2:04:02
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
2:04:02
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: https://simonwillison.net/2023/Mar/11/llama/ https://github.com/RootbeerComputer/backend-GPT…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Dependent Types: Runtime assertions at compile time...whaaa? (S04E08)
2:07:07
2:07:07
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
2:07:07
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: Dependent types, now and in the future” Resources: http://ww…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
ActivityPub: A Pu Pu Platter of Internet Content (S04E07)
1:48:09
1:48:09
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:48:09
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 33:00 A New Kind of Social 43:53 Providing Distributi…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
APL: You need a special keyboard to program in this language (S04E06)
1:42:29
1:42:29
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:42:29
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 execution rules to enable it as a notation as a tool for thou…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
io_uring: Two rings makes computers go Brrrrr (S04E05)
1:27:51
1:27:51
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:27:51
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 existing async interfaces? 17:25 Copying is slow 19:05 Two…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Xanadu: The lost vision of the hypertext future (S04E04)
1:46:00
1:46:00
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:46:00
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 https://en.wikipedia.org/wiki/Project_Xanadu https://…
…
continue reading
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 Humanity's Limits 11:33 Tool-assisted speedrun of Science 16:1…
…
continue reading
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? 06:17 Lineage of ChatGPT 10:01 General Reasoning from T…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Nix Package Management (S04E02)
1:35:08
1:35:08
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:35:08
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 Nix Works [00:15:08] Reproducible Environment = Less …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Visual Programming (S04 E01)
2:04:50
2:04:50
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
2:04:50
'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 area of research from the very beginning of personal …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Lightning Network: Payments so small, it's a stream (S03 E10)
1:31:57
1:31:57
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:31:57
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/ - [https://web.archive.org/web/20150301190111/http://lightning.network/lightning-network.pdf](https://web.archi…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Hypercore: Lego Blocks for P2P Apps (S03E09)
1:14:20
1:14:20
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:14:20
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 [00:02:16] What is Hypercore? [00:12:58] HyperDrive: A P…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Datomic: Immutable database for new web architecture S03E08
1:02:05
1:02:05
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:02:05
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 Hickey](https://www.youtube.com/watch?v=V6DKjEbdYos) - […
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Urbit: The Thousand Year Operating System (S03 E07)
1:47:07
1:47:07
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:47:07
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: - https://media.urbit.org/whitepaper.pdf - https://developers.urbit.org/overview - https:/…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Hyperfiddle: Compiler Managed Network Connections (S03 E06)
1:24:07
1:24:07
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:24:07
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: - [https://www.hyperfiddle.net/](https://www.hyperfiddle.net/) - [http…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Generative AI Models (S03 E05)
1:16:56
1:16:56
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:16:56
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! 🕊️](https://www.youtube.com/watch?v=N-Pf9lCFi4E) [Ope…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Zig: System programming without the warts (S03 E04)
59:50
59:50
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
59:50
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 • https://www.youtube.com/watch?v=Z4oYSByyRak • https://www.scatt…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Multi-modal and Multi-task Models (S03 E04)
1:13:33
1:13:33
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:13:33
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 task. Links/Resources: • MUM: https://blog.google/prod…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Plan 9: The OS Where Everything is a File (S03 E02)
58:23
58:23
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
58:23
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 16:53 Assembling a Distributed Computer 21:42 Powerful Ab…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Matrix: Let a Thousand Chat Clients Bloom (with Eric Migicovsky) S03 E01
1:07:20
1:07:20
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:07:20
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 - https://salibra.com/p/the-death-of-jabber-8ea395e82f5b- http://jabbermania.blogspot.com/2013/06/how-…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Semantic Web (The Technium Podcast S02 E10)
1:13:09
1:13:09
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:13:09
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 today. Links/Resources: Introducing the Knowledge Graph …
…
continue reading
![Artwork](/static/images/128pixel.png)
1
TLA+ and Formal Methods (The Technium Podcast S02 E09)
1:11:19
1:11:19
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:11:19
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+ Homepage https://lamport.azurewebsites.net/tla/tla.ht…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Transformers: One Model to Rule them All (The Technium Podcast S02 E08)
1:17:25
1:17:25
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:17:25
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. Links/Resources: Introductions to transformers https://w…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
CORBA: Failed Distributed Architecture (The Technium Podcast S02 E07)
1:01:48
1:01:48
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:01:48
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 its influence on distributed systems, and where we are…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Unison Programming Language (The Technium Podcast S02 E06)
1:15:06
1:15:06
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:15:06
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 https://www.unisonweb.org/ - Unison at StrangeLoop https://www.youtube.co…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Smalltalk (The Technium Podcast S02 E05)
1:05:23
1:05:23
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:05:23
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 commercial adoption. Links/Resources: Actor Model - https://…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Dynamicland (The Technium Podcast S02 E04)
1:27:01
1:27:01
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:27:01
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. Chapters: 0:00 Intros 2:10 What is Dynamicland? 11:17 T…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
NFTs: Beyond Art (Technium Podcast S02 E03)
1:54:22
1:54:22
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:54:22
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 art, and its potential as a building block for future ap…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Interplanetary File System (Technium Podcast S02E02)
1:28:52
1:28:52
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:28:52
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 how it changes the basic unit economics of some busin…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
End-User Programming (Technium Podcast S02E01)
1:29:25
1:29:25
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:29:25
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 world would look like if everyone could program. Chapters…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ep 010 - The Constrained Power of Datalog
1:37:58
1:37:58
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:37:58
This week, we mull on an obscure programming language called Datalog and its outsized impact on the worldDe către The Technium Podcast
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ep 009 - CLIP and DALL-E and the creativity of generative networks
1:37:01
1:37:01
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:37:01
In this episode, we muse about the creativity of machine learning models and what it means for the future of content creation/ownershipDe către The Technium Podcast
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ep 008 - Zero Knowledge Proofs
1:41:09
1:41:09
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:41:09
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.De către The Technium Podcast
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Eps 007 - Webassembly and write once, run anywhere
1:22:42
1:22:42
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:22:42
In this week's episode, we ruminate on Webassembly and the dream of writing once and running everywhere.De către The Technium Podcast
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ep 006 - The DAO for collective action
1:20:51
1:20:51
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:20:51
This week, we talk about the Decentralized Autonomous Organization. How could they bring a new flavor to collective action without a centralized authority?De către The Technium Podcast
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ep 005 - Functional Programming Everywhere
1:01:52
1:01:52
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:01:52
This week on the Technium, we talk about functional programming invading mainstream programming languagesDe către The Technium Podcast
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ep 004 - React Reconciler
1:21:22
1:21:22
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:21:22
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?De către The Technium Podcast
…
continue reading
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.De către The Technium Podcast
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ep 002 - Local-first software
1:16:54
1:16:54
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:16:54
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.De către The Technium Podcast
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ep 001 - Communing with Ghosts
1:03:43
1:03:43
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
1:03:43
In this week's episode, we talk about tools for thinking, note taking apps, and the retro vision for the web.De către The Technium Podcast
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ep 10: Zoltan Istvan and the Transhumanist Wager
35:57
35:57
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
35:57
Zoltan Istvan - author, sailor, inventor of volcano surfing - joins us to talk about sailing, seasteading, his floating library, and the world's most provocative coming-of-age story: The Transhumanist Wager. Get the shownotes here. The Transhumanist Wager Volcano Surfing: the original, other efforts, images Cryonics, (how does it work?) Seasteading…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ep 9: Colin Wright and His Amazing Science Fiction
33:48
33:48
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
33:48
In this episode, Micah interviews world-traveling science fiction writer Colin Wright. A kid hears voices, stops taking his meds, and suddenly finds them directing him into the middle of a vast web of power and intrigue. A hacktivism group works against a singularity cult leader to crypto-free the world. These are the kind of ideas explored in Coli…
…
continue reading
This episode was recorded in 2012, but through a sequence of unfortunate and lazy events, it is only now being released in July 2013. See how prescient we were about the future, discover whether the world ever came to an end, find out about the Singularity & fashion, why Google makes cars, and what the difference between birds and planes tells us a…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ep 7: Derek Webb & the AI, part 2
25:46
25:46
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
25:46
In the second part of our interview, Derek Webb talks about how to approach the oncoming future with values and practicality, as well as going into the problems with laws, the Amish, hippies, Kevin Kelly, and the iPhone 13. Get the shownotes here. Kevin Kelly, uber-hippie and hero Sola-mi - Download Derek's album about the first Artificial Intellig…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ep 6: Derek Webb & the AI, part 1
26:32
26:32
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
26:32
In the first part of our interview, Derek Webb introduces us to an album about the dawn of the first AI, and poignantly shows us just how disconnected we're all becoming. Stayed tuned for the rest of our conversation. Get the shownotes here. Sola-mi - Download his album about the first Artificial Intelligence for free. DerekWebb.com - Listen to and…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ep 5: Jason Silva and The Adjacent Possible
14:48
14:48
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
14:48
Ryan catches up with Jason Silva at the Seattle Interactive Conference to talk about the adjacent possible, genomes as artwork, embracing ecstasy, and dealing with existential despair. Get the shownotes here. @jasonsilva Jason Silva's website Seattle Interactive ConferenceDe către Micah Redding,
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ep 4: Mormonism & The Singularity with James Carroll
19:32
19:32
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
19:32
Our series on Spirituality and the Singularity continues! In this episode, James Carroll shares his experiences in the diverse worlds of A.I. and Mormonism. James is a researcher at the Los Alamos National Laboratory, and a member of the board of the Mormon Transhumanist Association. Get the shownotes here. Find out more about James here: http://ja…
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ep 3: Spirituality & The Singularity with Mike Morrell
24:49
24:49
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
24:49
How does the Singularity impact Spirituality? This series kicks off with Mike Morrell and Micah Redding talking about the intersection of Christianity and accelerating change. Mike gives us an expansive look at the history of humanity from the dawn of time to the far future, and introduces some of the dilemmas and hopes that spiritual people can br…
…
continue reading
John, Ryan, and Micah discuss how to look at the future and the Singularity. Are you an optimist, a pessimist, or a catastrophist? What nightmare scenarios are possible? What is the best-case scenario, and how can we steer in that direction? Get the shownotes here.De către Micah Redding,
…
continue reading
![Artwork](/static/images/128pixel.png)
1
Ep 1: Art, Science, and The Technium
33:12
33:12
Redă mai târziu
Redă mai târziu
Liste
Like
Plăcut
33:12
What is art? What's it like to paint on an infinite canvas? Is art the only thing standing between us and the robot invasion? Micah Redding, Ryan Hogan, and John Yates in the first official podcast of Broadcast From The Singularity! Get the shownotes here. Ideas Discussed: The Singularity The Technium as coined by Kevin Kelly The Implications of th…
…
continue reading