baruchel's submissions

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