On Marketing Formal Methods
(buttondown.email)
2 pts|6 years ago|discuss
user: primodemus
1476 karma | created 16 years ago
recent submissions
Rethinking Software Testing: Perspectives from the World of Hardware
(software.rajivprab.com)
2 pts|6 years ago|discuss
The Health Care Problem
(fakenous.net)
1 pts|6 years ago|discuss
Building a “Simple” Distributed System – The What
(jack-vanlightly.com)
9 pts|6 years ago|discuss
43 pts|6 years ago|6 comments
Performance Matters
(hillelwayne.com)
2 pts|6 years ago|discuss
6 years ago|discuss
2 pts|7 years ago|discuss
7 years ago|discuss
One smart guy’s frank take on working in some of the major tech companies
(marginalrevolution.com)
6 pts|8 years ago|discuss
Bryan Caplan on the Case Against Education
(econtalk.org)
2 pts|8 years ago|1 comment
On the Existence of Powerful Natural Languages
(gwern.net)
2 pts|8 years ago|discuss
8 years ago|discuss
Bryan Caplan on the Case Against Education
(blog.press.princeton.edu)
1 pts|8 years ago|discuss
The type system of mathematics
(qchu.wordpress.com)
3 pts|8 years ago|discuss
Longevity FAQ: A beginner's guide to longevity research
(ldeming.com)
1 pts|8 years ago|discuss
Post-apocalyptic life in American health care
(meaningness.com)
164 pts|8 years ago|165 comments
The ABC conjecture has (still) not been proved
(galoisrepresentations.wordpress.com)
2 pts|8 years ago|1 comment
Post-apocalyptic life in American health care
(meaningness.com)
3 pts|8 years ago|1 comment
8 years ago|discuss