Stories by jmillikin

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

Structured Binding Upgrades in C++26

Implementing async APIs for microcontroller peripherals

Show HN: Idol, an IDL and binary encoding for zero-copy local IPC

Regalloc III: A new register allocator for Rust's Cranelift back end

tolower() small string performance

Place expressions and value expressions in Rust

Rust Dylib Rabbit Holes

Extending the #[diagnostic] tool attribute namespace

Interpreting decimal strings into floats (part 1)

Spider-Man (Neversoft) decompilation project progress checkpoint – July 2024

The Space Quest II Master Disk Blunder

A hybrid approach to semi-automated Rust verification

vu128: Efficient variable-length integers

A memory model for Rust code in the kernel

1
2
3