Vintage electronics for radiation measurements, dismantlement of nuclear weapons

2020-05-07

Software Verification Literature Review

2020-05-06

Ask HN: Brand and company are being hurt by Facebook scammers. What can we do?

2020-05-06

Riot/Matrix enables cross-signed verification and E2E encryption by default

2020-05-06

Show HN: Abacus – Open-Source Voter-Verifiable Paper Ballots

2020-05-05

Backup manifests and pg_verifybackup in PostgreSQL 13

2020-05-04

A Primer on Separation Logic (Automatic Program Verification and Analysis)(2011) [pdf]

2020-05-04

Entrepreneur Problem Database

2020-05-03

Design & Implementation of a Verified File System with End-to-End Data Integrity

2020-05-03

Show HN: A Verified Profile for the Whole Internet

2020-05-02