Stories by jmillikin

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

Multifaceted: The linguistic echo chambers of LLMs

Single Abstract Method Traits

Show HN: WebGPU Rotating Cube

Talking about WebGPU

1
2