Health & supplements · #19 of 299 in the last 90 days
Lean on podcasts
Lean is an open-source functional programming language and interactive theorem prover. It is used to write maintainable software and formally verify mathematical proofs and program properties. What podcasts say about Lean
Episodes, 90 days
Shows
First heard
Latest read
Week by week
Episodes that carried a read by the host, seven days at a time.
Starts Aug 22: before that, most shows on the panel have no history yet.
Show the data
| 7 days from | Episodes | Shows |
|---|---|---|
| Aug 22 | 3 | 2 |
| Aug 29 | 3 | 3 |
| Sep 5 | 2 | 2 |
| Sep 12 | 2 | 2 |
| Sep 19 | 2 | 1 |
| Sep 26 | 4 | 2 |
| Oct 3 | 4 | 3 |
| Oct 10 | 0 | 0 |
The latest reads
Each one opens the episode at the second the ad starts.
- The Mystery of Talarico's DISAPPEARANCE, and Ari Emanuel on Secrets of Hollywood, the Value of "Rage," and Meghan Markle | Ep. 1415Hear itThe Megyn Kelly Show · Oct 9
- Trump's Midterm Messaging Strategy, Botched Execution Fallout, Daylight Saving Fight: AM Update 10/5Hear itThe Megyn Kelly Show · Oct 5
- Hear it
- The PDB Situation Report | October 3rd, 2026: Neil deGrasse Tyson: Are We Ready for What AI Becomes Next?Hear itThe President's Daily Brief · Oct 3
- Letitia James Starts "Cornell 7" Witch Hunt, and JD Vance's Important Comment on Men, with Sean Davis and Sohrab Ahmari | Ep. 1411Hear itThe Megyn Kelly Show · Oct 2
- Jack Smith Grilled, Trump Hosts AI Summit, NYT Executive Allegedly Killed by In-Laws: AM Update 9/30Hear itThe Megyn Kelly Show · Sep 30
- Hear it
- Madonna's Vile VMAs Performance, the Tom Brady Lesson, Plus How the GOP Can Avoid a Midterms "Nightmare," with Mark Halperin | Ep. 1407Hear itThe Megyn Kelly Show · Sep 28
- Trump's Newsy UN Address, Panettiere Death Linked to Fentanyl, Clavicular Charges: AM Update 9/23Hear itThe Megyn Kelly Show · Sep 23
- King Charles vs. Diana's Brother, Harry and Meghan's Latest Fails, Plus Chazz Palminteri on Robert De Niro and Woody Allen | Ep. 1404Hear itThe Megyn Kelly Show · Sep 23
Pro adds the offer each host made in these reads.
Flights, placements and promo codes
See the weeks Lean ran on each show, whether its reads are pre-, mid- or post-roll, and the promo codes and links each host read. Part of PodLume Business.
Talk to usHost-read sponsor spots heard on the PodLume Trends panel up to Oct 16. Ads inserted by a network and shows promoting themselves are left out. All advertisers