I was just ranting on HN about the need for this two weeks ago. It seems like the inevitable end game for teaching of hard sciences (and possibly other fields). One inspiration (besides the book you referenced) is there first few posts of "An Intuitive Explanation of Quantum Mechanics".
Here is a great example[1] where he describes QM as essentially a computational process and does everything just shy of writing down the code. That specific page is from the series here [2].
And from reading this I realized how much easier many concepts would be to grasp if you could just read the objective source code of the description and not have to try to interpret messy English or imprecise notations.
I was just ranting on HN about the need for this two weeks ago. It seems like the inevitable end game for teaching of hard sciences (and possibly other fields). One inspiration (besides the book you referenced) is there first few posts of "An Intuitive Explanation of Quantum Mechanics".
Here is a great example[1] where he describes QM as essentially a computational process and does everything just shy of writing down the code. That specific page is from the series here [2].
And from reading this I realized how much easier many concepts would be to grasp if you could just read the objective source code of the description and not have to try to interpret messy English or imprecise notations.
1. https://www.lesswrong.com/posts/5vZD32EynD9n94dhr/configurat... 2. https://www.lesswrong.com/posts/apbcLXz5zB7PXfgg2/an-intuiti...