[<<][compsci][>>][..]

Sussman: We Really Dont Know How To Compute

- Brains are fast
- Computing: limiting factor is programmers / programming
- Generics and abstract evaluation
- Autodiff
- dynamic reconfigurability
- trade provability for flexibility
- propagators
  -> recent breakthrough: cell = info about value, not value
  -> cells merge insformation monotonically

[1] http://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Compute



[Reply][About]
[<<][compsci][>>][..]