Hacker News
- A Review of the Lean Theorem Prover https://jiggerwit.wordpress.com/2018/09/18/a-review-of-the-lean-theorem-prover/ 11 comments
- A Review of the Ferguson Imperial Model of Covid-19 Infection https://jiggerwit.wordpress.com/2020/11/24/a-review-of-the-ferguson-imperial-model-of-covid-19-infection/ 14 comments
- Formal Abstracts: Express Results of Math Publications in Computer-Readable Form https://jiggerwit.wordpress.com/2018/04/09/formal-abstracts-a-long-term-vision/ 2 comments
- Elliptic Curve Addition Without Tears https://jiggerwit.wordpress.com/2016/10/18/elliptic-curve-addition-without-tears/ 6 comments crypto
- The NSA back door to NIST http://jiggerwit.wordpress.com/2013/09/25/the-nsa-back-door-to-nist/ 4 comments crypto
- The NSA back door to NIST http://jiggerwit.wordpress.com/2013/09/25/the-nsa-back-door-to-nist/ 145 comments programming
- Algebraist Thomas C. Hales explains the NSA group theoretic backdoor to NIST http://jiggerwit.wordpress.com/2013/09/25/the-nsa-back-door-to-nist/ 41 comments math