Articles by jmillikin
12

Announcing Zstandard in Rust (trifectatech.org)

1

First-class custom smart pointers (nadrieril.github.io)

1

Progress update on Clang's new constant expression interpreter (redhat.com)

49

Introduction to reverse-engineering vintage synth firmware (ajxs.me)

23

The biggest semantic mess in Futhark (futhark-lang.org)

13

Tracking source locations in the Futhark compiler (futhark-lang.org)

41

Hacking Coroutines into C (wiomoc.de)

3

Bin2Wrong: A fuzzer for uncovering semantic errors in binary-to-C decompilers [pdf] (utah.edu)

2

Unsoundness and accidental features in the #[target_feature] attribute (predr.ag)

99

Using the Internet without IPv4 connectivity (jamesmcm.github.io)

29

Announcing the Clippy feature freeze (rust-lang.org)

3

Graduate student develops an A.I.-based approach to restore damaged paintings (smithsonianmag.com)

34

Plutonium Mountain: The 17-year mission to guard remains of Soviet nuclear tests (2013) (belfercenter.org)

1

RULECOMPILE - Undocumented Ghidra decompiler rule language (msm.lt)

72

Rust Any part 3: we have upcasts (pocoo.org)

1

PeanoScript: TypeScript but It's a Theorem Prover (mjgrzymek.com)

1

Structured Binding Upgrades in C++26 (biowpn.github.io)

1

Implementing async APIs for microcontroller peripherals (beaurivage.io)

3

Show HN: Idol, an IDL and binary encoding for zero-copy local IPC (github.com/jmillikin)

1

Regalloc III: A new register allocator for Rust's Cranelift back end (d-sonuga.netlify.app)

1

tolower() small string performance (dotat.at)

1

Place expressions and value expressions in Rust (ralfj.de)

17

Rust Dylib Rabbit Holes (davidlattimore.github.io)

2

Extending the #[diagnostic] tool attribute namespace (weiznich.de)

1

Interpreting decimal strings into floats (part 1) (jvernay.fr)

2

Spider-Man (Neversoft) decompilation project progress checkpoint – July 2024 (krystalgamer.github.io)

1

The Space Quest II Master Disk Blunder (lanceewing.github.io)

1

A hybrid approach to semi-automated Rust verification (arxiv.org)

13

vu128: Efficient variable-length integers (john-millikin.com)

16

A memory model for Rust code in the kernel (lwn.net)

1

Multifaceted: The linguistic echo chambers of LLMs (j11y.io)

1

Single Abstract Method Traits (mcyoung.xyz)

1

Show HN: WebGPU Rotating Cube (john-millikin.com)

4

Talking about WebGPU (cohost.org)

1

Releasing Systrap – A high-performance gVisor platform (gvisor.dev)

55

GCC 13 and the State of Gccrs (rust-gcc.github.io)

2

Improving messages and types in GDB’s Python API (trailofbits.com)

1

How should we use chess engines? (maltliquidity.substack.com)

2

Adapting Curl to use Rustls (insufficient.coffee)

52

Plain C API design, the real world Kobayashi Maru test (nibblestew.blogspot.com)

1

Alien Artefacts (brautaset.org)

1

Improved UNIX socket networking in QEMU 7.2 (john-millikin.com)

1

There is no truth in business, only knowledge (commoncog.com)

1

Near-lossless image formats using LZ codecs (richg42.blogspot.com)

2

The mouth-watering world of NIST standard foods (2020) (hackaday.com)

77

Let's write a setjmp (nullprogram.com)

1

Gumby Coin: a story about a 1958 claymation character, cryptocurrency, and pizza (basta.substack.com)

67

A neat XOR trick (mattkeeter.com)

80

Please restore our registers when you’re done with them (randomascii.wordpress.com)

1

Reverse Engineering a GPU from 2009 (codeberg.page)

9

The Solid-State Register Allocator (mattkeeter.com)

1

C xor C++: Situations where the same code has different meaning in C and C++