WARNING: the following contains a whole lot of pedantry about proving theorems at a level of detail such that you could likely convince a co...
After decades of uncertainty, a motley team of programmers has proved precisely how complicated simple computer programs can get.
Conway’s Game of Life is one of the most popular and iconic cellular automata. It is so famous that googling it loads up a working simulation right in your browser! The rules for the Game o…
RAND’s halcyon days lasted two decades, during which the corporation produced some of the most influential developments in science and American foreign policy. So how did it become just another think tank?
Chile is so long, it's curved. How long is it? Why not longer? Why is no other country as thin? How does that make Chileans incomprehensible?
A simple tool for visually comparing two PDF files - vslavik/diff-pdf
People expect that we all have the same communication instincts, but there are at least two communication styles that, without knowledge of them, will result in a lifetime of missed connections.
Title insurance is grossly overpriced relative to actual risks involved. Why is that?
Within the LLVM project, MC is a library responsible for handling assembly, disassembly, and object file formats. Intro to the LLVM MC Project, which was written back in 2010, remains a good source to
We're building Ladybird, a truly independent web browser, backed by a non-profit.
A merge workflow for activating multiple branches simultaneously using Jujutsu, an alternative VCS to Git.
In the age of antitrust, why has Koala Kare, Big Baby Change Station, flown under the radar?
By Opal Wright You might be hearing a lot about post-quantum (PQ) cryptography lately, and it’s easy to wonder why it’s such a big deal when nobody has actually seen a quantum computer.…
Competitiveness is a vice of mine. When I heard that a friend got Linux to boot off of NFS, I had to one-up her. I had to prove that I could create...
SIMD (Single Instruction, Multiple Data) is a powerful tool for accelerating data-intensive operations in high-performance computing. While our previous exploration focused on thread-level parallelism with Rayon, SIMD enables parallelism within a single core, simultaneously operating on multiple dat...
HATETRIS is the world's hardest version of Tetris; it's Tetris that hates you. In this post, we chronicle our eleven-month journey to get the world record, and some of our wrong turns along the way.