Hah, was planning on linking to Nicky Case[0], but of course that's exactly who's behind this! :D
Very exciting project. We're absolutely leaving "leaving money on the table" by not leveraging the full power of the brain for education and reasoning about complex systems. See also: Bret Victor's "Ladder of Abstraction" [1], and Kevin Simler's "Going Critical" [2].