Ah, the royal road to learning how to write.

How would that work? Make a law that it is illegal to own more than X GFLOPS of computing per person? With another limit on corporations? Maybe a Computing Enforcement Agency to investigate potential violations? On a slightly different topic, why have I never heard about taxes for AI/robots? Is there a reason why people should be the only taxpayers?

Can you get an assemble-time or run-time type-error with assembly? Might be a fine article otherwise without the click-bait headline.

> However, every instruction has a set of valid forms. Each form dictates the kind of each operand (register, memory, immediate, label), the class of each register (general-purpose, vector, mask), the width of each operand, the range each immediate may take, and what the instruction clobbers (flags, memory, particular registers). In x86, a mulps wants a 128-bit vector register; a crc32 in one of its forms wants a 32-bit destination and an 8-bit memory source; div reads and writes rdx and rax whether ask to it do or not.

The instructions have bit-width, arity/source/target requirements so technically there are types whereas an abstract virtual machine that only operates on some fixed set of integer registers is mostly untyped (modulo number of registers).

How much profit would ASML lose to this ban? Maybe they'll get a couple hundred million dollars in annual compensation from the U.S. gov?

The bigger worry is China pushing a home grown company to produce the same equipment and provide whatever state resources they need.

Hard to protect against espionage and hard to compete with a company that has massive state subsidies.

Easier to just sell them the equipment to prevent this.

Note: they can already produce DUV equipment, just probably not economically viable (yet)

Are dolphins obsolete?

They're certainly endangered.

Yes, you still need to be careful, especially if you have reason to think that the proof was from a malicious actor.

https://leodemoura.github.io/blog/2026-8-1-postmortem-for-ke...

(N.B. from August 2026)

It will be interesting to see the evolution of journals in the next ten years for sure. Have they outlived their usefulness? Maybe everyone will just upload papers to arXiv, along with a copy of the formal proof.

Just package the proof as a library and put it in some source code repository like github.

Apparently, it is Palomar:

https://terrytao.wordpress.com/2026/08/18/palomar-a-registry...

How do you even know something is authentic on Amazon, and not a counterfeit? What with the return scams and whatnot. That's why I avoid Amazon for most things are aren't close to disposable. I feel like there could a niche for a site that only sells as authorized distributor. To cut down on things like counterfeit and made-with-toxic materials items, etc. So no fly-by-night "marketplace" sellers. But what do I know.

That was basically my point. You don't even know anymore even with a brand name. The second any brand gains traction they sell out quietly behind the scenes and rug pull the quality.

>Take-home exams

Is this a left-over artifact of the covid-19 times? Why would there be take-home exams? I know I'm getting old, but wouldn't a return to in-class exams be the first line of defense?

I've had take home exams before Covid. I don't think any of them were for computer science classes, but they were a major pain as I'd rather have my exam done and over with in 1-2 hours.

They're basically like major papers or projects and they could be endless time-sinks.