Software Unscripted

Richard Feldman

Software Unscripted, A weekly podcast of casual conversations about code hosted by Richard Feldman. Hosted on Acast. See acast.com/privacy for more information.

  1. 21 DEC

    Metaprogramming Your IDE in Lean 4 with Harry Goldstein

    Harry Goldstein talks with Richard Feldman about the Lean 4 programming language's compile-time metaprogramming capabilities, including how they can be used to control elements of your IDE in realtime. They also discuss other topics like property-based testing, theorem proving, and Smalltalk. You can get ad-free episodes (including video) by supporting Software Unscripted on Patreon! https://www.patreon.com/SoftwareUnscripted The Best New Programming Language is a Proof Assistant by Harry Goldstein - https://youtu.be/c5LOYzZx-0c?si=UnTfkczIhdoF7Qkx The Lean Programming Language - https://lean-lang.org Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey - https://youtu.be/re96UgMk6GQ?si=8xqpAS8VTQaqgbzg "Shen: A Sufficiently Advanced Lisp" by Aditya Siram - https://youtu.be/lMcRBdSdO_U?si=VOwJNeLAvnIRUm_n Hypothesis Property-Based Testing library for Python - https://hypothesis.works/ Hosted on Acast. See acast.com/privacy for more information.

    41 min
  2. Jonathan Blow on Programming Language Design

    15 NOV

    Jonathan Blow on Programming Language Design

    Jonathan Blow, creator of popular games Braid and The Witness, talks with Richard about programming language design - including the design of the programming language he's been building for game developers. Keynote & Tech Demo - https://youtu.be/IdpD5QIVOKQ ECS and Rust's Borrow Checker - https://youtu.be/4t1K66dMhWk "The 30 Million Line Problem" - https://youtu.be/kZRE7HIO3vk "A New Programming Language for Games" - https://youtu.be/TH9VCN6UkyQ?si=Z5cqazo4QU7AibzB Roc Programming Language - https://roc-lang.org Casey Muratori's "Performance-Aware Programming" Course - https://www.computerenhance.com/p/welcome-to-the-performance-aware File Pilot File Explorer - https://filepilot.tech/ Ghostty Terminal - https://ghostty.org/ Language Server Protocol - https://microsoft.github.io/language-server-protocol/ WebAssembly Integer Sizes - https://developer.mozilla.org/en-US/docs/WebAssembly/Reference/Numeric/Const Cliff Click's Sea of Nodes Compiler IR - https://github.com/SeaOfNodes/ Chapters 00:00 The Programming Establishment 02:04 Metaprogramming 05:04 Compile-Time Execution 08:05 Language Feature Interoperability 10:53 Compile Time Execution 27:52 Cross-Compiling and FFI 31:04 Determinism in Programming 35:07 Balancing Power and Safety 40:11 Memory Safety vs. Performance 50:15 The Evolution of Software Performance 55:32 Performance Awareness 01:03:56 Dependencies and Version Control 01:14:54 Dependency Availability Risk 01:18:42 Memory Management 01:24:51 Sandboxing 01:30:23 Operating Systems Hosted on Acast. See acast.com/privacy for more information.

    1u 42m
  3. Zig Creator Andrew Kelley

    9 OKT

    Zig Creator Andrew Kelley

    Richard talks with Zig Creator Andrew Kelley. - Support Zig - https://ziglang.org/zsf/ - Zig's "Writergate" - https://ziglang.org/download/0.15.1/release-notes.html#Writergate - "What Color is Your Function?" by Robert Nystrom - https://journal.stuffwithstuff.com/2015/02/01/what-color-is-your-function/ - "Asynchrony is not Concurrency" by Loris Cro - https://kristoff.it/blog/asynchrony-is-not-concurrency/ - "Data alignment for speed: myth or reality?" by Daniel Lemire - https://lemire.me/blog/2012/05/31/data-alignment-for-speed-myth-or-reality/ Hosted on Acast. See acast.com/privacy for more information.

    1u 49m
  4. Securing Evolving Software with Noah Hall

    20 SEP

    Securing Evolving Software with Noah Hall

    xz vulnerability: https://en.wikipedia.org/wiki/XZ_Utils_backdoor Spectre: https://en.wikipedia.org/wiki/Spectre_(security_vulnerability) Meltdown: https://en.wikipedia.org/wiki/Meltdown_(security_vulnerability) Heartbleed: https://en.wikipedia.org/wiki/Heartbleed Noah on GitHub https://github.com/eeue56 - Substack https://substack.com/@eeue56 - BlueSky https://bsky.app/profile/derw-lang.com Hosted on Acast. See acast.com/privacy for more information.

    1 u
  5. Andreas Kling on Ladybird Browser, SerenityOS, and Powerlifting

    1 SEP

    Andreas Kling on Ladybird Browser, SerenityOS, and Powerlifting

    Ladybird Browser - https://ladybird.org SerenityOS - https://serenityos.org Story of the man who used powerlifting to recover after falling off a roof https://startingstrength.com/articles/brian_jones_story.pdf StrongLifts 5x5 - https://stronglifts.com/stronglifts-5x5/ Starting Strength - https://startingstrength.com/ Hosted on Acast. See acast.com/privacy for more information.

    1u 20m
  6. GPU Programming and Language Design with Chris Lattner

    25 JUL

    GPU Programming and Language Design with Chris Lattner

    Richard talks with Swift, LLVM, Clang, and Mojo creator Chris Lattner about programming on the GPU and on the CPU, as well as a number of programming language design topics. Chris's "Democratizing AI Compute" blog series - https://www.modular.com/blog/democratizing-compute-part-1-deepseeks-impact-on-aiMojo https://www.modular.com/mojoRoc https://www.roc-lang.orgSoftware Unscripted episode with Futhark language creator https://pod.link/1602572955/episode/00564b1774ebe0e4225a630825ed3deeClaude 4 https://www.anthropic.com/news/claude-4 Hosted on Acast. See acast.com/privacy for more information.

    1u 19m
  7. Broken AI Discourse with Steve Klabnik

    4 JUL

    Broken AI Discourse with Steve Klabnik

    Longtime Rust contributor Steve Klabnik talks with Richard about the broken state of AI discourse, from excessive hype to excessive hate, and reasonable alternatives we could pursue instead. Steve's blog post: "I am disappointed in the AI discourse" - https://steveklabnik.com/writing/i-am-disappointed-in-the-ai-discourse/ Deep dive into why Rust's compile times are slow: https://www.pingcap.com/blog/rust-compilation-model-calamity/ Y Combinator partners on "100x productivity" claims: https://www.youtube.com/watch?v=IACHfKmZMr8&t=155s Hosted on Acast. See acast.com/privacy for more information.

    1u 20m
  8. Language Design Deep Dive with Elixir Creator José Valim

    1 JUN

    Language Design Deep Dive with Elixir Creator José Valim

    Elixir creator José Valim goes into a very deep dive on language design with Richard, centered around some upcoming major design changes to the Roc programming language. - https://elixir-lang.org - https://roc-lang.org - Unison's algebraic effects: https://www.unison-lang.org/docs/fundamentals/abilities/ - Koka's algebraic effects: https://koka-lang.github.io/koka/doc/book.html#why-effects - OCaml's algebraic effects: https://ocaml.org/manual/5.3/effects.html Hosted on Acast. See acast.com/privacy for more information.

    2u 26m
Bekijk alles (114)

Info

Software Unscripted, A weekly podcast of casual conversations about code hosted by Richard Feldman. Hosted on Acast. See acast.com/privacy for more information.

Informatie

  • Maker
    Richard Feldman
  • Jaren actief
    2021 - 2025
  • Afleveringen
    114
  • Beoordeling
    Veilig
  • Copyright
    © 2024 Richard Feldman
  • Website van aflevering
    Software Unscripted

Suggesties voor jou