Tooling-Aware Language Design With Eli Dowling Software Unscripted podcast

Software Unscripted

Software Unscripted podcast artwork

Tech Podcasting Education News Tech News Software Unscripted

Player FM - Internet Radio Done Right

37 subscribers

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

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

<

<div class="span index">1</div> <span><a class="" data-remote="true" data-type="html" href="/series/this-is-womans-work-with-nicole-kalil">This Is Woman's Work with Nicole Kalil</a></span>

<div class="span index">1</div> <span><a class="" data-remote="true" data-type="html" href="/series/this-is-womans-work-with-nicole-kalil">This Is Woman's Work with Nicole Kalil</a></span> podcast artwork

<div class="span index">1</div> <span><a class="" data-remote="true" data-type="html" href="/series/this-is-womans-work-with-nicole-kalil">This Is Woman's Work with Nicole Kalil</a></span> podcast artwork

1
This Is Woman's Work with Nicole Kalil

ยกเลิกการติดตาม

3 วันที่แล้ว3d ago

ยกเลิกการติดตาม

รายสัปดาห์+

Together, we're redefining what it means, looks and feels like, to be doing "woman's work" in the world today. With confidence and the occasional rant. From boardrooms to studios, kitchens to coding dens, we explore the multifaceted experiences of today's woman, confirming that the new definition of "woman's work" is whatever feels authentic, true, and right for you. We're shedding expectations, setting aside the "shoulds", giving our finger to the "supposed tos". We're torching the old playbook and writing our own rules. Who runs the world? You decide. Learn more at nicolekalil.com

Software Unscripted « »
Tooling-Aware Language Design with Eli Dowling

ประมาณหนึ่งปีที่แล้ว 1:11:59

แบ่งปัน

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

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

Richard talks with Eli Dowling about his contributions to the Roc programming language, as well as the intersection of language design and editor tooling, parsers that recover from errors, tree-sitter, going beyond the language server protocol, and the downsides of macros.

Perceus paper - https://www.microsoft.com/en-us/research/uploads/prod/2020/11/perceus-tr-v1.pdf

The Koka Programming Language - https://koka-lang.github.io

"The Quicksort Talk" (Outperforming Imperative with Pure Functional Languages) - https://youtu.be/vzfy4EKwG_Y

Tree-Sitter - https://tree-sitter.github.io

Neovim Editor - https://neovim.io

Helix Editor - https://helix-editor.com

Zed Editor - https://zed.dev

Language Server Protocol (LSP) - https://microsoft.github.io/language-server-protocol

Hygienic Macros - https://en.wikipedia.org/wiki/Hygienic_macro

Rust Macros - https://doc.rust-lang.org/book/ch19-06-macros.html

Hosted on Acast. See acast.com/privacy for more information.

… continue reading

105 ตอน

#Tech #Podcasting Education #News #Tech News #Software Unscripted

Software Unscripted

Software Unscripted podcast artwork

Tooling-Aware Language Design with Eli Dowling

Software Unscripted

37 subscribers

published ประมาณหนึ่งปีที่แล้ว

แบ่งปัน

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

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

Richard talks with Eli Dowling about his contributions to the Roc programming language, as well as the intersection of language design and editor tooling, parsers that recover from errors, tree-sitter, going beyond the language server protocol, and the downsides of macros.

Perceus paper - https://www.microsoft.com/en-us/research/uploads/prod/2020/11/perceus-tr-v1.pdf

The Koka Programming Language - https://koka-lang.github.io

"The Quicksort Talk" (Outperforming Imperative with Pure Functional Languages) - https://youtu.be/vzfy4EKwG_Y

Tree-Sitter - https://tree-sitter.github.io

Neovim Editor - https://neovim.io

Helix Editor - https://helix-editor.com

Zed Editor - https://zed.dev

Language Server Protocol (LSP) - https://microsoft.github.io/language-server-protocol

