jmillikin

Joined 3/23/2009, 7:46:18 PM has 11264 karma

https://john-millikin.com/

john@john-millikin.com

Currently semi-retired; formerly at Google (2011-2017) and Stripe (2017-2022)

Posts

Hacking Coroutines into C
by jmillikin on 7/13/2025, 1:12:37 AM with 42 comments
Bin2Wrong: A fuzzer for uncovering semantic errors in binary-to-C decompilers [pdf]
by jmillikin on 7/10/2025, 2:27:11 AM with 0 comments
Unsoundness and accidental features in the #[target_feature] attribute
by jmillikin on 7/6/2025, 9:10:08 AM with 0 comments
Using the Internet without IPv4 connectivity
by jmillikin on 6/29/2025, 8:23:40 AM with 130 comments
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