Proof Assistant Makes Jump to Big-League Math

2021-07-29

Blockchain, Proof of Authority and the Metaverse

2021-07-28

Proof Assistant Makes Jump to Big-League Math

2021-07-28

Restaurant Requires ’Proof of Being Unvaccinated’

2021-07-27

Ask HN: How to deal with bug bounty hunters

2021-07-27

Why doesn't mathematics collapse though human error in proofs?

2021-07-26

Notes on the FoundationDB Paper with Additional Proof of Correctness

2021-07-21

Derrick talks about marketing, affiliate program, social proof and tons more

2021-07-21

Ask HN: Would you capitalize on P = NP

2021-07-20

A proof P = NP was accidentally published in TOCT

2021-07-19