Skip to content
Hackerly
Top
New
Best
Ask
Show
Jobs
Saved
History
Top
New
Best
Ask
Show
Jobs
Saved
History
jlebar
3,806 karma
joined January 30, 2012
On HN
Recent submissions
Formalizing Fermat's Last Theorem
anthropic.com
772
jlebar
7d
512 comments
Music-bench: An LLM benchmark for reading printed music
github.com/jlebar
2
jlebar
5mo
discuss
OpenAI Batch API is now available
community.openai.com
2
jlebar
2y
discuss
All submissions
and
comments
on Hacker News.