Computational Balloon Twisting: The Theory of Balloon Polyhedra [pdf] (cccg.ca)

Screenshot of cccg.ca: Computational Balloon Twisting: The Theory of Balloon Polyhedra [pdf]

First screen, captured 3 months ago.

Looks similar

Screenshot of cr.yp.to: The cryptoint library (2025) [pdf]

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.

constant-time cryptography timing-attacks compilers

Screenshot of vfxforth.com: Compiling Prolog to Forth [pdf]

Compiling Prolog to Forth [pdf](vfxforth.com)

114 points by PaulHoule 7 months ago | 9 comments

Screenshot of mathcs.holycross.edu: Calculus for Mathematicians, Computer Scientists, and Physicists [pdf]

Calculus for Mathematicians, Computer Scientists, and Physicists [pdf](mathcs.holycross.edu)

332 points by o4c 11 months ago | 70 comments

A free PDF textbook by Andrew D. Hwang, 'Calculus for Mathematicians, Computer Scientists, and Physicists: An Introduction to Abstract Mathematics'.

calculus mathematics abstract-math textbook

Screenshot of cse.chalmers.se: Programming in Martin-Lof's Type Theory: An Introduction (1990)

Programming in Martin-Lof's Type Theory: An Introduction (1990)(cse.chalmers.se)

42 points by todsacerdoti 1 year ago | 0 comments

Screenshot of cs.toronto.edu: Steve's Explanation of the Viterbi Algorithm (2003)

Steve's Explanation of the Viterbi Algorithm (2003)(cs.toronto.edu)

52 points by gballan 3 years ago | 14 comments

Screenshot of shachaf.net: Distributed Consensus

Distributed Consensus (shachaf.net)

47 points by luu 3 years ago | 4 comments