Re:Interactive SICP
by formalsystem on Thursday January 31, 2019 @09:16PM
(#19051028)
I really enjoyed the section on symbolic data in SICP https://xuanji.appspot.com/isicp/2-3-symbolic.html - gives lots of good insight to start thinking about how automatic differentiation is implemented in the deep learning libraries.
Re:Interactive SICP
by twtw on Thursday January 31, 2019 @10:12PM
(#19051267)
FWIW, automatic differentiation (as used in popular machine learning frameworks) is not the same thing as the symbolic differentiation described in that section.
HtDP is published by the MIT Press, but I'm not sure that's the same as saying it's "from MIT". None of the authors of HtDP are at MIT. One is at Northeastern, one at Northwestern, one at Utah, and one at Brown. Lots of CS books are published by MIT Press regardless of whether MIT actually makes use of the material.
Also, HtDP uses PLAI, a language implemented in Racket, which is not pure Scheme, but that's a pretty minor nitpick that doesn't really detract from your point. HtDP is a pretty good textbook, in my (admittedly limited) experience with it.
This is beautifully done.
https://news.ycombinator.com/item?id=7149908
https://github.com/allenleein/brains/blob/master/Zen-of-Func...
Some resources for learning FP:
https://github.com/allenleein/brains/blob/master/Zen-of-Func...
I started with mit-scheme but it was horrible for a vim and ipython user. This helps you configure tmux, vim, and racket for sicp.
[1]: https://crash.net.nz/posts/2014/08/configuring-vim-for-sicp/
That GitHub username reminds me of xkcd 1105. https://xkcd.com/1105/
Both SICP and HTDP are from MIT.
HtDP is published by the MIT Press, but I'm not sure that's the same as saying it's "from MIT". None of the authors of HtDP are at MIT. One is at Northeastern, one at Northwestern, one at Utah, and one at Brown. Lots of CS books are published by MIT Press regardless of whether MIT actually makes use of the material.
Also, HtDP uses PLAI, a language implemented in Racket, which is not pure Scheme, but that's a pretty minor nitpick that doesn't really detract from your point. HtDP is a pretty good textbook, in my (admittedly limited) experience with it.