Infer
A tool to detect bugs in Android and iOS apps before they ship, by Facebook
Abella an interactive theorem prover based on lambda-tree syntax
2021-01-30
GameStop: A One-Min Stop
2021-01-30
ActiveLambda – Simple and intuitive No Code internal applications
2021-01-30
Ask HN: What if Stack Overflow suddenly decides to shut down?
2021-01-30
Nat Slipstreaming v2.0: Exposing All Internal Network Devices to the Internet
2021-01-30
Why Ordering Internet Shutdown Is Outrageous
2021-01-30
Ask HN: What are the problems you're facing with Intercom?
2021-01-30
Best Practice for Versioning of Software
2021-01-29
Samsung Mobile's head of camera R&D wants your phone to personalize your photos
2021-01-29
J&J Announces Single-Shot Covid-19 Vaccine Met Primary Endpoints
2021-01-29
