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
1
LLMs eat software development
2:04:02
2:04:02
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Dependent Types: Runtime assertions at compile time...whaaa? (S04E08)
2:07:07
2:07:07
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
ActivityPub: A Pu Pu Platter of Internet Content (S04E07)
1:48:09
1:48:09
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
APL: You need a special keyboard to program in this language (S04E06)
1:42:29
1:42:29
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
io_uring: Two rings makes computers go Brrrrr (S04E05)
1:27:51
1:27:51
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Xanadu: The lost vision of the hypertext future (S04E04)
1:46:00
1:46:00
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Nix Package Management (S04E02)
1:35:08
1:35:08
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Visual Programming (S04 E01)
2:04:50
2:04:50
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Lightning Network: Payments so small, it's a stream (S03 E10)
1:31:57
1:31:57
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Hypercore: Lego Blocks for P2P Apps (S03E09)
1:14:20
1:14:20
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Datomic: Immutable database for new web architecture S03E08
1:02:05
1:02:05
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Urbit: The Thousand Year Operating System (S03 E07)
1:47:07
1:47:07
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Hyperfiddle: Compiler Managed Network Connections (S03 E06)
1:24:07
1:24:07
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Generative AI Models (S03 E05)
1:16:56
1:16:56
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Zig: System programming without the warts (S03 E04)
59:50
59:50
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Multi-modal and Multi-task Models (S03 E04)
1:13:33
1:13:33
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Plan 9: The OS Where Everything is a File (S03 E02)
58:23
58:23
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Matrix: Let a Thousand Chat Clients Bloom (with Eric Migicovsky) S03 E01
1:07:20
1:07:20
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Semantic Web (The Technium Podcast S02 E10)
1:13:09
1:13:09
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
TLA+ and Formal Methods (The Technium Podcast S02 E09)
1:11:19
1:11:19
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Transformers: One Model to Rule them All (The Technium Podcast S02 E08)
1:17:25
1:17:25
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
CORBA: Failed Distributed Architecture (The Technium Podcast S02 E07)
1:01:48
1:01:48
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Unison Programming Language (The Technium Podcast S02 E06)
1:15:06
1:15:06
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Smalltalk (The Technium Podcast S02 E05)
1:05:23
1:05:23
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Dynamicland (The Technium Podcast S02 E04)
1:27:01
1:27:01
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
NFTs: Beyond Art (Technium Podcast S02 E03)
1:54:22
1:54:22
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Interplanetary File System (Technium Podcast S02E02)
1:28:52
1:28:52
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
End-User Programming (Technium Podcast S02E01)
1:29:25
1:29:25
Afspil senere
Afspil senere
Lister
Like
Liked
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
1
Ep 010 - The Constrained Power of Datalog
1:37:58
1:37:58
Afspil senere
Afspil senere
Lister
Like
Liked
1:37:58
This week, we mull on an obscure programming language called Datalog and its outsized impact on the worldAf The Technium Podcast
…
continue reading
1
Ep 009 - CLIP and DALL-E and the creativity of generative networks
1:37:01
1:37:01
Afspil senere
Afspil senere
Lister
Like
Liked
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/ownershipAf The Technium Podcast
…
continue reading
1
Ep 008 - Zero Knowledge Proofs
1:41:09
1:41:09
Afspil senere
Afspil senere
Lister
Like
Liked
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.Af The Technium Podcast
…
continue reading
1
Eps 007 - Webassembly and write once, run anywhere
1:22:42
1:22:42
Afspil senere
Afspil senere
Lister
Like
Liked
1:22:42
In this week's episode, we ruminate on Webassembly and the dream of writing once and running everywhere.Af The Technium Podcast
…
continue reading
1
Ep 006 - The DAO for collective action
1:20:51
1:20:51
Afspil senere
Afspil senere
Lister
Like
Liked
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?Af The Technium Podcast
…
continue reading
1
Ep 005 - Functional Programming Everywhere
1:01:52
1:01:52
Afspil senere
Afspil senere
Lister
Like
Liked
1:01:52
This week on the Technium, we talk about functional programming invading mainstream programming languagesAf The Technium Podcast
…
continue reading
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?Af 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.Af The Technium Podcast
…
continue reading
1
Ep 002 - Local-first software
1:16:54
1:16:54
Afspil senere
Afspil senere
Lister
Like
Liked
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.Af The Technium Podcast
…
continue reading
1
Ep 001 - Communing with Ghosts
1:03:43
1:03:43
Afspil senere
Afspil senere
Lister
Like
Liked
1:03:43
In this week's episode, we talk about tools for thinking, note taking apps, and the retro vision for the web.Af The Technium Podcast
…
continue reading