9,800 karma · joined May 23, 2010
The Falcon Heavy has made 12 launches and all of them have been successful. It's built using the same engines as the Falcon 9, which has become the boringly reliable workhorse of space launch, and the rocket cores are very similar in design. I'd bet on a successful launch, and probably on a successful landing of the side boosters.
(Do we really need to politicize launch vehicles, of all things?)
https://pmc.ncbi.nlm.nih.gov/articles/PMC6637963/
Figures for deaths from school shootings are harder to come by, since it seems like all the sources are trying to push some political narrative or other, but the highest numbers I could find were in the low double digits per year (on average). Preventing those doesn’t strike me as a high-priority use of limited death-prevention resources.
Google wants a lot of compute sooner rather than later, and they're willing to pay a premium for speedy delivery of that compute. SpaceX has the capacity already built and ready to go. Hence the high price.
(I want to call this "the tragedy of the commons," but that phrase doesn't sound quite dark enough.)
In the US, the official inflation numbers are based on a "basket of goods" meant to be representative of a typical person's spending. Housing currently makes up about a third of the basket, while luxury items are a fairly small percentage. Here's a pretty well-written summary, albeit with numbers from 2022:
https://www.pewresearch.org/short-reads/2022/01/24/as-inflat...
Changes in housing prices have a large effect on the BLS's inflation figures. Downward changes in the price of luxury goods have a small (and bounded) effect. Even if all luxury goods became free, the reduction in inflation wouldn't be all that much.
That's not obvious to me. I checked the manuals for sort(1) in GNU and FreeBSD, and neither of them buffer everything in memory by default. Instead they read chunks to an in-memory buffer, sort each chunk, and (if there are multiple chunks) use the filesystem as temporary storage for an external mergesort.
This sorting program was originally developed with memory-starved computers in mind, and the legacy shows.
That's 'resources' viewed as expansively as possible, everything from the specialized labor-hours of people who know how to do quality control on bulk-manufactured photovoltaics to the ore used to make ball bearings in the factory all the way to the guy in charge of managing a grain elevator that was involved in making the bread for the sandwich one of the janitors had for lunch. The web of collaboration between all these far-flung people who mostly don't know each other, too vast and intricate to fit in any living mind, is how we currently get most of our material stuff.
... And in a conventional market system, the core of how those people coordinate their efforts is money. The price that each person is willing to buy something for or sell it for sends a signal about how much they care about it relative to other things. And markets are one popular way of aggregating that information, helping guide society's cooperative efforts in the direction of what people care about.
There are various allocation systems that don't involve money, both theoretical and historical. Community-based mutual reciprocity with a reputation mechanism to discourage freeloading, for example, can be found all over the place in pre-modern history because it worked – as long as your community was small enough that you can realistically all know each other. Or, back in the 20th century, there were a number of efforts to scale up operations research toward the level of nations, since suddenly we had computers fast enough to handle e.g. non-trivial linear programming. (The successes and failures were both instructive.)
--
Coordination problems are hugely underrated in political discourse. So when I hear people say things like "The economic system is the ideology holding us back", I always have to wonder: how carefully has this person thought about a what a viable alternative would look like?
"I dislike the current system" is only the first and most trivial part of a real reform agenda; the next part has to be "... and here is how to meaningfully change it in a way that doesn't result in disaster, with a detailed discussion of mechanism design and a look at relevant historical prior attempts. [Insert essay or hyperlink here.]"
They're mostly touting the improvement in latency over existing tracking, from delays measured in hours to ones measured in minutes. Which is very nice, of course, but the lack of other technical detail is mildly frustrating.
[1] https://www.mit.edu/~hamsa/pubs/ShtofenmakherBalakrishnan-IA...
> Stargaze already has a proven track record in its utility for space safety. In late 2025, a Starlink satellite encountered a conjunction with a third-party satellite that was performing maneuvers, but whose operator was not sharing ephemeris. Until five hours before the conjunction, the close approach was anticipated to be ~9,000 meters—considered a safe miss-distance with zero probability of collision. With just five hours to go, the third-party satellite performed a maneuver which changed its trajectory and collapsed the anticipated miss distance to just ~60 meters. Stargaze quickly detected this maneuver and published an updated trajectory to the screening platform, generating new CDMs which were immediately distributed to relevant satellites. Ultimately, the Starlink satellite was able to react within an hour of the maneuver being detected, planning an avoidance maneuver to reduce collision risk back down to zero.
> With so little time to react, this would not have been possible by relying on legacy radar systems or high-latency conjunction screening processes. If observations of the third-party satellite were less frequent, conjunction screening took longer, or the reaction required human approval, such an event might not have been successfully mitigated.
Looks like a non-trivial upgrade to previous systems, and they're making Stargaze's data available to other satellite operators free of charge. Nice!
Failure to acknowledge the existence of tradeoffs tends to lead to people making really lousy trades, in the same way that running around with your eyes closed tends to result in running into walls and tripping over unseen furniture.
Memory-mapped I/O can be great in some circumstances, but a one-time read of a small file is one of the canonical examples for when it isn't worth the hassle and setup/teardown overhead.
for (long i = 2; i <= rounds + 2; i++) {
x *= -1.0;
pi += x / (2.0 * i - 1.0);
}
With my older version of Clang, the resulting assembly at -O3 isn't vectorized. Now look at the C version in leibniz.c: rounds += 2u; // do this outside the loop
for (unsigned i=2u; i < rounds; ++i) // use ++i instead of i++
{
double x = -1.0 + 2.0 * (i & 0x1); // allows vectorization
pi += (x / (2u * i - 1u)); // double / unsigned = double
}
This produces vectorized code when I compile it. When I replace the Objective C loop with that code, the compiler also produces vectorized code.You see something similar in the other kings-of-speed languages. Zig? It's the C code ported directly to a different syntax. D? Exact same. Fortran 90? Slightly different, but still obviously written with compiler vectorization in mind.
(For what it's worth, the trunk version of Clang is able to auto-vectorize either version of the loop without help.)
https://github.com/niklas-heer/speed-comparison/blob/master/...
https://github.com/niklas-heer/speed-comparison/blob/master/...
The idea of a House of Lords does strike me as a bit odd, but it's not really the big deal it used to be.
They’re providing worldwide rural broadband, and according to the FAA they’re doing so in a way that’s careful and responsible about space debris and collision avoidance. Is disgust truly warranted in this case?
(On a slightly funny personal note, the thing that helped me most with social skills was watching the first few seasons of Buffy the Vampire Slayer in my first year of college. The actors emoted so clearly that even I could understand what feelings they were trying to convey, and that’s how I learned to do body language and appropriate vocal tones. This took me from unapproachable to merely awkward, a huge step up in the world.)
(You didn’t explicitly say otherwise, so if my exasperation is misdirected then you have my apology in advance.)
—And years later, once the Ziz cult started preying on vulnerable people, the response from the mainstream rationalist movement was… to post warnings about avoiding this messed-up cult, to explain exactly how it was manipulating its victims, and how the best thing to do (in the absence of legal remedy) was to stay the hell away from that diseased social scene.
I’m not sure how they could have done better. Any sufficiently large movement attracts crazy people. No matter how well or poorly they may deal with that fact, anybody can do guilt-by-association forever after.