Skip to content

Top New Best Ask Show Jobs

mti | Better HN

mti

164 karmaJoined March 24, 201250 submissions

Recent submissions

1

The role of AI companies in large formalisation projects (opens in new tab)

(leanprover.zulipchat.com)

3mti2mo ago0

2

Alice's Adventures in Numberland (opens in new tab)

(math.uci.edu)

1mti8y ago0

3

Poor worker conditions power gig economy (opens in new tab)

(youtube.com)

23mti9y ago9

4

My secret life as a fake reviewer of women’s lingerie (opens in new tab)

(scroll.in)

1mti9y ago0