Joined 3/23/2009, 7:46:18 PM has 11103 karma
https://john-millikin.com/
john@john-millikin.com
Currently semi-retired; formerly at Google (2011-2017) and Stripe (2017-2022)
Announcing the Clippy feature freeze
Graduate student develops an A.I.-based approach to restore damaged paintings
Plutonium Mountain: The 17-year mission to guard remains of Soviet nuclear tests (2013)
RULECOMPILE - Undocumented Ghidra decompiler rule language
Rust Any part 3: we have upcasts
PeanoScript: TypeScript but It's a Theorem Prover