FStar
An ML-like language aimed at program verification
Why can't OS catch ransomware in the act?
2020-11-05
The Six-Billion Dollar Stare
2020-11-05
Echo/printf to write images in 5 LoC with zero libraries or headersnetpbm
2020-11-05
Covid-19 Individual Risk Calculator with Dalex Model Explanation
2020-11-05
Chinese smart cities firm to set up R&D centre in Dubai (Middle East AI News)
2020-11-05
Account Takeover via IDOR in Starbucks Singapore
2020-11-05
What is the chance of an earthquake? [pdf]
2020-11-05
New US mortgages will include 0.5% “adverse market fee” starting Dec first
2020-11-05
Completing a survey on remote work to win one of the $1k Visa gift cards
2020-11-04
How do we start moving away from canned outreach tactics?
2020-11-04
