Verifying Storage on Filecoin

2021-02-09

Twitter verified fake “Russia's MFA in Crimea”

2021-02-08

Enterprise Verified Domains – GitHub Roadmap

2021-02-08

Twitter Giveaway Scammer Targeting Chamath via Hacked Verified Accounts

2021-02-08

A list of companies that use formal verification methods

2021-02-08

Verified Twitter Users Shared an All-Time-High Amount of Fake News in 2020

2021-02-07

Chamath Twitter scammer at it again using hacked verified accounts

2021-02-07

Ask HN: Is a lulu purchase of “On Lisp” legit?

2021-02-07

Live: Chamath Twitter scammer steals 11 btc and counting, Twitter scam

2021-02-06

CakeML: A Verified Implementation of ML

2021-02-05