Trump is the nastiest of vengeful dirty old men. I don't think there's conclusive evidence of pedophilia however, and harping on that takes away from all the shitty and horrible things he has undisputably done.

We went through the immigration process under K-1, then adjusted status to a permanent resident. No lawyer. Many people have done this and there is information out there how to do it, but it can be outdated, especially in the current era. There wasn't a great "here's the overall workflow" back when we did it, and their probably isn't now either.

The forms have instructions, and if you read carefully (together with all reference documents) it isn't too difficult. But I'm a contract guy, most people likely will have difficulty. It would be nice for them to have an official place to ask questions and have all the relevant forms and instructions considered together.

For a more "routine" example, the forms to apply for or renew a passport for a minor are a huge pain. Not all the required documents needed to be brought to an appointment (minor passports must be applied for in person) are listed in one list as of late last year. You have to go deeper into the state department website than you probably should have to. They should just fix all forms which are confusing or have incomplete instructions, but having generative AI assist the user is probably a lot faster to implement.

It's not stealing if you take a little bit from a large number of people.

Must be amazing living in a place where unexpected traffic accidents never cause delays.

Most full-service restaurants will have things on the menu which are just there as an option for an audience who doesn't want their core offerings. The Sysco truck makes this very easy- take a recipe (from Sysco) and they will bring the ingredients right to you. I wouldn't expect Joes Crab Shack to have great pasta, some menu items are just minimal effort to satisfy picky eaters in a party of people coming for your specialty options.

GFCI outlets, which are required outdoors and in garages in most places, often have issues with backfeeding. Mine won't handle it and I had to install a different outlet.

Doing it in software means you can move CPUs from one machine to another based on the time of day. Your CI infrastructure can lose some resources from its UI at night and make another server for nightly builds when most of your users are away, without either having a VM layer in between or needing the builds to happen on a kernel configured with the features needed by the UI.

And the weather. There is a limited amount of pleasant temperate climate in the US and California has a big chunk of it.

You might be surprised. Louisiana is an industrial facility powerhouse, probably just behind Texas in terms of manpower depth for a facility like this.

The real issue is that the packaging process used to create vaccines in quantity is a process where you mix a tank of mRNA with a tank of other stuff and get a tank of lipid nanoparticles. Getting different mRNA in each dose means you only get one patient's vaccine per time you start and stop the machine. There's also a step where one copy of mRNA is used to make a macroscopic quantity of copies in a bioreactor that needs to be flushed in between different sequences, but can just run when making enough of the same thing for a large population. It's likely that the cost for each different sequence will come down if it's worth designing and building equipment that switches every dose, but there's an intermediate time between proving that the treatment is useful and being able to provide it in a cost-effective way.

It's clearly all the superfans who hear that there's a new album and immediately drive into their local record store. (Rather than doing the sensible, calm thing and entering the store on foot.)

Spirit is kaput. Google is picking up wreckage from the scene at scrap value.

But you do make a point that most people underappreciate. The Spirit airline experience was bad, but one of the bigger factors in the poor experience was that everyone on the planes were extremely grumpy. You could avoid being nickel and dimed but there was no escape from the foul mood. No other airlines have ever come close.

I'm sure there's an element of tax avoidance here. Elaborate commercial arrangements like this often do.

With their COVID vaccine, the first time was the highest dose they knew would have only acceptable side effects, and they reduced it for the next iteration when they saw how effective it was. (If you remember the myocarditis rare side effect, that was only seen with the first version.) I would guess that the next step is backing off on the dosage to reduce the side effects now that they have results on effectiveness, which will also let them make a better case for younger people at less risk from the flu.

Some important background for this is that, around 1900, mathematics got formalized to the point that there is a standard for whether a proof is valid or not that doesn't depend on humans thinking about it, just doing a bit calculation following an algorithm. However, it is such a large calculation that nobody wrote complete formal proofs or verified all of the steps (since they'd be spending huge amounts of time on obvious parts, and not the novel aspects). Then, in the past 20 years, people have made computer systems that work on complete formal proofs while showing you the interesting parts, with the rest in macros, and check these proofs automatically. This means that finding proofs has the form of things like what AlphaZero is good at: something to check if moves are legal and a win condition. However, only a relatively small portion of mathematical research has been put into Lean so far, and that doesn't include the sorts of obscure results that often turn out to be useful in other problems. So the current wave is using LLMs to find results in the literature that might be relevant and producing formal versions of them, game AI to put them together, and deterministic validation to check each of these as it goes along and then people can see at the end that the calculation shows the proof is valid. The only part requiring mathematicians is checking that what the proof proves is what they understood the open question to be.