m_j_g's submissions | Hacker News

1.		Veritasium: A Physics Prof Bet Me $10k I'm Wrong (youtube.com)
		33 points by m_j_g on July 1, 2021 \| past \| 2 comments
2.		Wire Strike Protection System (wikipedia.org)
		1 point by m_j_g on Dec 30, 2020 \| past
3.		How I made a €2 ACTUATOR (youtube.com)
		1 point by m_j_g on Sept 29, 2020 \| past
4.		The Unbearable Loneliness of Being Right on the Internet with CD (2017) (youtube.com)
		1 point by m_j_g on Sept 21, 2020 \| past
5.		How to Make a Torus from Villarceau Circles (2015) (youtube.com)
		1 point by m_j_g on April 3, 2020 \| past \| 1 comment
6.		Nations with Mandatory TB Vaccines Show Fewer Coronavirus Deaths (bloomberg.com)
		2 points by m_j_g on April 2, 2020 \| past \| 1 comment
7.		Implementing a Simple Proof Assistant and Type System (In Mathematica) (wolfram.com)
		2 points by m_j_g on March 27, 2019 \| past
8.		From Parametricity to Conservation Laws, via Noether’s Theorem (2014) [pdf] (bentnib.org)
		2 points by m_j_g on March 7, 2018 \| past