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...Show More
🎉 Join the #1 community of podcast lovers and never miss a great podcast.
Sign up
Recommendations