wavePod

AI-powered podcast summaries delivered to your inbox within minutes of release.

Product

How It Works
Browse Podcasts
Your Library

Company

About Wave
Privacy Policy
Terms of Service

Get Wave AI

Download App
Contact

© 2026 Wave. All rights reserved.

Back to Software Unscripted

Metaprogramming Your IDE in Lean 4 with Harry Goldstein - Software Unscripted cover

Metaprogramming Your IDE in Lean 4 with Harry Goldstein

Software Unscripted

Sun Dec 21 2025

Powered by Wave AI

Get AI-powered summaries and transcripts for any meeting, phone call, or podcast.

AI SummariesFull TranscriptsSpeaker Identification

Available on iOS, Android, Mac, and Windows

Get Wave AI →

Loading summary...

No transcript available.

Metaprogramming Your IDE in Lean 4 with Harry Goldstein - Software Unscripted | Wave AI Podcast Notes