Veriff
Online identity verification with superpowers
Verification Rethought: Verified.onl
2020-01-22
Verifying x86 Instruction Implementations (uops, microcode, etc.)
2020-01-22
TownChat: Now is time to give users right to protect their identity
2020-01-22
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
2020-01-22
Ask HN: What is the quickest way to implement user management for my SaaS
2020-01-22
Generating Verified LLVM from Isabelle/HOL [pdf]
2020-01-20
Show HN: Net Worth Verification
2020-01-19
Ask HN: How can I continue learning as a solo, remote freelancer?
2020-01-17
How to verify that quantum chips are computing correctly
2020-01-16
Do you think it's an effective and economical way to get free-trial signups?
2020-01-16
