Four short links: 21 September 2016
Simple Text Processing, Future Work Strategies, Chatbot Errors, and Formal Verification
- textblob — simple Python library for text processing, which plays well with NLTK and pattern.
- 10 Strategies For a Workable Future (PDF, IFTF) — These 10 strategies invite us to consider both the technical details and the broad policy questions that will help us build a workable future.
- 11 Mess-Ups While Making a Chatbot — When people fully tune into a bot, they hand over complete control of their thinking. And common sense can go out of the window; it means your bot needs to cover all of the bases, however small. Following instructions one after another seems to put people into a passive state—and if you don’t tell them to do something, they just don’t do it.
- On Formal Verification (Quanta) — introductory article to the idea that formal verification methods will make systems more secure.