Bbtree: Fastest Ordered Map
How bbtree, a drop-in replacement for std's BTreeMap, cuts cache misses, instructions and cache coherence traffic, and how it is kept correct.
How bbtree, a drop-in replacement for std's BTreeMap, cuts cache misses, instructions and cache coherence traffic, and how it is kept correct.
At WWDC 2025, Apple announced macOS 26 Tahoe. One of the new features in macOS Tahoe is a new disk image format: ASIF. Designed for use with virtual machines (its documentation lives under the Virtualization framework), ASIF takes a lot of inspiration from existing virtual disk formats. Practically, that means it’s…
In the last post, I got the game’s clouds to look passable. But after looking at it during playtesting, I still wasn’t satisfied with the way the overall picture of how sea, sky and clouds came together. With some small tweaks, things started to look a lot better.
Lately I've been spending time learning Scheme and using it to implement the concepts I'm learning in my physics classes as time permits. One of the most exciting things I've been doing with this is getting my Scheme to compile to the Web thanks to Hoot. One of the biggest challenges has been the fact that Hoot is…
Hi, and welcome to the latest ZLUDA update! Since I skipped the last update, this special issue covers all the developments made in ZLUDA since the start of the year. We now have two new major workloads: PhysX ( PhysX pre-alpha ) and Blender ( Textures support ). Much of this overlaps with Much improved Windows…
Yesterday I was looking at YC jobs to see if there were any interesting small startups hiring in my area (while I otherwise love my current fully-remote job,...
[This is a guest post by Álvaro Lozano-Robledo. This blog post was initially written in a different file format and converted using AI. — T.] TL;DR: Keep calm and carry on studying math. I wo…
I had a dream last night I went to work at Amazon. Joining the Bezos neofeudal empire. This post is directed at anyone with talent who works at a tech company ushering in this future.
Compared to their parents, Millennial fathers have roughly tripled the amount of time they spend with kids. The new American dad is more present and more exhausted—but also, more satisfied with life.
They are draining the economic potential of our cities. We need to make them financially unsustainable.
Recently this post from @Merocle caught my eye: I'm fixing my iFixit soldering station. I haven't used it for a long time and the battery has gone overdischarge. I hope it will come back to life. Unfortunately, there are no replacements available for sale at the moment. Devices with built-in rechargeable batteries…
Ok, the title is a tongue-in-cheek, but there's very little thought put into files in most languages. It always feels a bit out of place... except in C. In fact, what you get is usually a worse version of C.
Somehow a film made 56 years ago named Colossus The Forbin Project predicted the world of today
The advance in fabric technology comes alongside a new benchmark for atmospheric water harvesting.
A blog about software craft and quality
Mandiant aims to lower the barrier for security professionals to demonstrate the insecurity of Net-NTLMv1.
[This is a guest post by the Advisory Group on Mathematics and Artificial Intelligence. This blog post was initially written in a different file format and converted using AI. — T.] We would …
a post from alan w. smith
It’s very tempting to imagine that AI turns everyone into a tool-builder - now everyone can just ask the model to make the software they need, and apps as we know them are dead. I think that misunderstands how most people think and where software actually comes from, and more importantly, it isn’t
TL;DR I claim that modern science is synonymous with open source software. This post explains why, why it matters, and what you can (and should) do next. Why do you care about (open source) software? - Everyone I spend a lot of my time working on software. I have been asked why software matters more times than I can…
The Dimensionality Problem
Leonardo de Moura — Creator of Lean and Z3
I did this from a lawn chair on the Sunshine Coast.
I imported the entire Linux kernel git history into pgit's PostgreSQL-backed storage. 1,428,882 commits, 24.4 million file versions, 20 years of development. Here's what the kernel looks like when you can just ask.
The Soul of a Pedicab Driver, by Carl Etnier.
Improving on a timeless recipe
How to get up to speed on open models and their implications.
Technical articles and release notes about Symbolica, symbolic computation, numerical methods, and high-performance computer algebra.
I don't remember where the idea came from, but I decided that it would be cool if I could write websites using a stack-based language. Something like this: : h1 ( s -- ) "<h1>" emit . "</h1>" em…