Quick Take: Bridging Compile-Time and Runtime Performance in Lean 4
alok.github.io·4d
optimizations
goperf.dev·3d
Misc engineering truisms
macwright.com·2d
Better Compression with Zstandard
gregoryszorc.com·2h
Simplifying the SmartKnob
hackaday.com·11h
Functional Optics for Modern Java
blog.scottlogic.com·2d
Vulnerabilities in the Cashu ECash Protocol
conduition.io·1d
Loading...Loading more...