An opinionated take on how to do important research that matters
(news.ycombinator.com)
1.
2.
How to prove false statements: Practical attacks on Fiat-Shamir
(news.ycombinator.com)
3.
Computer Scientists Figure Out How to Prove Lies
(news.ycombinator.com)