Future of Coding cover image

Programming as Theory Building by Peter Naur

Future of Coding

00:00

Building Theories of Programming

Rile: If you want to gain the original theory of a program, you need to work with its original authors who have that theory. Rile: Research does not generally consist only in operating with pens, but also in operating with microscopes and telescopes,. balances and galvanometers, log lines and litmus papers. Theories which they finally built feel like it's this thing that you have to do all this work to arrive at. And I almost feel like why not treat a theory as this soup of the mind that is ever brewing and the expression of which is just taking a drop or two out of each bowl?

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app