How Many Miles of Driving Would It Take to Demonstrate Autonomous Vehicle Reliability? (RAND) — it may not be possible to establish with certainty the safety of autonomous vehicles. Uncertainty will remain. In parallel to developing new testing methods, it is imperative to develop adaptive regulations that are designed from the outset to evolve with the technology so that society can better harness the benefits and manage the risks of these rapidly evolving and potentially transformative technologies.
We Don’t Know How to Build Conversational Software — current brand-driven conversations are deeply underwhelming (phone trees with more typing is dystopic shopping), but I don’t know that we need to solve general AI for chatbots to provide an illusion of utility.
TensorFlow Playground — tinker with a neural network right here in your browser. Don’t worry, you can’t break it. We promise.
Curriculum For the Future (iTunes) — in game form, you get to figure out how to sell your preferred curriculum (“maker!”) to the parents and politicians who care about different things. Similar game mechanic to Win the White House from Sandra Day O’Connor’s iCivics.
Paul Ford on Racter — But don’t get too ahead of things. Using Racter is not as different from using Siri as you might expect. It’s just that Siri has petabytes of stuff in her brain, whereas Racter has a floppy’s worth. Computers have changed a ton in the last 30 years, humans barely at all. Don’t mistake their progress for ours. We’ve learned how to talk to computers, and they’ve learned how to pretend to understand us. Useful when driving. People love chatting with their Amazon Echo. But the conversation still doesn’t really mean anything.
Not Quite So Broken TLS (Adrian Colyer) — instead of ad-hoc codery, A precise and testable specification (in this case for TLS) that unambiguously determines the set of behaviours it allows (and hence also what it does not). The specification should also be executable as a test oracle, to determine whether or not a given implementation is compliant. The paper outlines this for TLS, but I see formal methods growing in importance in coming years. We can’t build an airport with cardboard on a swamp. In this metaphor, cardboard represents our ad hoc dev practices and the swamp is our platform of crap code. The airport is … look, never mind, I’ll work on the metaphor. Read the paper.