![Screenshot of janmidtgaard.dk: Property-Based Testing of OCaml 5's Runtime System [pdf]](https://hn.urlbox.com/shots/renders/2025/9/27/2ff34b9b-ed7f-4f16-bc1a-ba3e73a4ff9c.jpg)
![Screenshot of cis.upenn.edu: Mysteries of Dropbox: Testing of a Distributed Sync Service (2016) [pdf]](https://hn.urlbox.com/shots/renders/2026/4/10/5c602a9a-d991-4572-a856-ceba8443598d.jpg)
First screen, captured .
Looks similar
![Screenshot of cs.cornell.edu: Amoeba: A distributed operating system for the 1990s (1990) [pdf]](https://hn.urlbox.com/shots/renders/2025/6/24/3a0444ca-4a9a-452b-a6fb-68ec171127a0.jpg)
![Screenshot of interlisp.org: The Medley Interlisp Project: Reviving a Historical Software System [pdf]](https://hn.urlbox.com/shots/renders/2025/6/29/f9589f39-f7ed-44b1-b348-ccfcbc5947ed.jpg)
![Screenshot of cr.yp.to: The cryptoint library (2025) [pdf]](https://hn.urlbox.com/shots/renders/2026/10/17/d7252175-f03a-4bd6-9d9e-1f6d618c09c4.jpg)
The cryptoint library (2025) [pdf](cr.yp.to)
21 points by akkartik | 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.
![Screenshot of hannesweissteiner.com: FROST: Fingerprinting Remotely using OPFS-based SSD Timing [pdf]](https://hn.urlbox.com/shots/renders/2026/5/31/855afbb6-8114-4fa9-ac27-fb40e60eda6d.jpg)
![Screenshot of courses.csail.mit.edu: Mathematics for Computer Science (2018) [pdf]](https://hn.urlbox.com/shots/renders/2026/1/9/ae2aa14e-4a6c-4954-86ba-c8b6fc82ba70.jpg)
Mathematics for Computer Science (2018) [pdf](courses.csail.mit.edu)
366 points by vismit2000 | 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.