We Now Don't Even Know How To Engineer
See Gerald Jay Sussman on Using Computer Programs to Understand Physics. I just listened to the second half of this Strange Loop 2011 talk, starting from the story about the constraint propagator model at 25:05:
There are some really interesting ideas there. They aren't pie-in-the-sky (or pis in the concrete!) either. Those lambda models of electronic circuits he described could be used to specify the code to implement control systems on embedded computers, so you don't have to use hand-coded control loops and load device-specific driver API libraries which are all vulnerable to subversion of software development systems. See The Mother of all Software Vulnerabilities (jueves, 16 de julio de 2015) and Ian Grant's Weather Report 8/23/22.
See Juan Browne on Some Of The Mechanics of Pilot Training. You really want to be sure the software development tools they use at Garmin are not subverted.
Comments
Post a Comment