baruchel's submissions

1.		Can the Most Abstract Math Make the World a Better Place? (quantamagazine.org)
		5 points by baruchel 9 days ago \| past \| discuss
2.		How many steps in a "chain of victories" separate you from your favorite player? (mastodon.online)
		2 points by baruchel 11 days ago \| past \| discuss
3.		Assigning Open Problems in Class (computationalcomplexity.org)
		18 points by baruchel 25 days ago \| past \| 5 comments
4.		Mathematicians find largest prime number to date (fediscience.org)
		1 point by baruchel 31 days ago \| past \| 2 comments
5.		Any chess position with 8 pieces on board and one pair of pawns has been solved (mastodon.online)
		18 points by baruchel 33 days ago \| past \| 2 comments
6.		The Year in Mathematics (quantamagazine.org)
		3 points by baruchel 85 days ago \| past
7.		Ramanujan's 100-year-old pi formula is still revealing the Universe (sciencedaily.com)
		3 points by baruchel 86 days ago \| past
8.		The Year in Computer Science (quantamagazine.org)
		3 points by baruchel 87 days ago \| past
9.		Apples (xkcd.com)
		2 points by baruchel 3 months ago \| past
10.		50 years of proof assistants (lawrencecpaulson.github.io)
		144 points by baruchel 3 months ago \| past \| 30 comments
11.		New Font Release: Bhs (fsd.it)
		1 point by baruchel 3 months ago \| past
12.		The Little Theorems (computationalcomplexity.org)
		1 point by baruchel 3 months ago \| past
13.		Set theory with types (lawrencecpaulson.github.io)
		125 points by baruchel 3 months ago \| past \| 19 comments
14.		A New Bridge Links the Math of Infinity to Computer Science (quantamagazine.org)
		7 points by baruchel 3 months ago \| past
15.		To Have Machines Make Math Proofs, Turn Them into a Puzzle (quantamagazine.org)
		2 points by baruchel 4 months ago \| past
16.		Steven Heller's Font of the Month: Archive Matrix (ilovetypography.com)
		59 points by baruchel 4 months ago \| past \| 5 comments
17.		Why don't you use dependent types? (lawrencecpaulson.github.io)
		269 points by baruchel 4 months ago \| past \| 116 comments
18.		What Is the Funniest Number? (futilitycloset.com)
		2 points by baruchel 5 months ago \| past \| 1 comment
19.		Terence Tao on non-monotonicity in research (mathstodon.xyz)
		2 points by baruchel 5 months ago \| past
20.		Mathematicians discover prime number pattern in fractal chaos (scientificamerican.com)
		177 points by baruchel 5 months ago \| past \| 46 comments
21.		Terence Tao on Crowdsourced Effort (mathstodon.xyz)
		3 points by baruchel 5 months ago \| past
22.		Clyde Kruskal talks about his Father Martin on Martin's 100th birthday (computationalcomplexity.org)
		2 points by baruchel 5 months ago \| past
23.		New Math Revives Geometry's Oldest Problems (quantamagazine.org)
		4 points by baruchel 5 months ago \| past
24.		A simple way to measure knots has come unraveled (quantamagazine.org)
		127 points by baruchel 5 months ago \| past \| 64 comments
25.		The Quest to Find the Longest-Running Simple Computer Program (wired.com)
		4 points by baruchel 6 months ago \| past \| 1 comment
26.		Self-Assembly Gets Automated in Reverse of 'Game of Life' (quantamagazine.org)
		8 points by baruchel 6 months ago \| past \| 1 comment
27.		New knot theory discovery overturns long-held mathematical assumption (scientificamerican.com)
		141 points by baruchel 6 months ago \| past \| 37 comments
28.		Lisp Still Matters (funcall.blogspot.com)
		29 points by baruchel 6 months ago \| past
29.		What Happens When a Scientific Field Changes Its Mind – Scientific American (scientificamerican.com)
		4 points by baruchel 6 months ago \| past \| 2 comments
30.		'It's a Mess': A Brain-Bending Trip to Quantum Theory's 100th Birthday Party (quantamagazine.org)
		5 points by baruchel 7 months ago \| past
		More