Lambda Set Defunctionalization With Ayaz Hafiz Software Unscripted podcast

Artwork

Tech Podcasting Education News Tech News Software Unscripted

Player FM - Internet Radio Done Right

37 subscribers

Agregado hace tres años

Contenido proporcionado por Richard Feldman. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Richard Feldman o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.

P

Peak Travel

Peak Travel podcast artwork

Peak Travel podcast artwork

1
You Can Visit All Seven Continents. But Should You? 26:46

hace 11 días26:46

Reproducir más Tarde

Reproducir más Tarde

26:46

For many travelers, Antarctica is a bucket-list destination, a once-in-a-lifetime opportunity to touch all seven continents. In 2023, a record-breaking 100,000 tourists made the trip. But the journey begs a fundamental question: What do we risk by traveling to a place that is supposed to be uninhabited by humans? And as the climate warms, should we really be going to Antarctica in the first place? SHOW NOTES: Kara Weller: The Impossible Dilemma of a Polar Guide Marilyn Raphael: A twenty-first century structural change in Antarctica’s sea ice system Karl Watson: First Time in Antarctica Jeb Brooks : 7 Days in Antarctica (Journey to the South Pole) Metallica - Freeze 'Em All: Live in Antarctica Learn about your ad choices: dovetail.prx.org/ad-choices…

Software Unscripted « »
Lambda Set Defunctionalization with Ayaz Hafiz

hace un año 45:09

Compartir

MP3•Episodio en casa

Contenido proporcionado por Richard Feldman. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Richard Feldman o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.

Richard talks with Ayaz Hafiz, a contributor to the Roc programming language, about a very specific topic in the Roc compiler, namely lambda set defunctionalization (including explaining what that term actually means). They then zoom out to talk about why more languages don't try to implement techniques like this in general.

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

… continue reading

105 episodios

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

Artwork

Lambda Set Defunctionalization with Ayaz Hafiz

Software Unscripted

37 subscribers

published hace un año

Compartir

MP3•Episodio en casa

Contenido proporcionado por Richard Feldman. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Richard Feldman o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.

Richard talks with Ayaz Hafiz, a contributor to the Roc programming language, about a very specific topic in the Roc compiler, namely lambda set defunctionalization (including explaining what that term actually means). They then zoom out to talk about why more languages don't try to implement techniques like this in general.

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

… continue reading

105 episodios

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

Todos los episodios

×

Artwork

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

hace 12 weeks1:07:42

Reproducir más Tarde

Reproducir más Tarde

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.…

Artwork

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

hace 15 weeks1:17:50

Reproducir más Tarde

Reproducir más Tarde

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.…

Artwork

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

hace 18 weeks1:02:50

Reproducir más Tarde

Reproducir más Tarde

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.…

Artwork

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

hace 22 weeks1:17:25

Reproducir más Tarde

Reproducir más Tarde

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.…

Artwork

1
AI in Programming Education with Will Sentance 59:21

hace 26 weeks59:21

Reproducir más Tarde

Reproducir más Tarde

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.…

Artwork

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

hace 29 weeks1:07:57

Reproducir más Tarde

Reproducir más Tarde

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.…

Artwork

1
Mojo with Chris Lattner 1:49:25

hace 33 weeks1:49:25

Reproducir más Tarde

Reproducir más Tarde

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.…

Artwork

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

hace 34 weeks1:11:59

Reproducir más Tarde

Reproducir más Tarde

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.…

Artwork

1
The CrowdStrike Incident with Kelly Shortridge 58:30

hace 36 weeks58:30

Reproducir más Tarde

Reproducir más Tarde

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.…

Artwork

1
Distributed Functions with Jonathan Magen 48:00

hace 39 weeks48:00

Reproducir más Tarde

Reproducir más Tarde

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.…

Artwork

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

hace 40 weeks59:28

Reproducir más Tarde

Reproducir más Tarde

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.

Artwork

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

hace 43 weeks54:30

Reproducir más Tarde

Reproducir más Tarde

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.

Artwork

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

hace 44 weeks1:08:32

Reproducir más Tarde

Reproducir más Tarde

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.…

Artwork

1
Fuzz Testing with Brendan Hansknecht 1:06:03

hace 46 weeks1:06:03

Reproducir más Tarde

Reproducir más Tarde

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.

Artwork

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

hace 47 weeks1:04:25

Reproducir más Tarde

Reproducir más Tarde

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.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Comparing F#, Elm, and Haskell with Michael Newton 1:09:18

hace 49 weeks1:09:18

Reproducir más Tarde

Reproducir más Tarde

1:09:18

Richard talks to Michael Newton, a programmer working as a consultant and trainer who has used several different functional programming languages in professional settings. They talk about the differences Michael has found between using F sharp, Haskell, and Elm, and especially how those differences apply in the context of professional production programming. Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Native UIs without Electron - with Nathan Sobo 1:16:34

hace 50 weeks1:16:34

Reproducir más Tarde

Reproducir más Tarde

1:16:34

Richard talks with Nathan Sobo, founder of Zed Industries (which creates the high-performance Zed code editor) about his time as an early developer on the Atom code editor, including how that project led to Electron. They then discuss how the Zed team has created GPUI, which uses native operating system APIs for events and goes straight to the graphics card for rendering. Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Compiling Smart Contracts with Lucas Rosa 59:30

