Serious Engine Networking Analysis
https://staniks.github.io/articles/serious-engine-networking-analysis

staniks.github.io

Serious Engine Networking - Dive-in Analysis

Personal website and blog.

Make Your Program Slower With Threads
https://brooker.co.za/blog/2014/12/06/random.html

brooker.co.za

Make Your Program Slower With Threads - Marc's Blog

Superlinear Speedup by Program Transformation
http://meta2012.pereslavl.ru/papers/2012_Jones_Hamilton__Superlinear_Speedup_by_Program_Transformation__slides.pdf

COMEFROM
https://en.wikipedia.org/wiki/COMEFROM

Wikipedia

COMEFROM

Programming language control flow structure

Category Theory: a concise course
https://categorytheory.gitlab.io/

Recursive types for free!
Philip Wadler
https://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt

Boehm-Berarducci Encoding
https://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html

okmij.org

Boehm-Berarducci Encoding

Explaining the Boehm-Berarducci isomorphism between strictly-positive algebraic data types and a class of polymorphic System F terms, and illustrating it on a simple example

Everything About The Fast Inverse Square Root Algorithm (Quake 3)
https://github.com/francisrstokes/githublog/blob/main/2024%2F5%2F29%2Ffast-inverse-sqrt.md

GitHub

githublog/2024/5/29/fast-inverse-sqrt.md at main · francisrstokes/githublog

I'm sick of complex blogging solutions, so markdown files in a git repo it is - francisrstokes/githublog

Distributed Snapshots: Chandy-Lamport protocol
https://blog.fponzi.me/2024-05-30-distributed-snapshots.html

blog.fponzi.me

Distributed Snapshots: Chandy-Lamport protocol

Some forms of distributed snapshots were around for a while already when Chandy-Lamport's distributed snapshots paper was first published in 1985....