Submissions by cjg

CompCert – A formally verified C compiler

YouTube bans dangerous or harmful pranks

Unheralded Mathematician Bridges the Prime Gap

Mathematicians Seal Back Door to Breaking RSA Encryption

Firefighting foam heats up coal fire debate (2010)

Puzzle solving won't stop mental decline

Teardown of a rented Tesla

Idiomatic Rust: Guidelines for writing elegant Rust programs

History of art paintings through the lens of entropy and complexity

Schrodinger's cat as you've never seen it

The Case for Making Cities Out of Wood

Famous fictional license plates

The AI That Has Nothing to Learn from Humans