Comparing a RISC and a CISC with similar hardware organization (1991)(dl.acm.org)

71 points by luu 1 year ago | 57 comments

Coq: The World's Best Macro Assembler? (2013) [pdf](nickbenton.name)

153 points by addaon 11 months ago | 67 comments

Awk as a major systems programming language, revisited (2018)(skeeve.com)

96 points by goranmoomin 2 years ago | 14 comments

Finding and Understanding Bugs in C Compilers (2011) [pdf](users.cs.utah.edu)

23 points by djoldman 1 year ago | 3 comments

Mathematics for Computer Science (2018) [pdf](courses.csail.mit.edu)

366 points by vismit2000 9 months ago | 62 comments

PDF of the 2018 revision of the MIT textbook Mathematics for Computer Science by Eric Lehman, F. Thomson Leighton, and Albert R. Meyer.

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.