Stories by jmillikin

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

Releasing Systrap – A high-performance gVisor platform

GCC 13 and the State of Gccrs

Improving messages and types in GDB’s Python API

How should we use chess engines?

Adapting Curl to use Rustls

Plain C API design, the real world Kobayashi Maru test

Improved UNIX socket networking in QEMU 7.2

There is no truth in business, only knowledge

Near-lossless image formats using LZ codecs

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

Let's write a setjmp

1
2
3