Nix Package Management (S04E02)

The Technium

Player FM - Internet Radio Done Right

เพิ่มแล้วเมื่อ threeปีที่ผ่านมา

เนื้อหาจัดทำโดย The Technium เนื้อหาพอดแคสต์ทั้งหมด รวมถึงตอน กราฟิก และคำอธิบายพอดแคสต์ได้รับการอัปโหลดและจัดหาให้โดยตรงจาก The Technium หรือพันธมิตรแพลตฟอร์มพอดแคสต์ของพวกเขา หากคุณเชื่อว่ามีบุคคลอื่นใช้งานที่มีลิขสิทธิ์ของคุณโดยไม่ได้รับอนุญาต คุณสามารถปฏิบัติตามขั้นตอนที่แสดงไว้ที่นี่ https://th.player.fm/legal

Young and Profiting with Hala Taha (Entrepreneurship, Sales, Marketing)

1
Mel Robbins: The Let Them Theory, Build a Business and Life on Your Terms | Human Behavior | E329 1:16:55

12 weeksที่แล้ว1:16:55

ลิสต์เล่นในภายหลัง

ลิสต์

ถูกใจ

ที่ถูกใจแล้ว

1:16:55

On her son’s prom night, Mel Robbins fussed over details that didn’t matter. Her daughter grabbed her arm and said, “Let them. Let them run in the rain. Let them eat where they want. Let them.” Those two simple words hit Mel like a ton of bricks and completely changed how she thinks about control. In this episode, Mel shares some of the pivotal moments that shaped her career, her innovative strategies for overcoming adversity, and how the Let Them Theory can help you navigate business challenges, strengthen relationships, and unlock your true power. In this episode, Hala and Mel will discuss: (00:00) Introduction (02:57) The Power of Action (04:22) Mel's Unforgettable TED Talk Debut (07:00) The 5 Second Rule (07:52) Building Unshakable Confidence (12:04) Turning Adversity into Strength (22:00) The Power of Showing Up for Others (30:40) Why Details Matter in Business (42:32) Understanding the Let Them Theory (51:14) The Let Them Theory in Business Mel Robbins is a motivational speaker, the host of The Mel Robbins Podcast, and a bestselling author of several influential books, including her latest, The Let Them Theory. Known for her groundbreaking 5 Second Rule, she has helped millions of people take action and transform their lives. With 30 million views, her TEDx talk made her a recognized voice in behavior change. Mel is also the CEO of 143 Studios, a female-driven media company creating award-winning content for top brands like LinkedIn and Audible. She is a Forbes 50 Over 50 Honoree and one of USA Today’s Top 5 Mindset Coaches. Resources Mentioned: Mel’s Books: The Let Them Theory: A Life-Changing Tool That Millions of People Can't Stop Talking About : https://amzn.to/4h6quLh The 5 Second Rule: Transform your Life, Work, and Confidence with Everyday Courage : https://amzn.to/3WdAgTX Sponsored By: OpenPhone - Get 20% off 6 months at https://www.openphone.com/PROFITING Shopify - Sign up for a one-dollar-per-month trial period at https://www.youngandprofiting.co/shopify Airbnb - Your home might be worth more than you think. Find out how much at https://www.airbnb.com/host Rocket Money - Cancel your unwanted subscriptions and reach your financial goals faster with Rocket Money. Go to https://www.rocketmoney.com/profiting Indeed - Get a $75 job credit at indeed.com/profiting Active Deals - youngandprofiting.com/deals Key YAP Links Reviews - ratethispodcast.com/yap Youtube - youtube.com/c/YoungandProfiting LinkedIn - linkedin.com/in/htaha/ Instagram - instagram.com/yapwithhala/ Social + Podcast Services : yapmedia.com Transcripts - youngandprofiting.com/episodes-new All Show Keywords: Entrepreneurship, entrepreneurship podcast, Business, Business podcast, Self Improvement, Self-Improvement, Personal development, Starting a business, Strategy, Investing, Sales, Selling, Psychology, Productivity, Entrepreneurs, AI, Artificial Intelligence, Technology, Marketing, Negotiation, Money, Finance, Side hustle, Startup, mental health, Career, Leadership, Mindset, Health, Growth mindset. Career, Success, Entrepreneurship, Productivity, Careers, Startup, Entrepreneurs, Business Ideas, Growth Hacks, Career Development, Money Management, Opportunities, Professionals, Workplace, Career podcast, Entrepreneurship podcast…

