baruchel's submissions

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