Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
mti | Dark Hacker News
user:
mti
created:
March 24, 2012
karma:
164
submissions
comments
1.
The role of AI companies in large formalisation projects
(leanprover.zulipchat.com)
3 points
by
mti
58 days ago
|
0 comments
2.
Alice's Adventures in Numberland
(math.uci.edu)
1 points
by
mti
8 years ago
|
0 comments
3.
Poor worker conditions power gig economy
(youtube.com)
23 points
by
mti
9 years ago
|
9 comments
4.
My secret life as a fake reviewer of women’s lingerie
(scroll.in)
1 points
by
mti
9 years ago
|
0 comments