A Self-Verifying Theorem Prover [pdf]

2021-07-29

SecureBrowse Browser Extension (verifying subresource integrity through DNS)

2021-07-29

Guidelines on Minimum Standards for Developer Verification of Software [pdf]

2021-07-28

Ask HN: Why is the email regex even required at the back end?

2021-07-27

Mobile Verification Toolkit

2021-07-26

Launch HN: InstaKin (YC S21) - Help immigrants to manage tasks in home countries

2021-07-26

Tell HN: YouTube is asking for age verification to watch Bret Weinstein's video

2021-07-26

Ask HN: How to verify a business (users will register their business on my app)

2021-07-26

X-ray verifying placement of the first cardiac catheterization (1929)

2021-07-25

Ask HN: Is there any way to validate a companies privacy policy?

2021-07-23