Stories by nill0

x86-64 Playground An online assembly editor and GDB-like debugger

Making my static blog generator 11 times faster

A Dive into the Rockchip Bootloader

CMU: Optimal Control and Reinforcement Learning

MIT: A low cost modular actuator for dynamic robots – Katz, Benjamin

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

3
4
5
6
7
8