Paulo Matos

Paulo Matos - Linki Tools

Linki Tools, your one-man micro-consultancy.


Racket Money ML S10 Superoptimizer

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

I present the use of containers for cross architecture reproducibility using docker and podman, which I then go on to apply to JSC. If you are trying to understand how to create cross-arch reproducible environments for your software, this might help you!

A Brief Look at the WebKit Workflow

As I learn about the workflow for contributing to JSC (the JavaScript Compiler) in WebKit, I took a few notes as I went along. However, I decided to write them as a post in the hope that they are useful for you as well. If you use git, a Unix based system, and want to start contributing to WebKit, keep on reading.

S10 Overview

What is superoptimization? What is S10? Here’s an overview.

© Paulo Matos - Linki Tools 2020. All rights reserved