moving to github pages

2026-03-06T00:00:00+00:00

Once again, the optimization gods have taken their hold on me. The site is now running on github pages, with a nix-based build system running on top of github actions. It turns out that turning your website into a nix package lets you cache the build system! Magic Nix Cache</a> is extremely cool, and means that deploys are pretty much instant.</p>

A Reading List

2025-10-20T00:00:00+00:00

Here I preset my reading lists (broadly split among a couple categories), mostly to provide as reference for myself / others. Also includes some notable papers / short stories.</p>

Entries marked with (*) are highly recommended.</p>

Programming, Programming Languages</h3>

Iverson (1972), Algebra: An Algorithmic Treatment</em> - this covers some the ideas behind APL and similar array languages.</li>
Dijkstra (1977), On the foolishness of "natural language programming"</em></li>
Naur (1985), Programming As Theory Building</em></li>
Sussman et al. (1985), Structure and Interpretation of Computer Programs</em> </li>*
Pierce (2002), Types and Programming Languages</em></li>
Parse, Don't Validate</a></li>
What Every Programmer Should Know About Memory</a></li> </ul>
Software & Systems</h3>

Thompson (1984), Reflections on Trusting Trust</em></li>
Brooks (1986), No Silver Bullet</em> </li>*
MapReduce Paper</em> (2004)</li>
Kerrisk (2010), The Linux Programming Interface</em></li>
OSTEP</a></li> </ul>
Science Fiction</h3>

Gibson (1984), Neuromancer</em></li>
Card (1985), Ender's Game</em></label>

(1977) for the short story</p> </aside> </li>
Card (1986), Speaker for the Dead</em></li>*
Banks (1988), Player of Games</em></li>
Simmons (1989), Hyperion</em></li>
Banks (1990), Use of Weapons</em></label>

All of the culture series is good, these are selected recommendations.</p> </aside> </li>
Stephenson (1995), The Diamond Age</em></li>*
Reynolds (2000), Revelation Space</em></li>
Ted Chiang (2002), Stories of Your Life and Others</em></li>
Stross (2005), Accelerando</em></li>
Watts (2006), Blindsight</em> </li>*
Reynolds (2008), House of Suns</em></li>
Reynolds (2016), Beyond the Aquila Rift</em></li>
qntm (2020), Lena</em></a></li>
qntm (2021), Ra</em></li> </ul>
History of Science, Technology</h3>

Kuhn (1962), The Structure of Scientific Revolutions</em></li>
Popper (1962), Conjectures and Refutations</em></li>
Donald MacKenzie (1993), Inventing Accuracy</em></li>
Gleick (2011), The Information: A History, a Theory, a Flood</em></li>
Yanofsky (2013), The Outer Limits of Reason</em></li> </ul>

Dithering (and math)!

2025-06-05T00:00:00+00:00

I love! (love)</label>

I love it so much</p> </aside> dithering.</p>
You might ask - what is dithering? It's intentional noise applied to an image to prevent quantized error in some set of data.</label>

Dither - Wikipedia</a></p> </aside> This data - at least for our purposes, is an image.</p>
It can also either be used to represent gradients and increase the number of representative colors in an image, or to increase the ability of data to be compressed, or just to look cool!</p>
Dithering is fundamentally about error diffusion</em> - where the individual quantized pixel's value is spread to a certain area of the unprocessed image's pixels.</p>
Let's start by picking an image to play with - I like this one, but feel free to pick your own!</p>
</div>
Floyd-Steinberg Dithering</h2>
The first, and arguably most famous example of an image dithering algorithm which we will cover is the Floyd-Steinberg algorithm, which in essence visits each pixel and then applies a kernel transformation to it of the form $$ \begin{bmatrix} & * & \frac{7}{16} \\ \frac{3}{16} & \frac{5}{16} & \frac{1}{16} \end{bmatrix} $$</p>
But how is a kernel transformation applied? For those unfamiliar, we first convert the image to grayscale</label>

averaging sRGB color</p> </aside> , then take the value of the current pixel (indicated by the *), and then because of it being an error diffusion algorithm, by definition we add the value of the current pixel to the surrounding pixels based on their position in the kernel.</p>
The algorithm (in pseudocode) goes something like the following:</p>
for y = 0 to height-1: for x = 0 to width-1: old_pixel = image[y][x] new_pixel = quantize(old_pixel) image[y][x] = new_pixel error = old_pixel - new_pixel if x+1 < width: image[y][x+1] += error * 7/16 if y+1 < height: if x-1 >= 0: image[y+1][x-1] += error * 3/16 image[y+1][x] += error * 5/16 if x+1 < width: image[y+1][x+1] += error * 1/16 </code></pre> This results in</p></div> </div> This gives us a nice base result to work off of (and to compare to).</p> Atkinson Dithering</h2> A popular variant of the approach used by the Floyd-Steinberg algorithm is Atkinson dithering</a>, developed for the Macintosh. It uses the same error-diffusion approach, with the kernel $$ \begin{bmatrix} & * & \frac{1}{8} & \frac{1}{8} \\ ... & \frac{1}{8} & \frac{1}{8} & \frac{1}{8} & ...\\ ... & & \frac{1}{8} & & ...\\ \end{bmatrix} $$</p> This was useful because the $\frac{1}{8}$ is simple to compute on limited hardware as opposed to the awkward fractions of steinberg dithering, as it can be performed by a bitshift 3 bits to the right.</p> </div> </div> There are a number of other error diffusion methodologies to use, each of which have strengths and weaknesses and a unique look - you can also try your own kernel below!</p> </div> </div> Note that we see some interesting results for certain large values in the matrix, as the pixels become saturated and this is subsequently propagated - mildly interesting geometries, especially with shadows!</p> All in all, I hope you enjoyed this short exploration of dithering methods, with hopefully more to come at some indeterminate point in the future!</p>

moving to github pages

A Reading List

Software & Systems</h3> Thompson (1984), Reflections on Trusting Trust</em></li> Brooks (1986), No Silver Bullet</em> *</li> MapReduce Paper</em> (2004)</li> Kerrisk (2010), The Linux Programming Interface</em></li>

Science Fiction</h3> Gibson (1984), Neuromancer</em></li>

Dithering (and math)!