show episodes
 
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.
  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
 
Loading …
show series
 
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
 
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
 
Мощный Dj Set от Anton Sata в стиле Techno, состоящий из 24-ти стремительных треков Треки подобраны согласно тональности, чтобы микс слушался и воспринимался максимально комфортно. Только лучшая музыка для любимых слушателей от Anton Sata.Микс записан Live на виниловых проигрывателях Technics 1200 MK3 Reloop RP8000 MK2 + ПО Traktor Pro 3 + микшер V…
  continue reading
 
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
 
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
 
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
 
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
 
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
 
'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
 
ARTISAN MUSIC PODCAST 061 (Dub Techno / Mnml / Detroit) by STNVДрузья, всем большой привет и добро пожаловать в новый выпуск Artisan Music Podcast! Сегодня я познакомлю вас с разными поджанрами Techno музыки Начнем с мягкого кальянного Dub, затем плавно погрузимся в мир Mnml и в конце прокатимся на быстром и ритмичном Detroit Желаю всем хорошего на…
  continue reading
 
Микс был записан довольно давно, дату не припомню, так что установил как дату записи дату обнаружения в своих архивах. В миксе собрал любимые треки великого техно-гуру и виртуоза, подвижника, несшего и продолжающего нести "слово детройтское" по всему миру, Джеффа Миллза. Практически, микс-посвящение.Трек-лист постараюсь восстановить в ближайшее вре…
  continue reading
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
Мощный Dj Set от Anton Sata в стиле Techno, состоящий из 21-го стремительного трека. Треки подобраны согласно тональности, чтобы микс слушался и воспринимался максимально комфортно. Только лучшая музыка для любимых слушателей от Anton Sata.Микс записан Live на виниловых проигрывателя Technics 1200 MK3 + Traktor Pro 3 + Traktor Z1 + Sennheiser HD 25…
  continue reading
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
Loading …

Quick Reference Guide