🦞🌯 Lobster Roll

Stories by nill0

Every mathematician has only a few tricks (2020) (mathoverflow.net)
Elliptic Curves as Art (elliptic-curves.art)
Matters Computational (2010) [pdf] (jjj.de)
Student refines 100-year-old math problem, expanding wind energy possibilities (psu.edu)
History of CAD (shapr3d.com)
Practical Foundations of Mathematics (paultaylor.eu)
Image Processing in C (2000) [pdf] (homepages.inf.ed.ac.uk)
Propositions as Types (2014) [pdf] (homepages.inf.ed.ac.uk)
How to Reproduce This Book with LaTeX (github.com)
What can be computed? A practical guide to the theory of computation (2018) [pdf] (softouch.on.ca)
Open Problems in Computational geometry (topp.openproblem.net)
Mathematics and Computation (2019) [pdf] (math.ias.edu)
Open source software for modeling soft materials (now.tufts.edu)
Mathematical Compact Models of Advanced Transistors [pdf] (www2.eecs.berkeley.edu)
Applications of Classical Physics (pmaweb.caltech.edu)
Harvey Mudd Miniature Machine (cs.hmc.edu)
Syntax and Semantics of Programming Languages (homepage.cs.uiowa.edu)
Hacking Super Mario 64 using covering spaces (happel.ai)
Micro Wheeled legged Robot (github.com)
Nobody Profits – George Hotz (geohot.github.io)
Drawings of the elements of CMS detector, in the style of Leonardo da Vinci (cds.cern.ch)
Syntax and Semantics of Programming Languages (1995) (homepage.cs.uiowa.edu)
Failure Theory for Materials Science and Engineering (failurecriteria.com)
A Real-Time Algorithm for Non-Convex Powered Descent Guidance [pdf] (depts.washington.edu)
Vibration Isolation of Precision Objects (2005) [pdf] (sandv.com)
How multiplication is defined in Peano arithmetic (devlinsangle.blogspot.com)
Flip Distance of Convex Triangulations and Tree Rotation Is NP-Complete (arxiv.org)
The (Unfinished) PDE Coffee Table Book (people.maths.ox.ac.uk)
Building Gearbox Dynamometer (thriftybuilder.dev)
Vulkan Game Engine Series Written in C – Travis Vroman (youtube.com)