Freeman Dyson on Richard Feynman and QED


I was looking for a quote of Feynman saying "The diagram is the idea!" That's how I feel about some of the programs I've written.

See Bartosz Milewski - Category Theory for Programmers and for a way of formally explaining what I mean by that, see https://prooftoys.org/ian-grant/hm/.

Subscribe to Web of Stories.

Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023