hace 52 weeks59:30

Reproducir más Tarde

Reproducir más Tarde

59:30

Richard talks with Lucas Rosa, a compiler engineer working on the Aiken programming language for smart contracts, about tradeoffs in language and compiler design, property-based testing, syntax and familiarity, and compile-time evaluation of constants. Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Gleam 1.0 with Louis Pilfold 1:10:31

hace 1 year1:10:31

Reproducir más Tarde

Reproducir más Tarde

1:10:31

Richard talks with Louis Pilfold, creator of the Gleam programming language, about the language's 1.0 release, as well as other topics like backwards compatibility, hot-swapping code in production, and implementing a typed version of Erlang's famous OTP system, which had also been famously considered to be un-typeable. Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Compilers and Overly Complex Web Development with Thorsten Ball 1:13:30

hace 1 year1:13:30

Reproducir más Tarde

Reproducir más Tarde

1:13:30

Richard talks to Thorsten Ball, a programmer at Zed Industries and author of two books on compilers. They start out talking about the differences between compilers and interpreters, what the trickiest parts are of teaching compilers, and then end up talking about the unnecessary complexity that has taken over modern Web Development. Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Incremental Compilation with Alex Kladov 1:23:42

hace 1 year1:23:42

Reproducir más Tarde

Reproducir más Tarde

1:23:42

Richard talks with Rust Analyzer creator Alex Kladov (aka matklad) about compilers, including ways they can do incremental compilation, memory management strategies, modules and boundaries, and even monomorphization! Hosted on Acast. See acast.com/privacy for more information.

S

Software Unscripted

Software Unscripted podcast artwork

1
Programming and Industrial Design with Greg Wilson 57:52

hace 1 year57:52

Reproducir más Tarde

Reproducir más Tarde

57:52

Richard talks with programming teacher Greg Wilson about different types of beginner programmers and how they learn most effectively, what counterintuitive aspects of programming languages they tend to find more or less difficult to learn, and about the surprising relationship between software architecture and industrial design. Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Lambda Set Defunctionalization with Ayaz Hafiz 45:09

hace 1 year45:09

Reproducir más Tarde

Reproducir más Tarde

45:09

Richard talks with Ayaz Hafiz, a contributor to the Roc programming language, about a very specific topic in the Roc compiler, namely lambda set defunctionalization (including explaining what that term actually means). They then zoom out to talk about why more languages don't try to implement techniques like this in general. Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Implementing Databases with Glauber Costa 48:22

hace 1 year48:22

Reproducir más Tarde

Reproducir más Tarde

48:22

Richard talks with Glauber Costa about how to implement databases that can do millions of reads per second, how hardware changes have affected the tradeoffs around relational and NoSQL databsaes, and what people mean by Big Data. Hosted on Acast. See acast.com/privacy for more information.

S

Software Unscripted

Software Unscripted podcast artwork

1
The Return of Hypermedia with Carson Gross 1:08:48

hace 1 year1:08:48

Reproducir más Tarde

Reproducir más Tarde

1:08:48

Richard talks with HTMX creator Carson Gross about some of the ways in which modern web development has arguably regressed over the past 15 or so years, as well as Hypertext, Hypermedia, HyperCard, HyperView, HyperScript, and even some other topics that don't have hyper in the name. Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Go and Functional Programming with Lane Wagner 1:15:11

hace 1 year1:15:11

Reproducir más Tarde

Reproducir más Tarde

1:15:11

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

S

Software Unscripted

Software Unscripted podcast artwork

1
The Roc Programming Language with Richard Feldman 1:07:54

hace 1 year1:07:54

Reproducir más Tarde

Reproducir más Tarde

1:07:54

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

S

Software Unscripted

Software Unscripted podcast artwork

1
Making JITted Code Faster with Chris Nuernberger 1:09:04

hace 1 year1:09:04

Reproducir más Tarde

Reproducir más Tarde

1:09:04

Richard talks with Chris Nuernberger about his experiences making code run faster in the context of the Java Virtual Machine (JVM) and the similarities and differences between that and trying to make C++ code faster...among several other topics! Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
Things Web Devs Can Learn from Game Devs with Casey Muratori 2:06:37

hace 1 year2:06:37

Reproducir más Tarde

Reproducir más Tarde

2:06:37

Richard talks with Casey Muratori, a game engine programmer who's known for creating the term Immediate Mode GUIs, for his Twitch series Handmade Hero, and most recently for his excellent Performance Aware Programming course. They talk about performance and the programming culture around it, how memory safety relates to progarm architecture, what Web development can learn from game development, and even some concrete improvements that could be made to, you guessed it...CSS! Hosted on Acast. See acast.com/privacy for more information.…

S

Software Unscripted

Software Unscripted podcast artwork

1
How Programming has Changed with Conor Hoekstra 1:12:54

hace 1 year1:12:54

Reproducir más Tarde

Reproducir más Tarde

1:12:54

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

Bienvenido a Player FM!

Player FM está escaneando la web en busca de podcasts de alta calidad para que los disfrutes en este momento. Es la mejor aplicación de podcast y funciona en Android, iPhone y la web. Regístrate para sincronizar suscripciones a través de dispositivos.

Escucha más de 500 temas

Escucha este programa mientras exploras