jjgreen's submissions

1.		A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
		69 points by jjgreen 24 days ago \| past \| 3 comments
2.		C++20 concepts for nicer compiler errors (lemire.me)
		4 points by jjgreen 30 days ago \| past \| 1 comment
3.		A proof of concept tool to verify estimates (terrytao.wordpress.com)
		85 points by jjgreen 31 days ago \| past \| 23 comments
4.		DARPA to 'radically' rev up mathematics research. And yes, with AI (theregister.com)
		7 points by jjgreen 36 days ago \| past
5.		Show HN: CI-Hush (gitlab.com/jjg)
		1 point by jjgreen 55 days ago \| past
6.		The Natural System of Colours (c82.net)
		2 points by jjgreen 70 days ago \| past
7.		Scientific Colour Maps (fabiocrameri.ch)
		2 points by jjgreen 87 days ago \| past
8.		The View from My Office (columbia.edu)
		4 points by jjgreen 87 days ago \| past
9.		A Tale of Two Cities (columbia.edu)
		2 points by jjgreen 89 days ago \| past
10.		NCSC, GCHQ, UK Gov't expunge advice to “use Apple encryption” (alecmuffett.com)
		376 points by jjgreen 89 days ago \| past \| 245 comments
11.		Begrudgingly Choosing CBOR over MessagePack (taylor.town)
		55 points by jjgreen 3 months ago \| past \| 78 comments
12.		Coordinates of Smartphones Feared Stolen (theregister.com)
		4 points by jjgreen 3 months ago \| past
13.		Mixing Rust and C in Linux likened to cancer by kernel maintainer (theregister.com)
		13 points by jjgreen 3 months ago \| past \| 5 comments
14.		Nature Research Intelligence (columbia.edu)
		4 points by jjgreen 4 months ago \| past
15.		Now Trump's import tariffs could raise the cost of a laptop for Americans by 68% (theregister.com)
		17 points by jjgreen 4 months ago \| past \| 18 comments
16.		Pornhub pulls out of Florida, VPN demand 'surges 1150%' (theregister.com)
		49 points by jjgreen 4 months ago \| past \| 44 comments
17.		How did past mathematicians feel about giant computations? (mathoverflow.net)
		4 points by jjgreen 5 months ago \| past
18.		Frequently asked questions about signal handling in C (plover.com)
		3 points by jjgreen 5 months ago \| past \| 1 comment
19.		Adolf, Eva and Guests in Bavaria (cinemasojourns.com)
		2 points by jjgreen 5 months ago \| past
20.		What Is the Complex Step Approximation? (2020) (nhigham.com)
		1 point by jjgreen 5 months ago \| past
21.		Dame Judi Dench reveals pet parrot calls her by rude nickname (independent.co.uk)
		1 point by jjgreen 6 months ago \| past
22.		Stinky Gifts from Your Idea Kitty (taylor.town)
		2 points by jjgreen 6 months ago \| past
23.		What is known about G. A. Croes? (mathoverflow.net)
		1 point by jjgreen 6 months ago \| past
24.		Cane Toads: An Unnatural History (1988) (cinemasojourns.com)
		39 points by jjgreen 6 months ago \| past \| 40 comments
25.		Homage to Alexander Grothendieck (igrothendieck.org)
		87 points by jjgreen 6 months ago \| past \| 8 comments
26.		The Perfect AI Companion (cinemasojourns.com)
		1 point by jjgreen 6 months ago \| past
27.		Movie Title Hall of Fame: The Sublime, the Weird and the Ridiculous (cinemasojourns.com)
		1 point by jjgreen 7 months ago \| past
28.		Life in Transition (cinemasojourns.com)
		2 points by jjgreen 7 months ago \| past
29.		Expert Lists: Fonts for UI/UX Design (ilovetypography.com)
		1 point by jjgreen 7 months ago \| past
30.		The Rip Van Winkle Syndrome (cinemasojourns.com)
		4 points by jjgreen 7 months ago \| past
		More