technical.cx Sources

Lobsters

No Man Is an Island

AI makes intellectual contribution superfluous.

Lobsters

lumi's code spelunking adventures

I've done a lot of activism for software freedom, over the years. At first it was purely for software freedom and related topics, (such as security, autonomy and privacy) but eventually this has evolved into something more holistic. I believe that the...

Topics: Security

Lobsters

Equality Saturation: An “Incomplete” Project

Equality saturation is a program optimization technique built around storing and rewriting large equivalence classes of programs in a data structure called an e-graph. It was invented by Tate et al…

Lobsters

Vectorized CLZ and CTZ

clz and ctz are instructions that compute the number of leading (trailing) zero bits in a fixed-size integer. They are natively supported by modern CPUs, though they are not always fast, e.g. tzcnt has a latency of 3 on Arrow Lake. I used ctz in an FPU...