Hygienic Macros - https://en.wikipedia.org/wiki/Hygienic_macro

Rust Macros - https://doc.rust-lang.org/book/ch19-06-macros.html

Hosted on Acast. See acast.com/privacy for more information.

… continue reading

105 ตอน

#Tech #Podcasting Education #News #Tech News #Software Unscripted

ทุกตอน

×

S

Software Unscripted

Software Unscripted podcast artwork

1
From Scala to Roc with Monica McGuigan 1:07:42

11 weeksที่แล้ว1:07:42

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

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

ลิสต์

ถูกใจ

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

1:07:42

Monica McGuigan, a Scala programmer at JP Morgan, talks with Richard about her experiences learning Roc with a Scala background. They get into topics like how language design affects beginners and experts, what parts of functional programming are easier and harder to learn than others, and how language designers inform their design decisions. Support Software Unscripted on Patreon: https://patreon.com/SoftwareUnscripted Monica's chapter on JSON decoders: https://github.com/roc-lang/book-of-examples/pull/68 Grapheme clusters: https://unicode.org/glossary/#extended_grapheme_cluster Roc's string operations: https://www.roc-lang.org/builtins/Str Talk: The Functional Purity Inference Plan: https://youtu.be/42TUAKhzlRI?si=TwxYoqMgh0UXQLfn Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Testing in Production with Mike Bryzek 1:17:50

14 weeksที่แล้ว1:17:50

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

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

ลิสต์

ถูกใจ

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

1:17:50

Mike Bryzek has been a technical cofounder of two very successful companies using some very unorthodox technical strategies that have worked out very well for him and his teams! These include testing in production, spending the first few months of a brand-new company's life investing in automation and tooling before shipping a product, and microservices - but not done in the way I've usually heard them described. Support Software Unscripted on Patreon: https://patreon.com/SoftwareUnscripted Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Building Video Editing Software with Andrew Lisowski 1:02:50

17 weeksที่แล้ว1:02:50

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

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

ลิสต์

ถูกใจ

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

1:02:50

Richard talks with Andrew Lisowski, a Senior Engineer at Descript - which makes audio and video editing software that has been used to edit this very podcast! They talk about some of the surprising challenges of dealing with video editing compared to audio alone, the economics of niche podcasts and programming conferences, and the evolution of Web browsers! Support Software Unscripted on Patreon: https://patreon.com/SoftwareUnscripted Descript: https://www.descript.com Andrew Lisowski: https://www.hipstersmoothie.com devtools.fm episode that was on HN frontpage: https://news.ycombinator.com/item?id=41301639 Zencastr: https://zencastr.com/?via=richard-feldman Forced Aligners: https://github.com/MahmoudAshraf97/ctc-forced-aligner Gentle Aligner: https://github.com/lowerquality/gentle Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
The EYG Language with Peter Saxton 1:17:25

21 weeksที่แล้ว1:17:25

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

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

ลิสต์

ถูกใจ

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

1:17:25

Richard talks with Peter Saxton, creator of the EYG programming language, about the problems Peter aims to solve with EYG, and some of the unique design decisions he's made with it. A type-safe eval() operation even comes up in the discussion! Support Software Unscripted on Patreon: https://patreon.com/SoftwareUnscripted EYG: https://eyg.run Unison: https://unison-lang.org Roc: https://roc-lang.org Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
AI in Programming Education with Will Sentance 59:21

25 weeksที่แล้ว59:21

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

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

ลิสต์

ถูกใจ

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

59:21

Richard talks with Will Sentance, the teacher of the Hard Parts series and the founder and CEO of CodeSmith, which is a Software Engineering and AI immersive education program. They talk about how AI is intersecting with modern programming education, what's considered "fundamentals" these days, and how Will thinks about teaching object-oriented and functional programming. Support Software Unscripted on Patreon: https://www.patreon.com/SoftwareUnscripted JavaScript: The Hard Parts: https://frontendmasters.com/courses/javascript-hard-parts-v2/ AI for Software Engineers: https://frontendmasters.com/workshops/engineering-and-ai/ CodeSmith: https://www.codesmith.io/ Richard's courses: https://frontendmasters.com/teachers/richard-feldman/#courses Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Software for Elite Athletes with Kyle Boddy 1:07:57

