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 Theil, but yet he still seemed to graduate with two degrees.
However, the most interesting thing to me is Jimmy working hard to teach the world how to design better software.
After spending lots of time writing programs that write programs, he developed some unique insights into what makes software good and what makes it bad and spends time teaching people his insights.
Three Level of Software
Peter Theil 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/
Tech Talk: Structure and Interpretation of Computer Programs with Hal Abelson
Tech Talk: Open Source Health and Diversity with Heather C Miller
Tech Talk: Compiling to Bytecode with Thorsten Ball
Tech Talk: Bartosz Milewski on Category Theory
Tech Talk: Typescript with Chris Krycho
Tech Talk: Rethinking Technological Positivism with Cory Doctorow
Tech Talk: Crafting Interpreters With Bob Nystrom
Tech Talk: Rethinking databases and Noria with Jon Gjengset
Tech Talk: Learning to Think with Andy Hunt - Pragmatic Programmers guide to being productive
Tech Talk: Data and Scale with Pat Helland - The long view on distributed databases
Abstraction and Learning with Runar Bjarnason
Tech Talk: Modern Systems Programming And Scala Native With Richard Whaling
Burn out and recreational coding with Jamis Buck
Tech Talk: Software as a Reflection of Values With Bryan Cantrill
Tech Talk: The Little Typer With Daniel Friedman and David Thrane Christiansen
Tech Talk: Big Ball Of Mud
Tech Talk: God's Programming Language - Philip Wadler on Haskell
Tech Talk: Test in Production and being On-Call with Charity Majors
Tech Talk: Domain Driven Design And Microservices
Create your
podcast in
minutes
It is Free
gm! crypto
CyberWire Daily
Babbage from The Economist
The WAN Show
Cybersecurity Today