Blog
This is what I try to call a blog... we will see how it goes.FEX x87 Stack Optimization
Stack optimization work on x87 FPU in FEX.
WebAssembly Reference Types in Clang/LLVM
Description of the implementation of WebAssembly Reference Types in Clang/LLVM
From Middle-C to Concert
How I went from starting to play piano from scratch to a public performance.
A tour of the `for..of` implementation for 32bits JSC
We look at the implementation of the `for-of` intrinsic in 32bit JSC (javascriptCore).
JSC - what are my options?
Compilers tend to be large pieces of software that provide an enormous amount of options. We take a quick look at how to find what JavaScriptCore (JSC) provides.
Announcing HTML examples (`html-examples`)
Announcing a new racket package `html-examples` to convert an `examples` block to HTML for inclusion in your own page.
Announcing Racket Bitvectors (`bv`)
Announcing a new racket package `bv` for manipulating bitvectors with a `rosette`-style API.
CReduce - it's a kind of magic!
During my tenure as a C compiler developer working on GCC and LLVM there was an indispensable tool when it came to fixing bugs and that was C-Reduce, or its precursor delta. Turns out this magic applies well to JavaScript, so lets take a quick glance at what it is and how to use it.
Cross-Arch Reproducibility using Containers
Use of containers for cross architecture reproducibility using `docker` and `podman`, which I then go on to apply to JSC.
A Brief Look at the WebKit Workflow
Some notes taken while learning about the workflow for contributing to JSC (the JavaScript Compiler) in WebKit.
S10 Overview
What is superoptimization? What is S10? Here's an overview.