28 weeksที่แล้ว1:07:57

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

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

ลิสต์

ถูกใจ

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

1:07:57

Richard talks with Kyle Boddy about the biomechanical and data analysis software Kyle wrote—and continues to write—as the founder and CTO of Driveline Baseball, a data-driven player development company that has landed numerous players in Major League Baseball, including multiple Most Valuable Players and 2024's number one draft pick. They talk about Kyle's background in PHP and the C++ he wrote to coordinate budget high-speed cameras back when Driveline was a one-programmer garage shop, up through today where large language models have become an integral part of the development team's daily work. Driveline Baseball: https://www.drivelinebaseball.com/ Washington Post article: https://www.washingtonpost.com/opinions/2024/04/10/op-moneyballai/ Documentary about Driveline: https://youtu.be/K5Dnshu7atU Phind AI: https://www.phind.com Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Mojo with Chris Lattner 1:49:25

32 weeksที่แล้ว1:49:25

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

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

ลิสต์

ถูกใจ

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

1:49:25

For the 100th episode of Software Unscripted, Richard talks with Chris Lattner, creator of Swift, the Clang C++ compiler, LLVM, and now the Mojo programming language, about Mojo, Roc, API design, compiler optimizations, and language design! "Swift for C++ Practitioners" by Doug Gregor - https://www.douggregor.net/posts/swift-for-cxx-practitioners-value-types/ Mojo - https://www.modular.com/mojo Modular Computing - https://www.modular.com Roc - https://roc-lang.org LLVM - https://llvm.org Clang - https://clang.llvm.org Swift - https://www.swift.org CUDA - https://developer.nvidia.com/cuda-zone SIMD - https://en.wikipedia.org/wiki/Single_instructionmultipledata cmov instruction - https://github.com/marcin-osowski/cmov Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Tooling-Aware Language Design with Eli Dowling 1:11:59

33 weeksที่แล้ว1:11:59

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

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

ลิสต์

ถูกใจ

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

1:11:59

Richard talks with Eli Dowling about his contributions to the Roc programming language, as well as the intersection of language design and editor tooling, parsers that recover from errors, tree-sitter, going beyond the language server protocol, and the downsides of macros. Perceus paper - https://www.microsoft.com/en-us/research/uploads/prod/2020/11/perceus-tr-v1.pdf The Koka Programming Language - https://koka-lang.github.io "The Quicksort Talk" (Outperforming Imperative with Pure Functional Languages) - https://youtu.be/vzfy4EKwG_Y Tree-Sitter - https://tree-sitter.github.io Neovim Editor - https://neovim.io Helix Editor - https://helix-editor.com Zed Editor - https://zed.dev Language Server Protocol (LSP) - https://microsoft.github.io/language-server-protocol Hygienic Macros - https://en.wikipedia.org/wiki/Hygienic_macro Rust Macros - https://doc.rust-lang.org/book/ch19-06-macros.html Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
The CrowdStrike Incident with Kelly Shortridge 58:30

35 weeksที่แล้ว58:30

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

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

ลิสต์

ถูกใจ

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

58:30

Richard talks with Kelly Shortridge about the CrowdStrike Incident that caused many computers worldwide to get stuck in a boot loop on July 19, 2024. A video version of this episode is available on YouTube at https://www.youtube.com/watch?v=rzjaZssBEiI or ad-free to our wonderful Patreon supporters! https://www.patreon.com/posts/109888395 The incident: https://en.wikipedia.org/wiki/2024_CrowdStrike_incident Kelly Shortridge: https://www.kellyshortridge.com Kelly's book: https://securitychaoseng.com Hillel Wayne's interviews with traditional engineers who have also been software engineers: https://www.hillelwayne.com/talks/crossover-project Gell-Mann amnesia effect: https://en.wikipedia.org/wiki/Michael_Crichton#Gell-Mann_amnesia_effect Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Distributed Functions with Jonathan Magen 48:00

