92 pts|2 years ago|74 comments
user: spekcular
5792 karma | created 6 years ago
recent submissions
Making every researcher seek grants is a broken model
(rootsofprogress.org)
3 pts|2 years ago|discuss
A new Lean formalization project for the Prime Number Theorem
(mathstodon.xyz)
1 pts|2 years ago|discuss
Lean in 2024
(xenaproject.wordpress.com)
2 pts|2 years ago|discuss
2 years ago|discuss
You Should Be Working on Hardware
(caseyhandmer.wordpress.com)
12 pts|2 years ago|6 comments
An Old Conjecture Falls, Making Spheres a Lot More Complicated
(quantamagazine.org)
129 pts|2 years ago|80 comments
142 pts|2 years ago|75 comments
2 years ago|discuss
2408 pts|2 years ago|1199 comments
Electronic Structure of LK-99
(arxiv.org)
551 pts|2 years ago|432 comments
3 pts|2 years ago|1 comment
3 pts|2 years ago|discuss
613 pts|2 years ago|255 comments
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss