Structure and Interpretation of Classical Mechanics (2014)(tgvaughan.github.io)93 points by the-mitr 1 year ago | 37 comments
Computational Discovery on Jupyter(computational-discovery-on-jupyter.github.io)93 points by __rito__ 3 years ago | 3 comments
Overview: What are Cpp2 and cppfront? How do I get and build cppfront?(hsutter.github.io)178 points by cyber1 2 years ago | 139 comments
OCaml Programming: Correct and Efficient and Beautiful(cs3110.github.io)106 points by smartmic 1 year ago | 34 comments
Counterexamples in Type Systems: programs that crash, segfault or explode (2021)(counterexamples.org)212 points by nequo 3 years ago | 91 comments