2 ปีที่แล้ว 1:35:08

MP3•หน้าโฮมของตอน

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 Bit Rot?

[00:17:46] Nix vs. Docker

[00:21:32] Adoption at Growing Startups

[00:26:05] Use Case: Consistency Across Environments

[00:28:04] Use Case: Provisioning New Dev Machines

[00:32:24] Use Case: Portable Editor Configs

[00:35:05] Why Hasn't This Taken Off?

[00:40:27] Leaky Abstractions

[00:44:17] Security and other enterprise value props

[00:52:31] Improving the documentation

[00:56:34] Nix for software archival/archaeology

[01:02:21] Reducing DevOps/SRE burden

[01:07:51] Integrating Nix directly into programming languages

[01:09:57] Someone should build the Heroku for Nix

[01:25:17] How to take a position on Nix

Links/Resources:

===== About “The Technium” =====

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.

Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more!

===== Socials =====

WEBSITE: https://technium.transistor.fm/

SPOTIFY: https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7

APPLE PODCASTS: https://podcasts.apple.com/us/podcast/the-technium/id1608747545

40 ตอน

#Tech #Technium

Nix Package Management (S04E02)

The Technium

published 2 ปีที่แล้ว

แบ่งปัน

MP3•หน้าโฮมของตอน

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 Bit Rot?

[00:17:46] Nix vs. Docker

[00:21:32] Adoption at Growing Startups

[00:26:05] Use Case: Consistency Across Environments

[00:28:04] Use Case: Provisioning New Dev Machines

[00:32:24] Use Case: Portable Editor Configs

[00:35:05] Why Hasn't This Taken Off?

[00:40:27] Leaky Abstractions

[00:44:17] Security and other enterprise value props

[00:52:31] Improving the documentation

[00:56:34] Nix for software archival/archaeology

[01:02:21] Reducing DevOps/SRE burden

[01:07:51] Integrating Nix directly into programming languages

[01:09:57] Someone should build the Heroku for Nix

[01:25:17] How to take a position on Nix

Links/Resources:

===== About “The Technium” =====

Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more!

===== Socials =====

WEBSITE: https://technium.transistor.fm/

SPOTIFY: https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7

APPLE PODCASTS: https://podcasts.apple.com/us/podcast/the-technium/id1608747545

40 ตอน

#Tech #Technium

Όλα τα επεισόδια

1
LLMs eat software development 2:04:02

2 yearsที่แล้ว2:04:02

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 https://lukebechtel.com/blog/gpt4-generating-code ===== About “The Technium” ===== 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. Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more! ===== Socials ===== WEBSITE: https://technium.transistor.fm/ SPOTIFY: https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7 APPLE PODCASTS: https://podcasts.apple.com/us/podcast/the-technium/id1608747545…

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

2 yearsที่แล้ว2:07:07

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://www.e-pig.org/downloads/ydtm.pdf https://gist.github.com/Hirrolot/27e6b02a051df333811a23b97c375196 Proof Theory Impressionism: Blurring the Curry-Howard Line Type Systems - The Good, Bad and Ugly Dependent types for practical use Idris: Practical Dependent Types with Practical Examples Making Illegal States unrepresentable Can types replace validation https://www.cs.ox.ac.uk/ralf.hinze/WG2.8/26/slides/xavier.pdf…

1
ActivityPub: A Pu Pu Platter of Internet Content (S04E07) 1:48:09

