baruchel | Dark Hacker News

user:	baruchel
created:	April 1, 2014
karma:	1.2k
about:	Teacher in Computer Science at University of Pau and the Adour Region (France)

1.	The Little Theorems(blog.computationalcomplexity.org) 1 points by baruchel 6 days ago \| 0 comments
2.	Set theory with types(lawrencecpaulson.github.io) 124 points by baruchel 8 days ago \| 19 comments
3.	A New Bridge Links the Math of Infinity to Computer Science(quantamagazine.org) 7 points by baruchel 9 days ago \| 0 comments
4.	To Have Machines Make Math Proofs, Turn Them into a Puzzle(quantamagazine.org) 2 points by baruchel 20 days ago \| 0 comments
5.	Steven Heller's Font of the Month: Archive Matrix(ilovetypography.com) 59 points by baruchel 20 days ago \| 5 comments
6.	Why don't you use dependent types?(lawrencecpaulson.github.io) 269 points by baruchel 28 days ago \| 116 comments
7.	What Is the Funniest Number?(futilitycloset.com) 2 points by baruchel 54 days ago \| 1 comment
8.	Terence Tao on non-monotonicity in research(mathstodon.xyz) 2 points by baruchel 55 days ago \| 0 comments
9.	Mathematicians discover prime number pattern in fractal chaos(scientificamerican.com) 177 points by baruchel 55 days ago \| 46 comments
10.	Terence Tao on Crowdsourced Effort(mathstodon.xyz) 3 points by baruchel 55 days ago \| 0 comments
11.	Clyde Kruskal talks about his Father Martin on Martin's 100th birthday(blog.computationalcomplexity.org) 2 points by baruchel 63 days ago \| 0 comments
12.	New Math Revives Geometry's Oldest Problems(quantamagazine.org) 4 points by baruchel 65 days ago \| 0 comments
13.	A simple way to measure knots has come unraveled(quantamagazine.org) 127 points by baruchel 69 days ago \| 64 comments
14.	The Quest to Find the Longest-Running Simple Computer Program(wired.com) 4 points by baruchel 77 days ago \| 1 comment
15.	Self-Assembly Gets Automated in Reverse of 'Game of Life'(quantamagazine.org) 8 points by baruchel 81 days ago \| 1 comment
16.	New knot theory discovery overturns long-held mathematical assumption(scientificamerican.com) 141 points by baruchel 89 days ago \| 37 comments
17.	Lisp Still Matters(funcall.blogspot.com) 29 points by baruchel 90 days ago \| 0 comments
18.	What Happens When a Scientific Field Changes Its Mind – Scientific American(scientificamerican.com) 4 points by baruchel 103 days ago \| 2 comments
19.	'It's a Mess': A Brain-Bending Trip to Quantum Theory's 100th Birthday Party(quantamagazine.org) 5 points by baruchel 114 days ago \| 0 comments
20.	How Can Math Protect Our Data?(quantamagazine.org) 3 points by baruchel 115 days ago \| 0 comments