Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
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)
submissions
comments
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