Infer
A tool to detect bugs in Android and iOS apps before they ship, by Facebook
Proof Assistants at the Hardware-Software Interface
2020-01-21
How much of the average mobile app design is text? 36%
2020-01-21
Ask HN: Consumer hardware setup for long-term backups?
2020-01-21
I Quit: 21 Stories of People Who Walked Away
2020-01-21
Does an Alernative to seclists Exist?
2020-01-21
Time Complexity of Matrix Determinant
2020-01-21
Apple scrapped plans to fully secure iCloud backups after FBI intervention
2020-01-21
No Copyright Law: The Real Reason for Germany's Industrial Expansion? (2010)
2020-01-21
Australia's platypus on brink of extinction, scientists say
2020-01-21
Game: Can You Defeat the Privacy Chicken?
2020-01-21
