https://john-millikin.com/
john@john-millikin.com
Currently semi-retired; formerly at Google (2011-2017) and Stripe (2017-2022)
- Progress update on Clang's new constant expression interpreter
by jmillikin on 10/21/25, 11:20 AM, with comments
- Introduction to reverse-engineering vintage synth firmware
by jmillikin on 10/20/25, 2:56 AM, with comments
- The biggest semantic mess in Futhark
by jmillikin on 10/2/25, 12:38 AM, with comments
- Tracking source locations in the Futhark compiler
by jmillikin on 7/31/25, 4:40 AM, with comments
- Hacking Coroutines into C
by jmillikin on 7/13/25, 1:12 AM, with comments
- Bin2Wrong: A fuzzer for uncovering semantic errors in binary-to-C decompilers [pdf]
by jmillikin on 7/10/25, 2:27 AM, with comments
- Unsoundness and accidental features in the #[target_feature] attribute
by jmillikin on 7/6/25, 9:10 AM, with comments
- Using the Internet without IPv4 connectivity
by jmillikin on 6/29/25, 8:23 AM, with comments
- Announcing the Clippy feature freeze
by jmillikin on 6/22/25, 7:07 AM, with comments
- Graduate student develops an A.I.-based approach to restore damaged paintings
by jmillikin on 6/15/25, 3:59 AM, with comments
- Plutonium Mountain: The 17-year mission to guard remains of Soviet nuclear tests (2013)
by jmillikin on 6/3/25, 10:06 AM, with comments
- RULECOMPILE - Undocumented Ghidra decompiler rule language
by jmillikin on 5/15/25, 4:19 AM, with comments
- Rust Any part 3: we have upcasts
by jmillikin on 3/30/25, 11:15 AM, with comments
- PeanoScript: TypeScript but It's a Theorem Prover
by jmillikin on 3/21/25, 4:22 AM, with comments