I have blogged a few times before about Stacked Borrows, my proposed aliasing model for Rust. But I am a researcher, and what researchers (are expected to) do is write papers—so that’s what... (more…)

I've been using zig for ~4 months worth of side projects, including a toy text editor and an interpreter for a relational language. I've written ~10kloc. (more…)

CLI reimplementation of Scoop in Rust. Contribute to chawyehsu/hok development by creating an account on GitHub. (more…)

Compiling Rust to WebAssembly is still difficult. On macOS, there are weird bugs that require reinstalling LLVM and moving files around. On Linux, the official Emscripten binary in many cases isn’t bundled with the right LLVM, and the fix is to compile fr... (more…)

Today's post is about Rust, the programming language. (more…)