38 weeksที่แล้ว48:00

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

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

ลิสต์

ถูกใจ

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

48:00

Richard talks with distributed systems scientist Jonathen Magen about functional programming in distributed systems, including languages like Gleam, Elixir, Ballerina, and Jolie. They also talk about type inference, big data, and a few other topics. Jonathan Magen: https://yonkeltron.com or https://jawns.club/@yonkeltron Programming languages mentioned: https://ballerina.io https://www.jolie-lang.org https://gleam.run https://elixir-lang.org Richard's talk: Why Static Typing Came Back - https://youtu.be/Tml94je2edk Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Undo-Redo and Persistent State with Tom Ballinger 59:28

39 weeksที่แล้ว59:28

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

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

ลิสต์

ถูกใจ

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

59:28

Richard talks with Tom Ballinger about undo and redo in the context of REPLs and running effects, stateful systems in general, hot code loading, and database query planning. Hosted on Acast. See acast.com/privacy for more information.

S

Software Unscripted

Software Unscripted podcast artwork

1
Smalltalk's Past, Present, and Future with Juan Vuletich 54:30

42 weeksที่แล้ว54:30

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

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

ลิสต์

ถูกใจ

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

54:30

Richard talks with Juan Vuletich, creator of Cuis Smalltalk, about the past, present and future of Smalltalk - including quite a bit of interesting history and programming philosophy! Hosted on Acast. See acast.com/privacy for more information.

S

Software Unscripted

Software Unscripted podcast artwork

1
From Game Dev to Web Dev 1:08:32

43 weeksที่แล้ว1:08:32

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

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

ลิสต์

ถูกใจ

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

1:08:32

Richard talks with Wolfgang Schuster about his experiences first as a professional game developer, and then later as a professional Web developer. Theytalk about the differences in programming practices he's seen between the two, including things like automated testing, dependency management, and releases. Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Fuzz Testing with Brendan Hansknecht 1:06:03

45 weeksที่แล้ว1:06:03

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

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

ลิสต์

ถูกใจ

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

1:06:03

Richard talks with Brendan Hansknecht, an AI compiler engineer at Modular, about various testing techniques, including fuzzing, property-based tests, database tests, tests involving network requests, and more! Hosted on Acast. See acast.com/privacy for more information.

S

Software Unscripted

Software Unscripted podcast artwork

1
A Haskeller Tries Smalltalk with Ian Jeffries 1:04:25

46 weeksที่แล้ว1:04:25

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

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

ลิสต์

ถูกใจ

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

1:04:25

Richard talks with Ian Jeffries about his experiences as a Haskeller exploring modern Smalltalk (arguably the original object-oriented programming language), including both the historical context of where Smalltalk came from as well as what it's like using it in a modern context. Hosted on Acast. See acast.com/privacy for more information.…

ขอต้อนรับสู่ Player FM!

Player FM กำลังหาเว็บ

เปิดฟังกว่า 500+ หัวข้อ

คู่มืออ้างอิงด่วน

พอดคาสต์ยอดนิยม

The Secret Sauce

สัพเพHEYไรว้าาา

Geek Forever’s Podcast

วอยซ์ ออฟ อเมริกา

ข่าวสดสายตรงจากวีโอเอ ภาคภาษาไทย 8:30–9:00 น. - วอยซ์ ออฟ อเมริกา

ปลดล็อกกับหมอเวช

WiTcast (ฟีดเก่า ไม่ใช้แล้ว)

ฟังรายการนี้ในขณะที่คุณสำรวจ