Stories by nill0

Intel, Synopsys, TSMC All Unveil Record Memory Densities

Red Bull Racing: The Life of a Bolt

Computability and Complexity from a Programming Perspective – Neil D. Jones [pdf]

History of interactive theorem proving [pdf]

Designing a Theorem Prover – Lawrence C Paulson

Do theorem provers demonstrate their own correctness?

Handbook of Discrete and Computational Geometry

Logic and Mechanized Reasoning

Space Launch Vehicles – Norbert Brugge

Robust Ladder Climbing with a Quadrupedal Robot

Computational Design and Fabrication of Portable MRI Systems

Failure Theory for Materials Science and Engineering

Manifold – Geometric Library for topological robustness

History of CAD

Student refines 100-year-old math problem, expanding wind energy possibilities

Core Algorithms Deployed

PtrHash: Minimal Perfect Hashing at RAM Throughput

Lecture Notes on the Geometrical Anatomy of Theoretical Physics

Mathematics, Form and Function

1
2
3
4
5