Computer scientists combine two 'beautiful' proof methods (quantamagazine.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of quantamagazine.org: Computer scientists combine two 'beautiful' proof methods

First screen, captured 2 years ago.

Looks similar

Screenshot of quantamagazine.org: Computer Scientists Figure Out How to Prove Lies

Computer Scientists Figure Out How to Prove Lies (quantamagazine.org)

13 points by pseudolus 1 year ago | 2 comments

Screenshot of quantamagazine.org: How to prove false statements: Practical attacks on Fiat-Shamir

How to prove false statements: Practical attacks on Fiat-Shamir (quantamagazine.org)

203 points by nsoonhui 1 year ago | 154 comments

Screenshot of quantamagazine.org: How Gödel's Proof Works (2020)

How Gödel's Proof Works (2020)(quantamagazine.org)

104 points by tzury 2 months ago | 44 comments

Screenshot of quantamagazine.org: For algorithms, a little memory outweighs a lot of time

For algorithms, a little memory outweighs a lot of time (quantamagazine.org)

311 points by makira 1 year ago | 103 comments

Screenshot of quantamagazine.org: Computer scientists prove that heat destroys quantum entanglement

Computer scientists prove that heat destroys quantum entanglement (quantamagazine.org)

132 points by isaacfrond 2 years ago | 80 comments

Screenshot of quantamagazine.org: A New Proof Smooths Out the Math of Melting

A New Proof Smooths Out the Math of Melting (quantamagazine.org)

6 points by rbanffy 1 year ago | 0 comments