Avoiding the Turing Tarpit [pdf]
2021-08-03
Plexiglass Is Everywhere, with No Proof It Keeps Covid at Bay
2021-07-31
EIP-3675: Upgrade consensus to Proof-of-Stake
2021-07-29
Ask HN: Best Cryptocurrency with (More of) a Purpose
2021-07-29
Proof Assistant Makes Jump to Big-League Math
2021-07-29
Proof-Oriented Programming in F*
2021-07-29
Show HN: Augmenting Education with ML – Demo and Proof of Concept
2021-07-28
Blockchain, Proof of Authority and the Metaverse
2021-07-28
Proof Assistant Makes Jump to Big-League Math
2021-07-28
Automatic Proofs of Differential Privacy
2021-07-27