CF Bolz-Tereick wrote some excellent posts in which they introduce a small IR and optimizer and extend it with allocation removal. We also did a live stream together in which we did some more heap optimizations.

PDF | We study the structure of language hierarchies and their reduction by two forms of metacomputation in order to overcome the time and space... | Find, read and cite all the research you need on ResearchGate

[русский]



Go has good support for calling into assembly, and a lot of the fast cryptographic code in the stdlib is carefully optimized assembly, bringing speedups of over 20 times.


However, writing assembly code is hard, reviewing it is possibly harder…

This paper presents the Functional Machine Calculus (FMC) as a simple model of higher-order computation with "reader/writer" effects: higher-order mutable store, input/output, and probabilistic...

I have spent some time in online spaces dedicated to the discussion of Guix. As such, I am familiar with a lot of the mistakes new Guix users make, and I would like to go over some of the most common ones now. Please note that this list isn't final...

Compose NYC 2019
Speaker: James Koppel

Every problem can be solved by many designs. Often the relation between two designs is that one is a transformation of another. When we understand how to mechanically transform designs, we can more easily explore the…

Main Web Site (Online Books). Contribute to RayTracing/raytracing.github.io development by creating an account on GitHub.

An experimental proof assistant based on a type theory for synthetic ∞-categories. - rzk-lang/rzk

Isometric games are extremely popular. Let's learn the theory behind isometric projection and how it is used by gamedevs to write isometric-looking games.

Sometimes you just really need an arena. Sometimes for performance reasons, other times for lifetime-related reasons.
In their most basic forms, they're just a vec with some extra guarantees. However, it's those extra guarantees that matter.
I've found myself…