Gerald Jay Sussman on Using Computer Programs to Understand Physics
Using them to understand physicists is next-level stuff though.
17:43 see the graphic and the comments here: https://prooftoys.org/ian-grant/hm/ and The Definition of Standard ML: Ian Grant's Weather Report agosto 08, 2022.
23:33 See the introduction to this: Genesis.
In that text I argued that programming computers is also something that should be demonstrated by writing programs which write programs, ... See GNU Thunder.
Subscribe to William E Byrd.
Sussman talking at Strange Loop in 2011 - We Really Don't Know How To Compute!
At 16:24 he shows a neat trick for deriving the Chain Rule. All you do is assume that infinitessimals exist.
Subscribe to Kenneth Friedman.
Comments
Post a Comment