Tell HN: The 22nd of February this year (22/2/2022) will be a Tuesday (Twos-day)

2021-12-31

Exploring the Twitter Verification API

2021-12-30

VLISP: A Verified Implementation of Scheme (1993) [pdf]

2021-12-29

Formal Verification of Multi-Paxos for Distributed Consensus, v4 (2016, 2019)

2021-12-28

Ask HN: Blockchains to simplify contract language and open source data?

2021-12-27

Wikipedia is a Brave Verified Publisher, can receive donations as BAT (2019)

2021-12-26

Ask HN: Recommendations for meditation course/exercise with proven benefits?

2021-12-26

Git: Commit and tag signing/verification via SSH keys

2021-12-23

Novel ML Algorithm Allows for Efficient/Accurate Verification of Quantum Devices

2021-12-23

Blockchain Document Management System

2021-12-22