2 yearsที่แล้ว1:48:09

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 Distribution 53:03 The Use Cases 01:07:41 Ideology 01:14:25 The Wild West 01:24:07 Deconstructed Content 01:34:52 Taking a Position ===== About “The Technium” ===== 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. Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more! ===== Socials ===== WEBSITE: https://technium.transistor.fm/ SPOTIFY: https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7 APPLE PODCASTS: https://podcasts.apple.com/us/podcast/the-technium/id1608747545 Links/Resources: https://tinysubversions.com/notes/reading-activitypub/ https://flak.tedunangst.com/post/ActivityPub-as-it-has-been-understood https://web.archive.org/web/20201124231343/https://cjslep.com/c/blog/an-activitypub-philosophy https://overengineer.dev/blog/2018/02/01/activitypub-one-protocol-to-rule-them-all.html https://overengineer.dev/blog/2019/01/13/activitypub-final-thoughts-one-year-later.html https://www.jeremydormitzer.com/blog/what-is-activitypub.html https://tinysubversions.com/notes/decentralized-social-networks/ https://kyefox.com/post/707900440336039936/activitypub-could-be-the-future https://ariadne.space/2019/01/07/activitypub-the-worse-is-better-approach-to-federated-social-networking/ https://activitypub.rocks/ https://overengineer.dev/blog/2019/01/13/activitypub-final-thoughts-one-year-later.html https://socialhub.activitypub.rocks/t/introduction-to-activitypub/508 https://github.com/joyeusenoelle/GuideToMastodon https://victoria.dev/blog/why-pixelfed-wont-save-us-from-instagram/ https://web.archive.org/web/20190713233100/https://blog.dereferenced.org/federation-what-flows-where-and-why https://web.archive.org/web/20190108060531/https://blog.dereferenced.org/activitypub-the-worse-is-better-approach-to-federated-social-networking https://www.eugenewei.com/blog/2021/9/29/and-you-will-know-us-by-the-company-we-keep https://twitter.com/AIMindFlow…

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

2 yearsที่แล้ว1:42:29

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 thought. Links/Resources: * https://mathspp.com/blog/why-apl-is-a-language-worth-knowing * https://www.quora.com/What-made-APL-programming-so-revolutionary?share=1 * https://tryapl.org/ * A Personal View of APL * Notation as a Tool for Thought * Heaviside Operator Calculus * Conway’s Game of Life in APL * Maxwell’s Equations: From 20 to 4 * Alan Kay’s answer to “What made APL so revolutionary?” * Testimonies * https://news.ycombinator.com/item?id=27463149 * https://news.ycombinator.com/item?id=27464005 * https://news.ycombinator.com/item?id=27465512 * https://github.com/razetime/ngn-k-tutorial/blob/main/01-intro.md 00 - Objectives and Prerequisites | "Learn APL with Neural Networks" https://dl.acm.org/doi/pdf/10.1145/3315454.3329960 Chapters: [00:00:00] Intros [00:03:36] What is APL? [00:05:42] Yes, it uses weird symbols [00:06:51] A language should change your thinking [00:13:08] Notation as a tool of thought [00:20:33] Connections to functional programming [00:28:23] What it feels like to program in APL [00:33:10] APL and IBM = big bucks [00:35:20] The echos of APL in modern data science tools [00:43:52] APL for big data pipelines [00:48:56] APL for Machine learning [00:54:59] APL for JSON manipulation [01:03:18] APL as a spreadsheet language [01:16:11] Superhuman programming: APL and LLMs [01:26:59] Making APL more explainable [01:38:18] Outro ===== About “The Technium” ===== 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. Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more! ===== Socials ===== WEBSITE: https://technium.transistor.fm/ SPOTIFY: https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7 APPLE PODCASTS: https://podcasts.apple.com/us/podcast/the-technium/id1608747545…

1
io_uring: Two rings makes computers go Brrrrr (S04E05) 1:27:51

