Veriff
Online identity verification with superpowers
Towards Robust and Verified AI
2019-03-30
Efficient Compilation of a Verification-friendly Programming Language
2019-03-29
Show HN: A Free API to kick-out disposable, invalid emails
2019-03-29
Verification and Validation Model
2019-03-29
Verifications.io Leaks Personal Records of 2B Users
2019-03-29
Towards Robust and Verified AI: Specification Testing, Robust Training
2019-03-28
Verification vs. Validation in Practice
2019-03-28
UK pr0n viewers plan to circumvent smut-block measures – survey
2019-03-26
Show HN: I made a API to prevent disposable, non-existent emails
2019-03-22
Correct Approximation of IEEE 754 Floating-Point Arithmetic Program Verification
2019-03-22
