Michael Hendricks (@mndrix_) header
Michael Hendricks (@mndrix_) profile picture

OCaml; Off-grid; Tesla (Y, 📐); Bayesian; Summarist

Wyoming
Joined April 2022
Photo by Michael Hendricks (@mndrix_)Photo by Michael Hendricks (@mndrix_)Photo by Michael Hendricks (@mndrix_)Photo by Michael Hendricks (@mndrix_)Photo by Michael Hendricks (@mndrix_)Photo by Michael Hendricks (@mndrix_)Photo by Michael Hendricks (@mndrix_)Photo by Michael Hendricks (@mndrix_)Photo by Michael Hendricks (@mndrix_)Photo by Michael Hendricks (@mndrix_)
Michael Hendricks retweeted
i've reproduced the results from the MIT blog post today on weight-space programming. but one additional result i have to add: this is a new, step-change emerging capability that's appeared in just the latest set of models.
218
803
268
7,816
600,327
Michael Hendricks retweeted
Just finished up, here is the real Houston Geofence that is ~26% smaller than advertised. Waymo is next, and they're no better.
Replying to @ethanmckanna
It’s a decently large area. Think it’s time to dig into every service area and find out what’s real cc @koby_pierce
65
28
17
820
74,704
Michael Hendricks retweeted
Replying to @DirteeerMartini
Obligatory
12
168
5
4,392
100,780
Michael Hendricks retweeted
3) Imagine that tomorrow we invent a $10k robot that can build brick walls. What does it do to growth? Very little! Doesn't affect brick prices (can even raise them in SR!) or "roll fee" for the truck that brings it to you. But it's worse. 2/8
3
5
1
137
11,612
Michael Hendricks retweeted
Robotaxi makes the roads safer for everyone
399
1,442
192
13,479
942,416
Michael Hendricks retweeted
I don't care if I sound like a shill, my Tesla is amazing Every drive is just, wow, the car is driving Soon drunk driving manslaughter will be over. Text-and-drivers, geriatric loons on the wrong side of the road, road ragers, just gone, a historical problem
80
96
18
1,921
74,480
Michael Hendricks retweeted
🚨 WE HAVE A PERMITTING DEAL🚨 And it is easily the best permitting bill we've ever gotten! - The Bipartisan American Affordability and Jobs Act is HUGE (400+ pages) and both sides got a LOT. - The bill is much bigger and better than either Manchin post-IRA in 2022 or Manchin-Barrasso in 2024. Once I finish reading the text I'll publish an explainer. For now, here are a few high level takeaways. 1. Transmission: The bill is absolutely HUGE for transmission, going further than Manchin-Barrasso. Includes: interregional transmission, limited federal backstop authority, interconnection queue reforms, directives for advanced grid-enhancing tech, and oversight of utilities. It's absolutely AMAZING all of this got in. 2. NEPA: The bill has BIG changes to NEPA, including fixes for judicial review that underpins the law's costs. Still reading but this is even better than I expected! 3. Certainty: The bill includes strong provisions to push back on misuse of permitting, like we're seeing with the admin's abuses against offshore wind. 4. Historic Preservation: The bill includes changes to the NHPA 106 process, including changes to judicial review that will help right-size the process. 5. Clean Water: The bill fixes problems with section 401 by adding new requirements for states and makes section 404 nationwide permits easier to comply with. 6. Geothermal: The bill includes big wins for geothermal, including parity with oil and gas catexs. 7. Mining: The bill fixes the "Rosemont decision" 8. Endangered Species: The bill creates a new path for states to take on endangered species consultation. 9. Hydro: Fixes for certain hydroelectric projects 10. Ratepayer protection: The bill adds protections for ratepayers from added data centers. Looks to be stronger than the House passed bill by quite a bit.
31
234
66
1,619
377,339
Michael Hendricks retweeted
Claude Code will now try to find a graceful stopping point when you hit your 5-hour limit mid-task, instead of cutting off mid-edit. It gets a small, fixed allowance pulled from your weekly limit to wrap up what it can.
1,079
1,218
826
34,723
2,677,428
Michael Hendricks retweeted
New Tesla Supercharger: Lander, WY (8 stalls) tesla.com/findus?location=19…
29
64
3
1,094
23,510
David Deutsch (@DavidDeutschOxf) has a nice post today explaining how he fixed his dishwasher with the help of ChatGPT. We have all been there over the last couple of years. In my case, from fixing a light fixture in my kitchen to repairing a leak in my irrigation system. Deutsch and many readers point out something that has been a staple of my talks for a decade. GDP was designed to measure an economy that produced coal and steel, easily measurable quantities. And GDP did its job quite well for decades. IT, first, and later the internet and AI, changed the landscape. My favorite example is books. Even as late as 2010 or so, getting the most recent books in Spanish on, let’s say, Spanish economic history was hard in the U.S.: expensive and time-consuming. Every time I went to Madrid, I carried two bags, one of them empty because it would come back filled with books. Then Kindle arrived, and now I can buy nearly every single Spanish book I want in seconds and at a lower price than the physical copy. This was an enormous increase in my welfare that never got reflected in GDP. The literature is divided on how big this effect is. I tend to side with those who think it is a big deal. Therefore, many of the gains in GDP growth announced by the strongest defenders of AI might not materialize: they will go instead into higher welfare. But the issue goes beyond getting GDP wrong. What Deutsch perhaps did not notice is that he did not pay VAT on the service of the repair person he did not hire, and that such a repair person did not pay income taxes on the service he did not render. Taxing AI-based economies might thus become much harder, from a purely technical perspective. One solution would be to tax the profits of OpenAI (or Deutsch’s subscription), but I am among those who think those profits are not going to be nearly as large as anticipated. Competition among labs will drive the subscription prices of models down (unless labs can cartelize, for example, by appealing to “AI security”). Over 95%, and perhaps as much as 99%, of the gains from AI will pass to the final user, whether another business or an individual. Now, we could tax the final user, for instance, at a fixed rate per token used. But that implies we are taxing the high-return activity (how to fix the dishwasher) at the same rate as the low-return activity (Claude: “tell me a joke about my cat jumping”). And taxing per token might hurt those final users who use more tokens because they are more productive, something we might not want to do (yes, there is something called the uniform commodity taxation theorem, but it often breaks down). Let me give you an extreme example: imagine that tomorrow the new OpenAI model cures all cancers, forever. Just a vaccine, $10, once in your life, and you never get cancer again. The increase in human welfare from such an invention would be staggering. But how do you measure it in GDP? Yes, people will live longer, perhaps work longer. A second-order effect on GDP. And more importantly: how do you tax the vaccine? Do you even want to tax the vaccine? I would argue we want to subsidize it, and generously. When I was still an undergrad, my first RA job was helping to construct GDP and other national aggregate statistics in Spain. It was a most valuable experience, because it made me aware of what GDP means, its strengths (and it has many more than its critics concede), and its limitations. But it also taught me that what you can tax out of GDP is far more limited than you would think at first sight. There are real upper bounds on taxation, and I am afraid the bound is tighter now than it used to be.
I just fixed my dishwasher with the help of ChatGPT. A trivial task. I had been about to order a new one. So this software has increased the country's real wealth yet decreased the measured GDP. The main economic indicator is structurally incapable of registering the thing that actually makes people better off, namely the growth of knowledge
50
210
22
1,097
129,764
Michael Hendricks retweeted
A Cybertruck purchased today has 87% different parts than a VIN 1XX launch truck, and yet there hasn't been a "refresh", it's all continual improvements. Most (all?) of those new parts are compatible with the older trucks. The center console has gone through 12 revisions!
24
31
13
600
88,618
Michael Hendricks retweeted
What programming languages are coding agents best at? danluu.com/pl-tokens/
43
60
26
500
69,905
Michael Hendricks retweeted
In 2015 I formed a small group of engineers at Jane Street to rebuild the firm’s core trading system from the ground up, and we ended up cutting latency by two orders of magnitude. Some of the techniques we used, relevant for algorithmic trading systems and exchanges today: Zero allocation: Whenever a program allocates memory for an object on the heap, the runtime pays a steep penalty in latency. The simplest solution is to avoid memory allocation entirely. Jane Street famously uses OCaml, a strongly typed programming language that by default produces garbage collected by a dynamic collector. Most other firms use languages with manual memory management, but it was a strict part of Jane Street’s tech culture that all risk-sensitive code had to be written in OCaml. It took a collaborative effort across multiple groups within Jane Street’s technology org to create zero-allocation core libraries, combining the type safety of a functional programming language with the memory profile of a language like C. We built the new main trading loop in this hybrid OCaml/C-style, producing zero new allocations in the critical path from tick to trade. In modern languages like Rust, it is substantially easier to achieve precise memory management while still benefiting from type safety and compile-time guarantees. Kernel bypass: A primary goal of a low-latency trading system or exchange is to pull a network packet containing market data or order flow through the network card’s interface and into the program’s memory space as fast as possible. The standard Linux OS kernel uses slow abstractions to support a wide variety of network drivers, at the expense of the entire system’s end-to-end latency. When we started with an empty program that contained no business logic and only forwarded packets through when received, the end-to-end latency was already too slow. To fix this issue, we employed a standard practice in the HFT industry in which we bypassed the OS’s kernel stack entirely by leveraging our network card vendors’ proprietary APIs to DMA packets straight from the NIC into memory. This technique brought our empty-packet-forwarding baseline into the latency regime we needed in order to build out the rest of the trading, risk, and protocol code. Local IPC: Kernel bypass is necessary when reading routed packets off a network from a third party such as another exchange or client connection. When communicating between internal instead of external processes, the fastest transports avoid network stacks entirely. Processes within the same box can transfer messages using shared memory or Unix domain sockets. This allowed us to continue with our familiar process boundaries for separable components without sacrificing significant performance. We had to write custom logic to emulate many of the features of network- and transport-layer protocols, with the result of creating a reusable, zero-overhead IPC mechanism. Working on this problem was one of the most intellectually rewarding experiences of my early career. The above latency optimization techniques are fairly commonplace in the HFT trade but hard to learn outside the industry setting. Half of our team at Architect comes from Jane Street and other trading firms, and we value using our domain knowledge to build exchanges for the public rather than trading software that never leaves an HFT’s walls.
142
347
46
5,927
488,178
Michael Hendricks retweeted
Replying to @ChuckCook @Tesla
We've identified PCS electronics in pre-2026 Cybertrucks that do not meet our reliability standards and have made design changes to address this in newer vehicles. Next steps for existing owners: – Model year 2026: PCS warranty is now standard at 7 years/70k miles – Model year 2024/2025: PCS warranty extended to 8 years/150k miles Starting in the next few weeks, we will reimburse any charges for those who already required a PCS replacement and paid out of pocket. We're working hard on increasing supply chain availability of this improved version. As an immediate remedy, we've rolled out a software update so you can keep Supercharging even if a PCS failure occurs, and have enabled free Supercharging for trucks waiting for part availability
461
474
231
5,161
588,878
Michael Hendricks retweeted
It's pretty remarkable just how much of the sum total of human knowledge and expertise can be condensed into something that fits into a $90 hard drive. If you lost everything else, this would get you pretty far in terms of covering the basics (and not-so-basics) of most fields.
187
264
52
7,400
542,234
Michael Hendricks retweeted
The most interesting Fable tip I've heard so far is to let the model use its own judgement as much as possible I told it "For all coding tasks use your judgement to decide an appropriate lower power model and run that in a subagent" and it seems to be saving a lot of tokens
209
200
39
4,839
422,600
Michael Hendricks retweeted
FSD v14 Lite is now rolling out to AI3 early-access customers. Based on the feedback, will rollout to more customers over the next few weeks. This build distills the driving behavior from AI4’s v14 series into both the camera and compute config of AI3. It includes destination options and speed profiles on city roads, but more importantly significantly improved safety. We hope you’ll enjoy it, once the build ships wide.
1,237
1,677
545
13,239
3,899,785
Michael Hendricks retweeted
I actually believe 'It's the phones' when it comes to smartphones and car accidents.
41
53
9
1,116
53,615
Michael Hendricks retweeted
Super weird, and potentially wonderful. We now have several natural experiments suggesting that the shingles vaccine significantly reduces dementia risk, or delays dementia risk, potentially by suppressing reactivation of the underlying virus, which can linger in nerve tissue and cause brain damage
Replying to @EricTopol
Here's a summary of the 4 natural experiments which all report ~20% reduction of dementia erictopol.substack.com/p/spo…
34
346
21
2,165
293,316