2 yearsที่แล้ว1:27:51

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 ring buffers 28:07 What would the effect for the end user be? 34:50 Different operating modes 37:27 C10K for Filesystem IO 43:04 Speed is simplicity 47:07 Deconstructed databases 01:02:12 Effect systems 01:06:26 System functionality in programming language 01:10:55 OS as Actor Model 01:16:08 The Kernel is Userland ===== About “The Technium” ===== 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. Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more! ===== Socials ===== WEBSITE: [https://technium.transistor.fm/](https://technium.transistor.fm/) SPOTIFY: [https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7](https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7) APPLE PODCASTS: [https://podcasts.apple.com/us/podcast/the-technium/id1608747545](https://podcasts.apple.com/us/podcast/the-technium/id1608747545)…

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

2 yearsที่แล้ว1:46:00

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://mimix.io/en/blog/xanadu https://sentido-labs.com/en/library/201904240732/Xanadu%20Hypertext%20Documents.html https://www.notion.so/blog/ted-nelson https://www.wired.com/1995/06/xanadu/ https://xanadu.com.au/ararat https://www.youtube.com/watch?v=-_-5cGEU9S0 https://www.youtube.com/watch?v=hMKy52Intac https://www.youtube.com/watch?v=1gPM3GqjMR4 https://www.youtube.com/watch?v=hGKbRcvIZT8 https://www.youtube.com/watch?v=qyzgoeeloJA https://www.youtube.com/watch?v=_xYwgJW7T8o https://jasoncrawford.org/the-lessons-of-xanadu https://blockprotocol.org/ https://github.com/subconsciousnetwork/noosphere/blob/main/design/explainer.md https://maggieappleton.com/xanadu-patterns https://aaronzlewis.com/blog/2019/05/01/spreading-threading/ https://www.zombo.com/ https://stratechery.com/concept/aggregation-theory/ https://maggieappleton.com/tools-for-thought https://cdixon.org/2015/01/31/come-for-the-tool-stay-for-the-network Chapters: [00:00:00] Intros [00:03:22] What is Xanadu? [00:15:49] Transclusion and Bidirectionality [00:26:32] Versioning [00:29:47] Vision divorced from implementation [00:35:13] Baked in Payments [00:46:15] Hypermedia as Envisioned [00:56:20] Tiktok as Hypermedia [01:01:52] Alternative business model for the web [01:16:19] Failure to Launch [01:26:15] Linearization as a forge [01:31:51] Success of Xanadu's Vision [01:37:04] Passing the torch ===== About “The Technium” ===== 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. Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more! ===== Socials ===== WEBSITE: https://technium.transistor.fm/ SPOTIFY: https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7 APPLE PODCASTS: https://podcasts.apple.com/us/podcast/the-technium/id1608747545…

1
ChatGPT Part 2 (S04E03) 1:49:46

2 yearsที่แล้ว1:49:46

1:49:46

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:18 As a Civic Moderator 24:32 Social Upheaval 28:40 Platform Risk 49:51 Billion Dollar Solo Founder 58:35 Running out of Data 01:03:22 In other industries 01:24:52 Limitations 01:31:50 Build something that gets better as AI gets better Links: https://chat.openai.com/ https://www.lesswrong.com/posts/vJFdjigzmcXMhNTsx/simulator#Simulators http://www.incompleteideas.net/IncIdeas/BitterLesson.html https://xyproblem.info/ https://yaofu.notion.site/How-does-GPT-Obtain-its-Ability-Tracing-Emergent-Abilities-of-Language-Models-to-their-Sources-b9a57ac0fcf74f30a1ab9e3e36fa1dc1 ===== About “The Technium” ===== 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. Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more! ===== Socials ===== WEBSITE: https://technium.transistor.fm/ SPOTIFY: https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7 APPLE PODCASTS: https://podcasts.apple.com/us/podcast/the-technium/id1608747545…

1
ChatGPT Part 1 (S04E03) 1:30:24

2 yearsที่แล้ว1:30:24

1:30:24

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 Training on Code 25:13 Reinforcement Learning from Human Feedback 29:37 Dumb compute, stacked high 42:00 Talking to an Alien Intelligence 45:14 What's it good at and bad at? 56:05 The XY problem 01:03:36 GPT in Education 01:13:26 Eating High Status Jobs, Fulfilling Latent Demand Links: - https://chat.openai.com/ - https://www.lesswrong.com/posts/vJFdjigzmcXMhNTsx/simulator#Simulators - http://www.incompleteideas.net/IncIdeas/BitterLesson.html - https://xyproblem.info/ ===== About “The Technium” ===== 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. Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more! ===== Socials ===== WEBSITE: https://technium.transistor.fm/ SPOTIFY: https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7 APPLE PODCASTS: https://podcasts.apple.com/us/podcast/the-technium/id1608747545…

1
Nix Package Management (S04E02) 1:35:08

2 yearsที่แล้ว1:35:08

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 Bit Rot? [00:17:46] Nix vs. Docker [00:21:32] Adoption at Growing Startups [00:26:05] Use Case: Consistency Across Environments [00:28:04] Use Case: Provisioning New Dev Machines [00:32:24] Use Case: Portable Editor Configs [00:35:05] Why Hasn't This Taken Off? [00:40:27] Leaky Abstractions [00:44:17] Security and other enterprise value props [00:52:31] Improving the documentation [00:56:34] Nix for software archival/archaeology [01:02:21] Reducing DevOps/SRE burden [01:07:51] Integrating Nix directly into programming languages [01:09:57] Someone should build the Heroku for Nix [01:25:17] How to take a position on Nix Links/Resources: https://edolstra.github.io/pubs/phd-thesis.pdf https://www.iohannes.us/en/commentary/nix-critique/ https://nixos.org/guides/how-nix-works.html https://nix.dev/ https://blog.replit.com/powered-by-nix https://blog.replit.com/nix-vs-docker https://blog.wesleyac.com/posts/the-curse-of-nixos https://bicompact.space/blog/2020/06/20/nix-os-thoughts/ https://shopify.engineering/what-is-nix https://news.ycombinator.com/item?id=28241661 https://nixcloud.io/tour https://www.youtube.com/playlist?list=PLRGI9KQ3_HP_OFRG6R-p4iFgMSK1t5BHs ===== About “The Technium” ===== 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. Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more! ===== Socials ===== WEBSITE: https://technium.transistor.fm/ SPOTIFY: https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7 APPLE PODCASTS: https://podcasts.apple.com/us/podcast/the-technium/id1608747545…

1
Visual Programming (S04 E01) 2:04:50

2 yearsที่แล้ว2:04:50

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 computing, to today. This week we will cover a few major visual programming environments, why visual programming has remained compelling over the decades, and whether there is untapped potential for VP today. Chapters: [00:00:00] Intros [00:03:50] What is Visual Programming? [00:05:42] Origins [00:14:34] Block-based Visual Programming [00:20:26] Wire and Dataflow-based Visual Programming [00:31:51] An Umbrella Term [00:36:31] Conceptual History [00:48:23] The Duality of Direct Manipulation [00:58:40] Direct Manipulation of Running State [01:11:25] Programming by Example [01:21:17] Fill in the Details for Me [01:28:49] Strengths of Visual Programming [01:43:36] Leveraging the Visual Cortex [01:50:58] Second Order Effects Links/Resources: SketchPad demo: https://www.youtube.com/watch?v=2Cq8S3jzJiQ Pygmilion Paper: http://worrydream.com/refs/Smith%20-%20Pygmalion.pdf Demo:: https://youtu.be/xNW8wUpbqQM?t=319 Grail Demo: https://www.youtube.com/watch?v=2Cq8S3jzJiQ Hypercard Demo: https://www.youtube.com/watch?v=2Cq8S3jzJiQ Viewpoint https://scottkim.com/2020/06/07/viewpoint/ Scratch https://www.bryanbraun.com/2022/07/16/scratch-is-a-big-deal/ Labview (imperative control flow): https://www.ni.com/en-us/shop/labview.html Unreal Engine Blueprint (functional) https://docs.unrealengine.com/5.0/en-US/blueprints-visual-scripting-in-unreal-engine/ https://blueprintsfromhell.tumblr.com/ Max/MSP for musicians https://cycling74.com/products/max Others https://cables.gl/ https://nodes.io/ ===== About “The Technium” ===== 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. Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more! ===== Socials ===== WEBSITE: https://technium.transistor.fm/ SPOTIFY: https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7 APPLE PODCASTS: https://podcasts.apple.com/us/podcast/the-technium/id1608747545…

1
Lightning Network: Payments so small, it's a stream (S03 E10) 1:31:57

3 yearsที่แล้ว1:31:57

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.archive.org/web/20150301190111/http://lightning.network/lightning-network.pdf) - [https://lightning.network/lightning-network-technical-summary.pdf](https://lightning.network/lightning-network-technical-summary.pdf) - [https://open.spotify.com/episode/1usKtNJonBszrq5lzad8eh?si=RvuAtKbjSqmyfT--FkNogg](https://open.spotify.com/episode/1usKtNJonBszrq5lzad8eh?si=RvuAtKbjSqmyfT--FkNogg) About routing - [https://www.kevinrooke.com/post/when-sending-money-is-instant-and-free](https://www.kevinrooke.com/post/when-sending-money-is-instant-and-free) - [https://www.kevinrooke.com/post/the-lightning-networks-next-big-use-case](https://www.kevinrooke.com/post/the-lightning-networks-next-big-use-case) - [https://bitfury.com/content/downloads/whitepaper_flare_an_approach_to_routing_in_lightning_network_7_7_2016.pdf](https://bitfury.com/content/downloads/whitepaper_flare_an_approach_to_routing_in_lightning_network_7_7_2016.pdf) - [https://1ml.com/](https://1ml.com/) - [https://explorer.acinq.co/](https://explorer.acinq.co/) - [https://github.com/davidshares/Lightning-Network](https://github.com/davidshares/Lightning-Network) - [https://docs.lightning.engineering/](https://docs.lightning.engineering/) - [https://twitter.com/kerooke](https://twitter.com/kerooke) - [https://blog.coinbase.com/is-the-bitcoin-lightning-network-for-real-26e47029687f](https://blog.coinbase.com/is-the-bitcoin-lightning-network-for-real-26e47029687f) - [https://vitalik.ca/general/2021/01/05/rollup.html](https://vitalik.ca/general/2021/01/05/rollup.html) (good summary on payment channels and how they compare to rollups, even though this is on ethereum network) - [https://www.impervious.ai/](https://www.impervious.ai/) - [https://diar.co/volume-2-issue-25/](https://diar.co/volume-2-issue-25/) - [https://www.youtube.com/watch?v=qUAyW4pdooA](https://www.youtube.com/watch?v=qUAyW4pdooA) - [https://github.com/bcongdon/awesome-lightning-network](https://github.com/bcongdon/awesome-lightning-network) Show notes - Patio11: https://twitter.com/patio11 - Flare routing: https://bitfury.com/content/downloads/whitepaper_flare_an_approach_to_routing_in_lightning_network_7_7_2016.pdf - The nature of the firm https://onlinelibrary.wiley.com/doi/full/10.1111/j.1468-0335.1937.tb00002.x Chapters: [00:02:21] What is Lightning Network? [00:08:53] How does it work? [00:18:51] Payments without Infrastructure [00:25:34] Routing the Network [00:36:00] Low value, High volume [00:39:42] Micropayments for API metering [00:43:09] Micropayments for Open Source [00:49:12] Idea Accrediation Network [01:01:20] Structuring Our Society [01:15:01] Micropayments Change Relationships of the Firm [01:21:36] Taking a position ===== About “The Technium” ===== 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. Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more! ===== Socials ===== WEBSITE: [https://technium.transistor.fm/](https://technium.transistor.fm/) SPOTIFY: [https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7](https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7) APPLE PODCASTS: [https://podcasts.apple.com/us/podcast/the-technium/id1608747545](https://podcasts.apple.com/us/podcast/the-technium/id1608747545)…

1
Hypercore: Lego Blocks for P2P Apps (S03E09) 1:14:20

3 yearsที่แล้ว1:14:20

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 P2P File System [00:17:45] IPFS vs Hypercore [00:21:01] Bitfinex is using HyperBee [00:23:20] A Web of Data vs. Web of Pages [00:27:19] P2P Data Structures: Better Than P2P Files [00:29:52] IOT: a perfect candidate for decentralization? [00:34:30] P2P Databases for Civic Good [00:39:41] P2P Databases for Scientific Good [00:55:08] Impediments to adoption [01:03:54] Is this too futuristic even for us? [01:12:59] Outros Resources: [How the Hypercore Protocol Works](https://hypercore-protocol.org/protocol/) [Hypercore Protocol](https://hypercore-protocol.org/) [Dat Ecosystem](https://dat-ecosystem.org/) [On Dat://](https://www.kickscondor.com/on-dat) [What are the differences between IPFS and hyperdrive?](https://stackoverflow.com/questions/44859200/what-are-the-differences-between-ipfs-and-hyperdrive) [why-hypercore/FAQ.md at master · tradle/why-hypercore](https://github.com/tradle/why-hypercore/blob/master/FAQ.md) [Dripline: Taking the Mauve Pill: Exploring Alternatives to the Centralized Web](https://hypha.coop/dripline/p2p-primer-part-1/) [Dripline: Finding friends and staying safe: comparing peer discoverability and security in p2p networks](https://hypha.coop/dripline/p2p-primer-part-3/) [Dripline: Data Fast and Slow: Exploring Data Models and Mutability](https://hypha.coop/dripline/p2p-primer-part-2/) [Thinking about Filesystems, Databases, and Hypercores](https://paulfrazee.medium.com/thinking-about-filesystems-databases-and-hypercores-85de9d52d5b0) [Productizing P2P](https://paulfrazee.medium.com/productizing-p2p-bff5aed95f6a) https://github.com/automerge/pushpin https://github.com/kickscondor/duxtape ===== About “The Technium” ===== 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. Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more! ===== Socials ===== WEBSITE: https://technium.transistor.fm/ SPOTIFY: https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7 APPLE PODCASTS: https://podcasts.apple.com/us/podcast/the-technium/id1608747545…

1
Datomic: Immutable database for new web architecture S03E08 1:02:05

3 yearsที่แล้ว1:02:05

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) - [Intro To Datomic with Rich Hickey](https://www.youtube.com/watch?v=RKcqYZZ9RDY) - [KotlinConf 2018 - Datomic: The Most Innovative DB You've Never Heard Of by August Lilleaas](https://www.youtube.com/watch?v=hicQvxdKvnc) - [Love Letter To Clojure: And A Datomic Experience Report - Gene Kim](https://www.youtube.com/watch?v=5mbp3SEha38) - [Turning the database inside out](https://www.youtube.com/watch?v=fU9hR3kiOK0) - [Datomic - a scalable, immutable database system by Marek Lipert](https://www.youtube.com/watch?v=xGrCsIiiTUs) - ["Real-World Datomic: An Experience Report" by Craig Andera (2013)](https://www.youtube.com/watch?v=2WeFdAXZz30) - [https://tonsky.me/blog/unofficial-guide-to-datomic-internals/](https://tonsky.me/blog/unofficial-guide-to-datomic-internals/) - [https://www.infoq.com/articles/Architecture-Datomic/](https://www.infoq.com/articles/Architecture-Datomic/) - [https://www.infoq.com/presentations/The-Design-of-Datomic/](https://www.infoq.com/presentations/The-Design-of-Datomic/) - [Talking about Datomic, Datalog, GraphQL, APIs](https://www.notion.so/Datomic-52000e1e65d345509cbcde4681d5522f) - [What Datomic does to REST](https://web.archive.org/web/20210421110723/http://dustingetzcom.hyperfiddle.com/:what-datomic-does-to-rest/) - [Unofficial guide to Datomic Internals](https://tonsky.me/blog/unofficial-guide-to-datomic-internals/) - [Datomic Documentation Overview](https://docs.datomic.com/on-prem/overview/overview.html) - [The web after tomorrow](https://tonsky.me/blog/the-web-after-tomorrow/) - [APIs are about policy](https://acko.net/blog/apis-are-about-policy/) Chapters: 0:00 Intros [00:02:21] What is Datomic? [00:05:01] The Immutable Database [00:14:59] The N+1 Problem [00:20:59] Inference and Logical Programming [00:26:45] Database in the browser [00:39:24] Reducing the Impedence Mismatch [00:42:09] The Change in Perspective [00:51:14] Data as Social Artifact ===== About “The Technium” ===== 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. Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more! ===== Socials ===== WEBSITE: https://technium.transistor.fm/ SPOTIFY: https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7 APPLE PODCASTS: https://podcasts.apple.com/us/podcast/the-technium/id1608747545…

1
Urbit: The Thousand Year Operating System (S03 E07) 1:47:07

3 yearsที่แล้ว1:47:07

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://developers.urbit.org/guides/core/hoon-school - [https://vimeo.com/75312418 - http://moronlab.blogspot.com/2010/01/urbit-functional-programming-from.html - https://urbit.org/blog/precepts-discussion - COMMENTARY - https://news.ycombinator.com/item?id=6438320 - https://alexkrupp.typepad.com/sensemaking/2013/12/a-brief-introduction-to-urbit.html - https://thebaffler.com/latest/mouthbreathing-machiavellis - https://wejn.org/2021/02/urbit-good-bad-insane/#tldr - https://twitter.com/basileSportif/status/1544963208099909633 - https://www.vanityfair.com/news/2022/04/inside-the-new-right-where-peter-thiel-is-placing-his-biggest-bets Chapters: [00:00:00] Intros [00:01:54] What is Urbit? [00:06:30] The Functional Kernel Avro [00:13:46] Application Network Ames [00:18:07] Code Update Mechanism [00:23:38] Hoon Lang and Nock VM [00:33:56] Personal Computing through Digital Sovereignty [00:38:53] A Personal Computing Experience You Own [00:43:46] Cypherpunk Values [00:45:32] A Computer as an Heirloom [00:51:48] Philosophical Origins and Its Influence on Design [01:01:09] Capitalism Softens Radical Ideas [01:05:40] A computer you can't break [01:12:48] A ghost in the shell for 100+ years [01:17:05] What if the internet had identity and payments built in from the beginning? [01:27:29] A Global ID [01:30:37] A Digital Extension of the Self [01:43:31] The Takeaway Despite the Roots ===== About “The Technium” ===== 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. Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more! ===== Socials ===== WEBSITE: https://technium.transistor.fm/ SPOTIFY: https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7 APPLE PODCASTS: https://podcasts.apple.com/us/podcast/the-technium/id1608747545…

1
Hyperfiddle: Compiler Managed Network Connections (S03 E06) 1:24:07

3 yearsที่แล้ว1:24:07

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/) - [https://hyperfiddle.notion.site/Reactive-Clojure-You-don-t-need-a-web-framework-you-need-a-web-language-44b5bfa526be4af282863f34fa1cfffc](https://www.notion.so/Reactive-Clojure-You-don-t-need-a-web-framework-you-need-a-web-language-44b5bfa526be4af282863f34fa1cfffc) - [https://www.hytradboi.com/2022/uis-are-streaming-dags](https://www.hytradboi.com/2022/uis-are-streaming-dags) - [https://hyperfiddle.notion.site/UIs-are-streaming-DAGs-e181461681a8452bb9c7a9f10f507991](https://www.notion.so/UIs-are-streaming-DAGs-e181461681a8452bb9c7a9f10f507991) - How hyperfiddle changed over time - [https://web.archive.org/web/20180217034740/http://www.hyperfiddle.net/](https://web.archive.org/web/20180217034740/http://www.hyperfiddle.net/) - First video proof of Hyperfiddle's "distributed dataflow" architecture for server-streamed UI. "UI as an Expression” [https://twitter.com/dustingetz/status/1474050461745528839](https://twitter.com/dustingetz/status/1474050461745528839) - [https://github.com/hyperfiddle/hyperfiddle-2020](https://github.com/hyperfiddle/hyperfiddle-2020) - [https://www.youtube.com/watch?v=6888V9YsObM](https://www.youtube.com/watch?v=6888V9YsObM) Show Notes: - Have you tried rubbing a database on it? https://www.hytradboi.com/ - Self-adjusting Computations https://www.youtube.com/watch?v=G6a5G5i4gQU - Sloth ecosystems https://www.youtube.com/watch?v=VU9Tn_Qkjb8 - Simple Made Easy https://www.youtube.com/watch?v=SxdOUGdseq4 - Apps can be home-cooked meals https://www.robinsloan.com/notes/home-cooked-app/ - Bundling and Unbundling https://reallifemag.com/bundling-and-unbundling/ - Alan Kays: STEPS http://www.vpri.org/pdf/tr2012001_steps.pdf and the Niles Compiler https://github.com/damelang/nile https://raw.githubusercontent.com/wiki/damelang/nile/socal.pdf Chapters: 0:00 Intros [00:02:05] What is Hyperfiddle? [00:08:53] Managed Network through a Compiler [00:15:49] Arches for Software [00:19:21] Beyond Low Code [00:26:39] Abstractions: Simple vs Easy [00:29:14] Core of what's hard about apps [00:33:16] The Eight Fallacies [00:34:54] Home-cooked apps [00:40:28] The Piped Piper Dream [00:45:57] Reports for everyone! [00:51:35] A compiler to help manage state? [00:55:12] A Compiler for the Metaverse [01:01:44] Making Integration Smoother [01:04:38] OG "bare metal" [01:12:01] Hypertext as Application State [01:20:03] Compilers do hard things all the time ===== About “The Technium” ===== 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. Follow us for new videos every week on web3, cryptocurrency, programming languages, machine learning, artificial intelligence, and more! ===== Socials ===== WEBSITE: [https://technium.transistor.fm/](https://technium.transistor.fm/) SPOTIFY: [https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7](https://open.spotify.com/show/1ljTFMgTeRQJ69KRWAkBy7) APPLE PODCASTS: [https://podcasts.apple.com/us/podcast/the-technium/id1608747545](https://podcasts.apple.com/us/podcast/the-technium/id1608747545)…