baruchel's submissions

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