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.