Stories by jlebar

Formalizing Fermat's Last Theorem

Music-bench: An LLM benchmark for reading printed music

OpenAI Batch API is now available

Pushing the limits of GPU performance with XLA

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

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

Conferences, Inclusion, and My Axe

CUDA is a Low-level Language

A Practical Introduction to C++11 Rvalue References

Consequences of Greece's 'No'

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

The Simulation Argument

Poll: US residents, how do you do your taxes?

GNU grep is 10x faster than Mac grep