# Kevin Hartnett

قسمت های برتر پادکست
به روز شده:

The Heavens Proclaim

Kevin Hartnett, NASA Scientist, shares about the majesty and grandieur of the cosmos using Hubble Space Telescope images

Stargazers Welcome

The night sky isn’t just for experts, it belongs to all of us! And we here at NASA love to encourage people to go out and take a look. Amateur astronomer Kevin Hartnett, Hubble Social Media Lead Elizabeth Tammi, and the Astronomical Society of Greenbelt take us on a tour of the stars and share how …

Stargazers Welcome

The night sky isn’t just for experts, it belongs to all of us! And we here at NASA love to encourage people to go out and take a look. Amateur astronomer Kevin Hartnett, Hubble Social Media Lead Elizabeth Tammi, and the Astronomical Society of Greenbelt take us on a tour of the stars and share how …

Hot I.P.O Summer + What Is A.I. Doing to Math? + HatGPT

SpaceX, Anthropic and OpenAI are all racing to the public markets. We discuss what their I.P.O.s mean for the industry, charitable giving and anyone invested in an index fund. Then, more than 1,000 mathematicians signed a declaration this week raising concerns about the use of A.I. in their field. …

Ep. 44: Succession Planning for Contractors ft. Kevin Hartnett

Construction business succession planning is one of the hardest things a contractor will ever take on, and most owners start far too late. Kevin Hartnett came up through the electrical trade, founded Laser Electric in 1987, and years later sold the company to his son through a plan that took half a…

S04 EP02: Regrouping with Barb Oakley After IEC 2026!

WPTL Show Notes S4 Ep2 08202026 Walker Podcast WPTL Interview with Barb Oakley S4 Ep2, Barb Oakley, Back to School Fall 2026 Our special interview with Dr. Barb Oakley, author and researcher, and our Instructional Excellence speaker this past May.  The interview is a focused follow up with Barb, al…

The Proof in the Code: How Lean Is Quietly Rewriting Trust in Math (w/ Kevin Hartnett)

In this episode, Autumn and Noah talk with Kevin Hartnett about why mathematicians are willing to spend years reducing an idea to a level of detail a machine can check, whether formal verification can catch an AI that's technically correct but fundamentally misaligned, the cold-start problem that k…