The cryptoint library (2025) [pdf](cr.yp.to)

21 points by akkartik 11 days ago | 0 comments

Daniel J. Bernstein's paper describing cryptoint, a C/C++ library of constant-time integer functions designed to resist compiler optimizations that introduce timing leaks.

SBCL: A Sanely-Bootstrappable Common Lisp (2008) [pdf](research.gold.ac.uk)

102 points by pabs3 7 months ago | 68 comments

QuIP#: 2-bit Quantization for LLMs(cornell-relaxml.github.io)

185 points by jasondavies 2 years ago | 41 comments

The evolution of Lua, continued [pdf](lua.org)

214 points by welovebunnies 1 year ago | 162 comments

Compiling Prolog to Forth [pdf](vfxforth.com)

114 points by PaulHoule 7 months ago | 9 comments

Programming with Lambda Calculus(hbr.github.io)

5 points by dargscisyhp 2 years ago | 0 comments