Four short links: 23 February 2016

AI or IA, Retro Chatbots, Science by Software, and Spec as Test Oracle

  1. Doing Something For Me vs Allowing Me To Do Even More (Matt Webb) — nails the split in startups. Come on, valley kids … do you want diapers or do you want superpowers?
  2. Paul Ford on RacterBut 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.
  3. Accelerating Science: A Computing Research Agenda (PDF) — Siri thinks I want to tell telemarketers to “duck off,” while researchers look to automated hypothesis generation, experiment design, results analysis, and knowledge integration.
  4. 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.
See more editions of Four Short Links...
tags: , , , , , , , ,

Get the O’Reilly Data Newsletter

Stay informed. Receive weekly insight from industry insiders.

Get the O’Reilly Web Ops and Performance Newsletter

Weekly insight from industry insiders. Plus exclusive content and offers.

Get the O’Reilly Programming Newsletter

Weekly insight from industry insiders. Plus exclusive content and offers.

Get the O’Reilly Hardware Newsletter

Get weekly insight and knowledge on how to design, prototype, manufacture, and market great connected devices.

Get Four Short Links in Your Inbox

Sign up to receive Nat’s eclectic collection of curated links every weekday.

Get the O’Reilly Design Newsletter

Stay informed. Receive weekly insight from industry insiders.

Get the O’Reilly Web Platform Newsletter

Stay informed. Receive weekly insight from industry insiders—plus exclusive content and offers.