Software Unscripted

Gleam programming language creator Louis Pilfold talks with Richard about Gleam's design and various challenges that came up when implementing its compiler.
- Gleam Language - https://gleam.run
- Erlang Language - https://www.erlang.org
- Elixir Language - https://elixir-lang.org
- Roc Language - https://www.roc-lang.org
- Hadoukenify https://github.com/reibitto/hadoukenify - presumably based on https://twitter.com/dr4goonis/status/476617165463105536
- "Let-generalization: Let's not?" by Ayaz Hafiz - https://github.com/roc-lang/rfcs/blob/e4f05480ed96136395bb466bf5c241e42100bf66/0010-let-generalization-lets-not.md
- "Let Should Not Be Generalised" by Simon Peyton Jones, Dimitrios Vytiniotis, and Tom Schrijvers - https://simon.peytonjones.org/let-generalised/
Hosted on Acast. See acast.com/privacy for more information.

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.

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.

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.

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.