Skip to content

Top New Best Ask Show Jobs

mti | Better HN

user

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

3mti1mo 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