Programming language security, robot laws, open data platform, and telephony recharged:
- Languages and Security Reading (Ivan Krstić) — I love his tripartite division of language security work, as it completely gels with my experience. 1. The “My name is Correctness, king of kings” people say that security problems are merely one manifestation of incorrectness, which is dissonance between what the program is supposed to do and what its implementation actually does. This tends to be the group led by mathematicians, and you can recognize them because their solutions revolve around proofs and the writing and (automatic) verification thereof.
- High Time to Act on Armed Robots (New Scientist) — Philosopher A.C. Grayling (of whom I only know from his appearances on In Our Time) has written an interesting piece calling for us to start talking about the rules and regulations around robots. Not because of any fear they’ll enslave mankind, but because we deal with the possibility that people “malfunction” through procedures, expectations, rules, and the law. We don’t think much about the failure modes of robots in life, but even less about the legal status of such malfunctions–if an autonomous military robot kills its own soldiers, who is responsible? What are the odds of this happening? This is related to PW Singer’s Wired For War. (via Mind Hacks)
- Guardian’s Open Data Platform — Everyday we work with datasets from around the world. We have had to check this data and make sure it’s the best we can get, from the most credible sources. But then it lives for the moment of the paper’s publication and afterward disappears into a hard drive, rarely to emerge again before updating a year later. So, together with its companion site, the Data Store – a directory of all the stats we post – we are opening up that data for everyone. Whenever we come across something interesting or relevant or useful, we’ll post it up here and let you know what we’re planning to do with it. They’re publishing all this data via Google Spreadsheets, and have a content API to fetch stories. Sample content app built the first day it was public: Guardian + Lucene = Similar Articles + Categorisation I fetched the 13,000 articles categorised as ‘Science’, fed them to Solr, and used that to generate similar articles and their categories. so if you liked an article you can get another like it. Guardian just put data on universities into their data store. (Via Simon Willison, who worked on it).
- Grand Central to Finally Launch as Google Voice (TechCrunch) — the breathless fawning servile prose of this fellatial article aside, it’s wonderful to see telephony apps getting press again (even gush). New features include voicemail transcription, which has to be the new “must have” feature for people like me who live and die (most often die) by the inbox. Voicemail is so due for a reboot, just as much as email.