Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
jlebar | Dark Hacker News
user:
jlebar
created:
January 30, 2012
karma:
3.8k
submissions
comments
1.
Formalizing Fermat's Last Theorem
(anthropic.com)
773 points
by
jlebar
40 days ago
|
512 comments
2.
Music-bench: An LLM benchmark for reading printed music
(github.com)
2 points
by
jlebar
195 days ago
|
0 comments