Nontrivially fillable gaps in published proofs of major theorems
2020-02-09
Librem 5 phone shows the cost of being different
2020-02-09
Andromeda: Proof assistant for general type theories
2020-02-07
Why the usual “proof” for chain rule is broken – and how to fix it
2020-02-06
Zero Knowledge Proof – Legal Fishing Example (GitHub Repo Included) – SnarkJS
2020-02-06
Proof of work costs Ethereum $700M+ per year and it's going away soon
2020-02-06
An authentication protocol based on chaos and zero knowledge proof
2020-02-02
Using formal methods for analysing tax code
2020-02-01
A mathematical formulation of the tax code? (2019)
2020-01-31
Coevolution of Mars’s atmosphere and south polar CO2 ice deposit
2020-01-31