Submissions from jiggerwit.wordpress.com

		The Empirical World Interpretation of Quantum Mechanics (jiggerwit.wordpress.com)
		3 points by bumbledraven on Sept 21, 2024 \| past \| 1 comment
		A Review of the Lean Theorem Prover (jiggerwit.wordpress.com)
		67 points by oli5679 on Dec 27, 2020 \| past \| 11 comments
		A Review of the Ferguson Imperial Model of Covid-19 Infection (jiggerwit.wordpress.com)
		18 points by siuretysertfe on Nov 25, 2020 \| past \| 14 comments
		A Review of the Lean Theorem Prover (jiggerwit.wordpress.com)
		2 points by williamstein on Sept 18, 2018 \| past
		Formal Abstracts: Express Results of Math Publications in Computer-Readable Form (jiggerwit.wordpress.com)
		15 points by ryan_j_naughton on Aug 14, 2018 \| past \| 2 comments
		Formalizing NIST standards (jiggerwit.wordpress.com)
		3 points by bradleyjg on Nov 11, 2013 \| past
		The NSA back door to NIST (jiggerwit.wordpress.com)
		12 points by adulau on Oct 16, 2013 \| past \| 1 comment