1.1 --- a/org/sussman-reading-list.org	Tue Jun 03 15:30:18 2014 -0400
     1.2 +++ b/org/sussman-reading-list.org	Tue Jun 03 15:31:19 2014 -0400
     1.3 @@ -22,6 +22,135 @@
     1.4  that contains all of these papers in the order they appear on the
     1.5  page. ([[./sussman-recs.bib]]).
     1.6  
     1.7 +* Some /Real/ High school Reading
     1.8 +
     1.9 +  - [[http://www.cambridge.org/us/academic/subjects/physics/cosmology-relativity-and-gravitation/first-course-general-relativity][A First Course in General Relativity]], by Bernard F Schultz
    1.10 +    - ISBN: 9780521277037
    1.11 +    - Readable, not too heavy.
    1.12 +    - Minimal dependencies
    1.13 +    - You can just go through it slowly and understand at each step. 
    1.14 +
    1.15 +  - [[http://www.amazon.com/Space-Special-Relativity-David-Mermin/dp/0881334200][Space and Time in Special Relativity]], by [[http://www.lassp.cornell.edu/mermin/][David Mermin]]
    1.16 +    - ISBN: 0881334200
    1.17 +    - HIGHLY accessible.
    1.18 +    - This will change your life.
    1.19 +    - You will understand special relativity!
    1.20 +
    1.21 +  - [[http://www.feynmanlectures.info/][The Feynman Lectures on Physics]]
    1.22 +    - Highly understandable
    1.23 +    - Just go there and learn something already!
    1.24 +
    1.25 +  - [[http://aurellem.org/society-of-mind/][Society of Mind]], by [[http://web.media.mit.edu/~minsky/][Marvin Minsky]]
    1.26 +    - A trove of wonderful ideas!
    1.27 +
    1.28 +  - [[http://www.cambridge.org/us/knowledge/discountpromotion/?site_locale=en_US&code=L3QCSD][Quantum Computing since Democritus]], by [[http://www.scottaaronson.com/][Scott Aaronson]]
    1.29 +    - Everything you might want to know about computing with QM, with
    1.30 +      a philosophical outlook.
    1.31 +
    1.32 +  - Bible, Talmud, Koran
    1.33 +    - Read them whether or not you believe them!
    1.34 +    - Be sure to read between the lines, and you can discover what
    1.35 +      people were actually thinking back then.
    1.36 +    - Very interesting documents!
    1.37 +    - [[http://jhom.com/topics/voice/bat_kol_bab.htm][Bava Metzia 59b]] is an interesting story!
    1.38 +
    1.39 +* Representative Student Theses
    1.40 +  
    1.41 +  These are students where I played a large role in their
    1.42 +  education. Many of them represent compelling research directions
    1.43 +  that desperately need to be extended by the next generation of
    1.44 +  researchers! As Minsky says, if you want to do something really new,
    1.45 +  go back to points in the past where there was a neat idea that never
    1.46 +  really caught on, and follow the path of that idea to see where it
    1.47 +  leads. A comprehensive list of all my student's works can be found
    1.48 +  at my [[http://groups.csail.mit.edu/mac/users/gjs/gjs.html][homepage]]. If you want to cite any of these papers, you can
    1.49 +  find bibtex citations here: [[./sussman-recs.bib]].
    1.50 +
    1.51 +  In particular, here's two great ideas that seem extremely promising
    1.52 +  and have NOT been properly explored! You could be the first person
    1.53 +  to get them working!
    1.54 +
    1.55 +  - Using Chaotic Systems to get unlimited measurement precision!
    1.56 +    - Two papers: 
    1.57 +      - [[http://hdl.handle.net/1721.1/5953][A Global Approach to Parameter Estimation of Chaotic Dynamical
    1.58 +        Systems]], by [[http://eas.caltech.edu/people/3209/profile][Athanassios G. Siapas]], 1992.
    1.59 +      - [[http://hdl.handle.net/1721.1/7060][Parameter Estimation in Chaotic Systems]], by Elmer Hung, 1995.
    1.60 +    - No one put enough effort into seeing if it really worked.
    1.61 +    - Seems to allow for almost unlimited precision in measurement. 
    1.62 +    - Initial results look very promising, with a =13 order of
    1.63 +      magnitude= improvement in measurement precision in a simple
    1.64 +      experiment. 
    1.65 +    - You will win the Nobel Prize if you can get it to work, because
    1.66 +      you will revolutionize the way we do measurements. 
    1.67 +
    1.68 +  - [[http://hdl.handle.net/1721.1/12007][Towards Intelligent Structures: Active Control of Buckling]]
    1.69 +    - By [[http://www.berlinplace.com/][Andrew A. Berlin]], 1994
    1.70 +    - Achieves a 10 fold increase in strength by actively eliminating
    1.71 +      vibrational modes. 
    1.72 +    - Such a good idea; It's cool, short -- great!
    1.73 +    - No one's followed up on it!
    1.74 +  
    1.75 +  In historical order:
    1.76 +
    1.77 +  - [[http://hdl.handle.net/1721.1/6888][A System for Representing and Using Real-World Knowledge]]
    1.78 +    - By [[http://www.cs.cmu.edu/~sef/][Scott Elliot Fahlman]], 1977
    1.79 +    - Basically the reason that the Connection Machine was later
    1.80 +      invented.
    1.81 +
    1.82 +  - [[http://hdl.handle.net/1721.1/5679][The Connection Machine]]
    1.83 +    - By [[http://longnow.org/people/board/danny0/][Danny Hillis]], 1981
    1.84 +    - Beautiful thesis, though it doesn't tell you anything you can
    1.85 +      really /do/ today.
    1.86 +
    1.87 +  - [[http://hdl.handle.net/1721.1/6948][A Circuit Grammar For Operational Amplifier Design]]
    1.88 +    - By Andrew Ressler, 1984
    1.89 +    - If you're an Electrical Engineering person.
    1.90 +
    1.91 +  - [[http://hdl.handle.net/1721.1/6959][ONTIC: A Knowledge Representation System for Mathematics]]
    1.92 +    - By [[http://ttic.uchicago.edu/~dmcallester/][David A. McAllester]], 1987
    1.93 +    - Very hard, very deep.
    1.94 +    - You will need to know a lot of Math.
    1.95 +
    1.96 +  - [[http://hdl.handle.net/1721.1/7025][KAM: Automatic Planning and Interpretation of Numerical
    1.97 +    Experiments Using Geometrical Methods]]
    1.98 +    - By Kenneth Man-Kam Yip, 1989
    1.99 +    - Coolest PhD thesis ever!
   1.100 +    - Solve problems using graphs.
   1.101 +    - So cool!
   1.102 +
   1.103 +  - [[http://hdl.handle.net/1721.1/80483][Botanical Computing: A Developmental Approach to Generating
   1.104 +    Interconnect Topologies on an Amorphous Computer]]
   1.105 +    - By [[http://sta.uwi.edu/pelican/60under60/dcoore.asp][Daniel Coore]], 1999
   1.106 +    - Interesting to programmers especially.
   1.107 +
   1.108 +  - [[http://hdl.handle.net/1721.1/86667][Programmable Self-Assembly: Constructing Global Shape using
   1.109 +    Biologically-inspired Local Interactions and Origami Mathematics]]
   1.110 +    By [[http://www.eecs.harvard.edu/~rad/][Radhika Nagpal]], 2001
   1.111 +    - Also Interesting to programmers.
   1.112 +
   1.113 +  - [[http://hdl.handle.net/1721.1/8228][Cellular Computation and Communications using Engineered Genetic
   1.114 +    Regulatory Networks]]
   1.115 +    - By [[http://groups.csail.mit.edu/mac/users/rweiss/][Ron Weiss]], 2001
   1.116 +    - Third in a line of bio / amorphous computing papers which should
   1.117 +      be highly interesting to programmers.
   1.118 +
   1.119 +  - [[http://hdl.handle.net/1721.1/6082][An Algorithm for Bootstrapping Communications]] 
   1.120 +    - By Jake Beal, 2001
   1.121 +    - Seems like it could be "the right thing" for how modules in the
   1.122 +      brain learn to talk to each other.
   1.123 +    - Someone should expand on this work!
   1.124 +    - Also a PhD thesis from Beal on this: [[http://hdl.handle.net/1721.1/38483][Learning by Learning to
   1.125 +      Communicate]], 2007
   1.126 +
   1.127 +  - [[http://hdl.handle.net/1721.1/37913][Games, Puzzles, and Computation]]
   1.128 +    - By [[http://groups.csail.mit.edu/mac/users/bob/][Robert Aubrey Hearn]], 2006.
   1.129 +      
   1.130 +  - [[http://hdl.handle.net/1721.1/49525][Propagation Networks: A Flexible and Expressive Substrate for
   1.131 +    Computation]]
   1.132 +    - By [[http://web.mit.edu/~axch/www/][Alexey Andreyevich Radul]], 2009
   1.133 +    - Is a completely new way to program computers.
   1.134 +    - Under active development. You can get the latest code [[http://groups.csail.mit.edu/mac/users/gjs/propagators/propagator.tar][here]].
   1.135 +
   1.136  * From Sussman's Bookshelf:
   1.137  
   1.138    - [[http://www.amazon.com/Introductory-Network-Theory-Amar-Bose/dp/B0000CMXS1][Introductory Network Theory]], by A.G. Bose and K.N. Stevens
   1.139 @@ -157,136 +286,24 @@
   1.140        it only shows the limitations of certain simple kinds of Neural
   1.141        Nets.
   1.142  
   1.143 -* Representative Student Theses
   1.144 -  
   1.145 -  These are students where I played a large role in their
   1.146 -  education. Many of them represent compelling research directions
   1.147 -  that desperately need to be extended by the next generation of
   1.148 -  researchers! As Minsky says, if you want to do something really new,
   1.149 -  go back to points in the past where there was a neat idea that never
   1.150 -  really caught on, and follow the path of that idea to see where it
   1.151 -  leads. A comprehensive list of all my student's works can be found
   1.152 -  at my [[http://groups.csail.mit.edu/mac/users/gjs/gjs.html][homepage]]. If you want to cite any of these papers, you can
   1.153 -  find bibtex citations here: [[./sussman-recs.bib]].
   1.154 +* For Fun
   1.155 +  - [[http://prce.hu/w/TAAP.html][Time's Arrow and Archimedes' Point]], by Huw Price
   1.156 +    - ISBN: 0195117980
   1.157 +    - A reasonable philosopher!
   1.158  
   1.159 -  In particular, here's two great ideas that seem extremely promising
   1.160 -  and have NOT been properly explored! You could be the first person
   1.161 -  to get them working!
   1.162 +  - [[http://www.phys.ufl.edu/~cmw/wer.html][Was Einstein Right? : Putting General Relativity To The Test]], by
   1.163 +    Clifford M. Will
   1.164 +    - ISBN: 0465090869
   1.165  
   1.166 -  - Using Chaotic Systems to get unlimited measurement precision!
   1.167 -    - Two papers: 
   1.168 -      - [[http://hdl.handle.net/1721.1/5953][A Global Approach to Parameter Estimation of Chaotic Dynamical
   1.169 -        Systems]], by [[http://eas.caltech.edu/people/3209/profile][Athanassios G. Siapas]], 1992.
   1.170 -      - [[http://hdl.handle.net/1721.1/7060][Parameter Estimation in Chaotic Systems]], by Elmer Hung, 1995.
   1.171 -    - No one put enough effort into seeing if it really worked.
   1.172 -    - Seems to allow for almost unlimited precision in measurement. 
   1.173 -    - Initial results look very promising, with a =13 order of
   1.174 -      magnitude= improvement in measurement precision in a simple
   1.175 -      experiment. 
   1.176 -    - You will win the Nobel Prize if you can get it to work, because
   1.177 -      you will revolutionize the way we do measurements. 
   1.178 +  - [[http://en.wikipedia.org/wiki/Stranger_in_a_Strange_Land][Stranger in a Strange Land]], by Robert A. Heinlein
   1.179 +    - ISBN: 0441790348
   1.180  
   1.181 -  - [[http://hdl.handle.net/1721.1/12007][Towards Intelligent Structures: Active Control of Buckling]]
   1.182 -    - By [[http://www.berlinplace.com/][Andrew A. Berlin]], 1994
   1.183 -    - Achieves a 10 fold increase in strength by actively eliminating
   1.184 -      vibrational modes. 
   1.185 -    - Such a good idea; It's cool, short -- great!
   1.186 -    - No one's followed up on it!
   1.187 -  
   1.188 -  In historical order:
   1.189 -
   1.190 -  - [[http://hdl.handle.net/1721.1/6888][A System for Representing and Using Real-World Knowledge]]
   1.191 -    - By [[http://www.cs.cmu.edu/~sef/][Scott Elliot Fahlman]], 1977
   1.192 -    - Basically the reason that the Connection Machine was later
   1.193 -      invented.
   1.194 -
   1.195 -  - [[http://hdl.handle.net/1721.1/5679][The Connection Machine]]
   1.196 -    - By [[http://longnow.org/people/board/danny0/][Danny Hillis]], 1981
   1.197 -    - Beautiful thesis, though it doesn't tell you anything you can
   1.198 -      really /do/ today.
   1.199 -
   1.200 -  - [[http://hdl.handle.net/1721.1/6948][A Circuit Grammar For Operational Amplifier Design]]
   1.201 -    - By Andrew Ressler, 1984
   1.202 -    - If you're an Electrical Engineering person.
   1.203 -
   1.204 -  - [[http://hdl.handle.net/1721.1/6959][ONTIC: A Knowledge Representation System for Mathematics]]
   1.205 -    - By [[http://ttic.uchicago.edu/~dmcallester/][David A. McAllester]], 1987
   1.206 -    - Very hard, very deep.
   1.207 -    - You will need to know a lot of Math.
   1.208 -
   1.209 -  - [[http://hdl.handle.net/1721.1/7025][KAM: Automatic Planning and Interpretation of Numerical
   1.210 -    Experiments Using Geometrical Methods]]
   1.211 -    - By Kenneth Man-Kam Yip, 1989
   1.212 -    - Coolest PhD thesis ever!
   1.213 -    - Solve problems using graphs.
   1.214 -    - So cool!
   1.215 -
   1.216 -  - [[http://hdl.handle.net/1721.1/80483][Botanical Computing: A Developmental Approach to Generating
   1.217 -    Interconnect Topologies on an Amorphous Computer]]
   1.218 -    - By [[http://sta.uwi.edu/pelican/60under60/dcoore.asp][Daniel Coore]], 1999
   1.219 -    - Interesting to programmers especially.
   1.220 -
   1.221 -  - [[http://hdl.handle.net/1721.1/86667][Programmable Self-Assembly: Constructing Global Shape using
   1.222 -    Biologically-inspired Local Interactions and Origami Mathematics]]
   1.223 -    By [[http://www.eecs.harvard.edu/~rad/][Radhika Nagpal]], 2001
   1.224 -    - Also Interesting to programmers.
   1.225 -
   1.226 -  - [[http://hdl.handle.net/1721.1/8228][Cellular Computation and Communications using Engineered Genetic
   1.227 -    Regulatory Networks]]
   1.228 -    - By [[http://groups.csail.mit.edu/mac/users/rweiss/][Ron Weiss]], 2001
   1.229 -    - Third in a line of bio / amorphous computing papers which should
   1.230 -      be highly interesting to programmers.
   1.231 -
   1.232 -  - [[http://hdl.handle.net/1721.1/6082][An Algorithm for Bootstrapping Communications]] 
   1.233 -    - By Jake Beal, 2001
   1.234 -    - Seems like it could be "the right thing" for how modules in the
   1.235 -      brain learn to talk to each other.
   1.236 -    - Someone should expand on this work!
   1.237 -    - Also a PhD thesis from Beal on this: [[http://hdl.handle.net/1721.1/38483][Learning by Learning to
   1.238 -      Communicate]], 2007
   1.239 -
   1.240 -  - [[http://hdl.handle.net/1721.1/37913][Games, Puzzles, and Computation]]
   1.241 -    - By [[http://groups.csail.mit.edu/mac/users/bob/][Robert Aubrey Hearn]], 2006.
   1.242 -      
   1.243 -  - [[http://hdl.handle.net/1721.1/49525][Propagation Networks: A Flexible and Expressive Substrate for
   1.244 -    Computation]]
   1.245 -    - By [[http://web.mit.edu/~axch/www/][Alexey Andreyevich Radul]], 2009
   1.246 -    - Is a completely new way to program computers.
   1.247 -    - Under active development. You can get the latest code [[http://groups.csail.mit.edu/mac/users/gjs/propagators/propagator.tar][here]].
   1.248 -
   1.249 -* Some /Real/ High school Reading
   1.250 -
   1.251 -  - [[http://www.cambridge.org/us/academic/subjects/physics/cosmology-relativity-and-gravitation/first-course-general-relativity][A First Course in General Relativity]], by Bernard F Schultz
   1.252 -    - ISBN: 9780521277037
   1.253 -    - Readable, not too heavy.
   1.254 -    - Minimal dependencies
   1.255 -    - You can just go through it slowly and understand at each step. 
   1.256 -
   1.257 -  - [[http://www.amazon.com/Space-Special-Relativity-David-Mermin/dp/0881334200][Space and Time in Special Relativity]], by [[http://www.lassp.cornell.edu/mermin/][David Mermin]]
   1.258 -    - ISBN: 0881334200
   1.259 -    - HIGHLY accessible.
   1.260 -    - This will change your life.
   1.261 -    - You will understand special relativity!
   1.262 -
   1.263 -  - [[http://www.feynmanlectures.info/][The Feynman Lectures on Physics]]
   1.264 -    - Highly understandable
   1.265 -    - Just go there and learn something already!
   1.266 -
   1.267 -  - [[http://aurellem.org/society-of-mind/][Society of Mind]], by [[http://web.media.mit.edu/~minsky/][Marvin Minsky]]
   1.268 -    - A trove of wonderful ideas!
   1.269 -
   1.270 -  - [[http://www.cambridge.org/us/knowledge/discountpromotion/?site_locale=en_US&code=L3QCSD][Quantum Computing since Democritus]], by [[http://www.scottaaronson.com/][Scott Aaronson]]
   1.271 -    - Everything you might want to know about computing with QM, with
   1.272 -      a philosophical outlook.
   1.273 -
   1.274 -  - Bible, Talmud, Koran
   1.275 -    - Read them whether or not you believe them!
   1.276 -    - Be sure to read between the lines, and you can discover what
   1.277 -      people were actually thinking back then.
   1.278 -    - Very interesting documents!
   1.279 -    - [[http://jhom.com/topics/voice/bat_kol_bab.htm][Bava Metzia 59b]] is an interesting story!
   1.280 -
   1.281 -
   1.282 +  - [[http://www.gutenberg.org/ebooks/729][Hackers, Heroes of the Computer Revolution]], by Steven Levy
   1.283 +    - ISBN: 1449388396
   1.284 +    - Accuracy is not too good - people's names are spelled wrong, for
   1.285 +      example.
   1.286 +    - But the /feelings/ are exactly right! This book really captures
   1.287 +      what it was like to be in the AI lab back in the good old days.
   1.288  * Selected works by Sussman
   1.289    
   1.290    - [[http://groups.csail.mit.edu/mac/users/gjs/6946/sicm-html/book.html][SICM (Structure and Interpretation of Classical Mechanics)]] This is
   1.291 @@ -309,21 +326,4 @@
   1.292    - [[http://groups.csail.mit.edu/mac/users/gjs/6946/calculus-indexed.pdf][Functional Differential Geometry]] Treatment of functional
   1.293      differential geometry in the classic SIC[M/P] style.
   1.294  
   1.295 -* For Fun
   1.296 -  - [[http://prce.hu/w/TAAP.html][Time's Arrow and Archimedes' Point]], by Huw Price
   1.297 -    - ISBN: 0195117980
   1.298 -    - A reasonable philosopher!
   1.299  
   1.300 -  - [[http://www.phys.ufl.edu/~cmw/wer.html][Was Einstein Right? : Putting General Relativity To The Test]], by
   1.301 -    Clifford M. Will
   1.302 -    - ISBN: 0465090869
   1.303 -
   1.304 -  - [[http://en.wikipedia.org/wiki/Stranger_in_a_Strange_Land][Stranger in a Strange Land]], by Robert A. Heinlein
   1.305 -    - ISBN: 0441790348
   1.306 -
   1.307 -  - [[http://www.gutenberg.org/ebooks/729][Hackers, Heroes of the Computer Revolution]], by Steven Levy
   1.308 -    - ISBN: 1449388396
   1.309 -    - Accuracy is not too good - people's names are spelled wrong, for
   1.310 -      example.
   1.311 -    - But the /feelings/ are exactly right! This book really captures
   1.312 -      what it was like to be in the AI lab back in the good old days.