An immune system for SAT solvers

Unlocking _everything_ on the CPU with DRAM scrambling - xoreaxeaxeax/skitter-creek-bath-salts

Fear the `Obj.magic`. GitHub Gist: instantly share code, notes, and snippets.

Bit-reversing with the gf2p8affineqb instruction

A new hybrid design for scalable vector indexes and a reference implementation in MySQL

The binary you run is not the program you wrote. Contribute to xoreaxeaxeax/schrodingers-toctou development by creating an account on GitHub.

A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.

Even if it takes more time, learning to program the hard way using as few libraries and external dependencies as possible will make you more confident.

Research shows that confident people make more money, so it also makes you rich.

In this audio stream…

A guide to bringing up the Linux Kernel and a userspace application on a new hardware (or in this case, a self-made emulator)

Have you ever wondered what a data race is? How a race detector works? If there are bugs in your race detector? We take a look.

After a decade and a half of academic and industrial research, products using CHERI to provide hardware enforced, deterministic memory safety are making their way to market. CheriBSD, a research fo...