An Efficient Implementation of SELF (1989) [pdf](courses.cs.washington.edu)

46 points by todsacerdoti 1 year ago | 22 comments

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.

Geometric Search Trees(g-trees.github.io)

106 points by fanf2 2 years ago | 16 comments

Miri: Practical Undefined Behavior Detection for Rust [pdf](research.ralfj.de)

67 points by ingve 10 months ago | 9 comments

Knowledge Insulating Vision-Language-Action Models: Train, Run Fast, Generalize [pdf](physicalintelligence.company)

6 points by arunc 11 months ago | 0 comments

Xz format inadequate for general use(nongnu.org)

9 points by Bogdanp 1 year ago | 2 comments