2A Lattice for Speculative Data Flow Analysis (opens in new tab)(playingwithpointers.com)24thedigitalengel11y ago3
3Cantor's diagonal argument in Agda (opens in new tab)(playingwithpointers.com)1thedigitalengel12y ago0
10The Variable-precision SWAR Algorithm (opens in new tab)(playingwithpointers.com)6thedigitalengel13y ago1
12[pdf] IEEE Standard 754 and the explosion of Ariane 5 (opens in new tab)(intel.com)2thedigitalengel13y ago0
