
Sign up to save your podcasts
Or
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/
4.9
188188 ratings
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/
377 Listeners
274 Listeners
244 Listeners
284 Listeners
40 Listeners
590 Listeners
621 Listeners
269 Listeners
987 Listeners
62 Listeners
139 Listeners
72 Listeners
47 Listeners
75 Listeners
63 Listeners