![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 xescu.re: Modeling and Verification of Keeta's Consensus [pdf]](https://hn.urlbox.com/shots/renders/2026/8/15/3467fd5b-3dab-4203-a3f5-d091d824b177.jpg)
First screen, captured .
Looks similar
![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.
![Screenshot of infoscience.epfl.ch: RRB-Trees: Efficient Immutable Vectors (2012) [pdf]](https://hn.urlbox.com/shots/renders/2026/6/25/02e7ed49-c7ea-4685-adad-a7766433fc78.jpg)
Distributed Consensus(shachaf.net)
47 points by luu | 4 comments
![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)
