Fuzz me wrong – How QuickCheck destroyed my favourite theory
Quite a while back I wrote a larger article on the algebraic foundation of software patterns which also covered the MapReduce algorithm .
Quite a while back I wrote a larger article on the algebraic foundation of software patterns which also covered the MapReduce algorithm .
That’s the headline for my latest project (with Tomas Petricek), presented at HATRA. [paper] [recorded talk] With this work I am finally confronting the demon cursing my work: version control. If w…
A deep dive on why we changed Amazon S3's consistency model
After showing an impressive demo last year and unleashing recently with the UE5 preview, Nanite is all the rage these days. I just had to go in and have some fun trying to figure it out and explain…
This new political battle does not break down along left v. right lines. This is an information war waged by corporate media to silence any competition or dissent.
Panfrost, the open source driver for Arm Mali, now supports OpenGL ES 3.1 on both Midgard (Mali T760 and newer) and Bifrost (Mali G31, G52, G72) GPUs,
A guiding framework for how EMs + PMs should partner together.
The new sqlite-utils memory command can import CSV and JSON data directly into an in-memory SQLite database, combine and query it using SQL and output the results as CSV, JSON …
This week (and next) I want to build a bit off of our discussion of Victoria II and talk a bit about World War I and in particular the trench stalemate on the Western Front. That trench stalemate i…
If you sell Web-based software for a living and ship code that references an unregistered domain name, you are asking for trouble. But when the same mistake is made by a Fortune 500 company, the results can range from costly to disastrous. Here’s the story of one such goof committed by Fiserv [ NASDAQ:FISV ], a $15…
Wildfire Games proudly announces the release of 0AD Alpha 25: “Yaunā,” the twenty-fifth alpha version of 0 A.D., a free, open-source real-time strategy game of …
In part 1 I dove into Spotify Codes and explained the general technical concepts of how they work. If you haven’t read that post you should check it out. I shared it on reddit where it generated a lot of interesting discussion. Ludvig Strigeus, a key early developer at Spotify and the person who invented Spotify…
Artists as technical experts and an interview with generative artist Alexis André
I got GDC , the GNU D Compiler, working on OpenBSD . Supporting D has been a very long time coming. Here's the story of how we got here and where we need to go next.
Today, we are thrilled to announce Windows 11 will start to become available on October 5, 2021. On this day, the free upgrade to Windows 11 will begin rolling out to eligible Windows 10 PCs and PCs that come pre-loaded with Windows 11 will start to
Roblox is a global platform where millions of people gather together every day to imagine, create, and share experiences with each other in immersive, user-generated 3D worlds.
A hard reality of C and C++ software development on Windows is that there has never been a good, native C or C++ standard library implementation for the platform. A standard library should abstract over the underlying host facilities in order to ease portable software development. On Windows, C and C++ is so poorly…
Some thoughts on the New York Times' Slate Star Codex profile
Reading time: 15 minutes There are many significant differences between Latin and its linguistic descendants, the Romance languages. One that stands out from the rest is grammatical gender. Latin h…
The HTML standard doesn’t provide web authors the tools required to embed small video files in a screen and bandwidth responsive way. This needs to change.
The long bull market since 2009 has matured into an epic bubble, featuring extreme overvaluation, explosive price increases, frenzied issuance, and hysterically speculative investor behavior.
AWS needs an identity that uniquely represents its users, not fractured across corporate identity providers.
Ensemble averages and time averages
A glimpse of the upcoming paradigm shift in how we do development
A couple of days back, Ganesh Venkataramanan, leader of the Tesla Dojo project, announced the Dojo machine learning training system. It’s an unusually network rich, power dense, and memory light design. I’ve summarized the architecture of the system below but I found three aspects of the system particularly…
Who were the Romans? How did they understand themselves as a people and ‘Roman’ as an identity? And what were the implications of that understanding – and perhaps more importantly…