The Technium

Apr 13 2023 40 ep. 86 mins 28

The Technium Podcast artwork

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.

Copy RSS

Subscribe on Podcast Addict

LLMs eat software development

Apr 13 2023 124 mins

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-GPThttps://lukebechtel.com/blog/gpt4-gen

Dependent Types: Runtime assertions at compile time...whaaa? (S04E08)

Mar 30 2023 127 mins

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 TypesParse, Don’t Validation“Scala vs Idris: Dependent types, now and in the future”Resources:http://www.e-pig.org/downloads/ydtm.pdfhttp

ActivityPub: A Pu Pu Platter of Internet Content (S04E07)

Mar 03 2023 108 mins

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 Activitypub02:13 What is Activity Pub?15:02 Interoperability33:00 A New Kind of Social43:53 Providing Distribution53:03 The Use Cases01:07:41 Ideology

APL: You need a special keyboard to program in this language (S04E06)

Feb 16 2023 102 mins

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 thought. Links/Resources:* https://mat

io_uring: Two rings makes computers go Brrrrr (S04E05)

Feb 01 2023 87 mins

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.

Xanadu: The lost vision of the hypertext future (S04E04)

Jan 19 2023 106 mins

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.

ChatGPT Part 2 (S04E03)

Jan 12 2023 109 mins

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, admit its mistakes, challenge incorrect premises, and reject inappropriate requests.

ChatGPT Part 1 (S04E03)

Jan 05 2023 90 mins

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.

Nix Package Management (S04E02)

Dec 21 2022 95 mins

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.

Visual Programming (S04 E01)

Dec 07 2022 124 mins

'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 computing, to today. This week we