Veriff
Online identity verification with superpowers
Verified sequential malloc/free [pdf]
2020-05-02
Show HN: Email verified signup on GCP f1-micro
2020-05-02
Verified sequential malloc/free [pdf]
2020-05-01
Show HN: Node.js users/permissions app with email verif, on f1-micro
2020-05-01
Fact or Fiction: Verifying Scientific Claims
2020-05-01
Improving Verifiability in AI Development
2020-04-30
FSM-Oracle – A formally verified Finite State Machine oracle
2020-04-30
Metrafin – Open verified identity for developers and internet services
2020-04-30
Verification Handbook
2020-04-29
Verification Handbook for Disinformation and Media Manipulation
2020-04-29
