Infer
A tool to detect bugs in Android and iOS apps before they ship, by Facebook
Encoding Linear Logic with Interaction Combinators
2019-03-28
Reducing Daily Interruptions Is on You
2019-03-28
Bill Moggridge on the Creation of Interaction Design (1980)
2019-03-28
Internal Apple documents undercut claims about your right to repair
2019-03-28
Humans store about 1.5 megabytes of information during language acquisition
2019-03-28
Blockchains and Data Exchanges: Information Infrastructure for Smart Cities
2019-03-28
Machine Learning for DevOps and SREs – Intelligent Infrastructure Analytics
2019-03-28
Single-wire earth return (grid infrastructure)
2019-03-28
A Brief Survey of Informal and Formal Tools for Prediction (2019) [pdf]
2019-03-28
Mercenaries vs. Missionaries: John Doerr (2000)
2019-03-28
