Stories by ColinWright

Hypercomputation: Computing more than the Turing machine (2002)

So what can you actually do with Linux? A guide for beginners

GCC target description macros and functions

Who Guards the Guards? Formal Validation of the ARM v8-M Architecture Spec'n [pdf]

Reconstructing cell cycle and disease progression using deep learning

Mailpile: e-mail that protects your privacy

The Computer Hack That Saved Apollo 14

Neil Bickford: “Marble Runs and Turing Machines”

Three Rules for Tackling a World-Famous Math Problem

The creative process of mathematics

Claude Shannon’s method for formulating and solving problems

Cubiio: The Most Compact Laser Engraver by Muherz

Mike Gordon has died

Murray Gell-Mann on MIT

“What Does 'Depth' Mean in Mathematics?” – John Stillwell

High-level overview: Operating systems, H/ware, Processors – what would you add?

Myth: The astronauts didn’t float away because they had heavy boots

Dig into Nearly 30 Years of Free Classic Science Fiction

Palindromic karma

Is Norbert Blum's 2017 proof that P = NP correct? Apparently not