Stories by nill0

The Limits of Mathematics – Gregory Chaitin [1994]

Program-Transformation.org

What can be computed? A practical guide to the theory of computation (2018) [pdf]

Models of Computation – John E. Savage [pdf]

Theoretical Computer Science

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]

5 6 7 8 9 10