Top New Best Ask Show Jobs

jlebar

3,806 karma · joined January 30, 2012

submissions comments

Formalizing Fermat's Last Theorem

anthropic.com·773 pts·jlebar·

Music-bench: An LLM benchmark for reading printed music

github.com·2 pts·jlebar·

OpenAI Batch API is now available

community.openai.com·2 pts·jlebar·

Pushing the limits of GPU performance with XLA

medium.com·3 pts·jlebar·

Retpoline: a software construct for preventing branch-target-injection

support.google.com·8 pts·jlebar·

The e-mail Larry Page should have written to James Damore

economist.com·3 pts·jlebar·

Conferences, Inclusion, and My Axe

medium.com·1 pts·jlebar·

CUDA is a Low-level Language

youtube.com·2 pts·jlebar·

A Practical Introduction to C++11 Rvalue References

jlebar.com·3 pts·jlebar·

Consequences of Greece's 'No'

bloombergview.com·2 pts·jlebar·

Ask HN: Can we decipher Greenwald's written messages at the end of Citizenfour?

3 pts·jlebar·

The Simulation Argument

simulation-argument.com·2 pts·jlebar·

GNU grep is 10x faster than Mac grep

jlebar.com·122 pts·jlebar·