Stories by nill0

UELib

Program-Analysis-Reading-List

Exploit Reversing – Alexandre Borges

Calipso: Conic Augmented Lagrangian Interior-Point SOlver

The Calculus of Computation [pdf]

Smoothing a Program Soundly and Robustly? [pdf]

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

7 8 9 10 11 12