jmillikin

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)

Posts

Announcing the Clippy feature freeze
by jmillikin on 6/22/2025, 7:07:18 AM with 9 comments
Graduate student develops an A.I.-based approach to restore damaged paintings
by jmillikin on 6/15/2025, 3:59:44 AM with 1 comments
Plutonium Mountain: The 17-year mission to guard remains of Soviet nuclear tests (2013)
by jmillikin on 6/3/2025, 10:06:37 AM with 46 comments
RULECOMPILE - Undocumented Ghidra decompiler rule language
by jmillikin on 5/15/2025, 4:19:51 AM with 0 comments
Rust Any part 3: we have upcasts
by jmillikin on 3/30/2025, 11:15:12 AM with 76 comments
PeanoScript: TypeScript but It's a Theorem Prover
by jmillikin on 3/21/2025, 4:22:28 AM with 0 comments