Tech Talk: Jimmy Koppel on Advanced Software Design

Tech Talk: Jimmy Koppel on Advanced Software Design

Tech Talks are in-depth technical discussions.

How do we create great software? What are the important skills need to properly review a PR? How do you identify assumptions of a code base and the stable contracts of a software module?

Jimmy Koppel is working on his Ph.D. in the field of program synthesis at MIT. He was previously paid 100 thousand dollars to drop out of university by Peter Thiel, but yet still graduated with two degrees.

The most interesting, however, about Jimmy is he is working hard to teach the world how to design better software.
Due to his time working on program synthesis, he developed some unique insights into what makes software good, and what makes it bad, and he spends time teaching people his insights.


Three Level of Software

Peter Thiel 20 under 20

Benjamin Franklin Method

You are a Program Synthesizer

Jimmy's Coaching Program

Episode Page: https://corecursive.com/036-jimmy-koppel-advanced-software-design/

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(115)

Quick Update

Quick Update

A quick update from Adam about the podcast's current state, consistency challenges, and what's coming next.  Episode Page Support The Show Subscribe To The Podcast Join The Newsletter

2 Sep 20258min

Coding in the Red-Queen Era

Coding in the Red-Queen Era

What do we risk when we let AI do the heavy lifting in our coding? Are we giving up the thinking that makes us good at what we do? And as expectations keep rising to match productivy gains, is all thi...

6 Aug 202542min

When AI Codes, What's Left for me?

When AI Codes, What's Left for me?

I've always found meaning—and a lot of strength—in building things. Now, with AI coding agents changing the way we work, it's easy to feel threatened, like something essential might get taken away. Bu...

2 Jul 202539min

Story: Coding Through Chaos : Addiction, Recovery and Acceptance

Story: Coding Through Chaos : Addiction, Recovery and Acceptance

What if your search for connection took you somewhere you never meant to go—almost costing you everything? John Walker grew up building computers and exploring early internet forums, always looking fo...

3 Jun 202548min

Story: The Power of Context: Reimagining Learning

Story: The Power of Context: Reimagining Learning

Have you ever found yourself in a situation where learning felt like an uphill battle? Like no matter how hard you tried, the pieces just wouldn't fall into place?   Steve Krouse's story shows the pow...

2 Mai 202545min

Story: briffa_sep98_e.pro - The File That Sparked a Storm

Story: briffa_sep98_e.pro - The File That Sparked a Storm

Can a single line of code change the way we see science, policy, and trust?   In this episode we explore the "Climategate" scandal that erupted from leaked emails and code snippets, fueling doubts abo...

2 Apr 202557min

Story: Hatetris - Obsession, Friendship, and World Records

Story: Hatetris - Obsession, Friendship, and World Records

What if a simple game became a gateway to computational breakthroughs? David Freiberg and Felipe set out on a journey to conquer Hatetris, a notoriously difficult JavaScript game. Their interest ignit...

3 Mar 202548min

Story: One Million Checkboxes - The Viral Game That Defied Convention

Story: One Million Checkboxes - The Viral Game That Defied Convention

What if internet trolls could become your greatest collaborators? Nolen Royalty discovered this unexpected truth when his simple checkbox game went viral. It began with a school email prank that crash...

3 Feb 202552min

Populært innen Politikk og nyheter

giver-og-gjengen-vg
aftenpodden
forklart
aftenpodden-usa
stopp-verden
popradet
fotballpodden-2
lydartikler-fra-aftenposten
rss-gukild-johaug
det-store-bildet
dine-penger-pengeradet
nokon-ma-ga
rss-ness
hanna-de-heldige
rss-espen-lee-usensurert
aftenbla-bla
grasoner-den-nye-kalde-krigen
rss-dannet-uten-piano
e24-podden
rss-penger-polser-og-politikk