Zeth (@prozeth) header
Zeth (@prozeth) profile picture

I love making computers do new things.

Birmingham, UK
Joined April 2015
Photo by Zeth (@prozeth)Photo by Zeth (@prozeth)Photo by Zeth (@prozeth)Photo by Zeth (@prozeth)Photo by Zeth (@prozeth)Photo by Zeth (@prozeth)Photo by Zeth (@prozeth)Photo by Zeth (@prozeth)Photo by Zeth (@prozeth)Photo by Zeth (@prozeth)
LibreOffice actually works 365 days a year. Just saying.
1,278
12,055
1,218
93,847
1,772,711
Very interesting.
I have a major result to share. I’ve found conclusive forensic evidence that the top 4 Chinese AI labs—DeepSeek, Moonshot, MiniMax and Ant Group—have built their newest models on NVIDIA’s most advanced Blackwell chips, which are barred from export to China. This sounds insane, but I discovered that almost every AI model carries a hidden signature of the GPU that trained it. When a model is first set up, the starting values of its weights are laid out in a pattern that depends on the exact GPU. Each combination of GPU and seed number produces a unique pattern—a sort of fingerprint of the hardware used to create the model. Traces of that pattern survive training into the published model. Again, this evidence isn’t based on any insider information or leaking. It’s based on a forensic analysis of the model weights released by the companies themselves. I searched more than six trillion combinations of chip layout and seed number and matched them to open-weights models. In doing so, I found conclusive evidence that six Chinese AI models—including DeepSeek-V4-Pro, Kimi K3, and MiniMax-M3—were initialized on NVIDIA Blackwell systems. Four of the models match Grace Blackwell, the GB200 and GB300 parts in NVIDIA’s flagship liquid-cooled rack-scale systems. I then verified these results on real hardware. Running unmodified PyTorch with the seeds I’d recovered, a Blackwell B300 reproduced DeepSeek-V4-Flash’s untouched starting weights bit for bit, and a rented GB200 reproduced Kimi K3’s to a correlation of 0.999995. A Hopper H100 reproduced none of DeepSeek-V4-Flash’s, and changing the seed by one broke the match. (DeepSeek’s seed is 953049583 by the way.) The method also was verified to match 24 known open-weights models to the hardware that developers said they used. It is exceedingly unlikely that these results are a coincidence. Across six trillion combinations, the best accidental match should reach only about 8 sigma (i.e., eight standard deviations above what random chance would produce). The real matches range from 49 to 1,385 sigma, and even the weakest single test hits 20. These were data-center-scale training runs. With some analysis of release schedules and model details, I estimate that the largest, Kimi K3 and DeepSeek-V4-Pro, used 2,000 to 3,000 Blackwell GPUs each. Clusters of this size cost on the order of $150 to $200 million each to buy, and across these labs alone would add up to more than half a billion dollars of export-controlled GPUs, not counting experimental compute or otherwise. It’s quite likely that we see multi-billion dollar expenditure on export-controlled GPUs. I am highly confident in this result, and it has been independently verified by senior researchers at OpenAI and Anthropic. You can read the full report at unemploymentlabs.com/checkpo…. There is much more I’ve identified about these models through other forms of checkpoint forensics like this, and will have more to share soon.
19
Nvidia is now in the John Scully phase. The New York Times, Nvidia board, Democrat leadership and CIA (but I repeat myself, all four groups overlap massively) who deposed Jensen Huang are not going to invent a new type of processing unit.
40
Probably not a video for the AI haters, to be honest. But I talk about using Python classes as a contract for my multi-platform multi-language knowledge framework, instead of specialist IDL and DSL formats that no one cares about. youtube.com/watch?v=HLd79gwT…
1
33
If the marginal cost of intelligence is supposed to be collapsing, why are the companies providing it increasingly interested in metering our consumption?
1
1
32
Massive downgrade for ChatGPT web users: from unlimited to quota. Shifting server resources from individual subscribers to corporate API tokens for revenue, following Claude and Gemini's examples. Is @edzitron right? Have run out of debt so can't finance further user growth?
1
414
Why you should use docstrings everywhere instead of comments, even on fields and variables. I try to make it start beginner friendly and carry everyone to advanced. #Python
3
58
Before inventing a Domain Specific Language, pop the kettle on and consider Python. It's easy to read already, the tooling is there already, and your users know it already.
🤖 Made with AI
12
AI models were asked what they really think of humanity. Their verdict? We're a bunch of conformist sheep. The irony? They all agreed. 🐑 I made a video about AI and who gets to control it. youtube.com/watch?v=4WEInXe1… – at Hollywood, England
22
Coding agents make a wonderful skeleton PR, saving a ton of typing, googling and cut and pasting, but I change something, sometimes many things, in pretty much every commit. People who just treat it like a compiler and machine code, do they eventually end up with what they want?
1
33
If you just did it all by testing the behaviour and sending it back and going around, does it end up working? Or does it end up churning the code all over, making new bugs and sending you insane?
13
I handwrote a patch to fix a GTK bug last night, tested it with my mark one eyeballs on Linux and Mac. It was merged today. Hooray. Reminds me of Gaius Baltar's line in BSG (2009): "Listen, Admiral, I am offering you the last human solution you will ever be presented with."
41
Still very pre-release, but this weekend I provided safety rails. Before if you had a parent card with child cards, I trusted the user to move children first not orphan them. Now 0.2.5 will tidy up in a hopefully sensible manner. holder.team/ github.com/HolderTeam/holder…
🤖 Made with AI
21
LLMs make senior engineers more productive, they are doing more engineering and less typing. I don't think a complete non-coder can make quality apps end to end unless they get the LLM to explain every line, and the user is willing to backfill and learn concepts as they go.
1
26
I prompt very well, with all kinds of plans, but I still push back against the LLM a lot, and often I manually edit lines too, just to get the quality needed. You cannot know when to push back if you know nothing about software engineering, surely?
13
No one pretends that relational databases are perfect or all-wise. Indeed, it has been said that SQL migrations are the worst way to evolve data models except for all those other ways that have been tried from time to time.
1
24