wbl

Hygenic macros and the DSL they enable are fantastic ways to prototype things that then inspired stuff like LINQ.

"There is no royal road to Geometry" - Euclid. Mathematical knowledge isn't from tutoring but doing. And no one is against the AI helping explain the tricky parts to help you practice. Rather it's about dumping a giant bunch of low quality text with some Lean claiming a big result is done.

Because the redacted bits tell you what the crooks are doing wrong.

There are ways using modulated lasers to read out small rubidium cells vs the complexities of the lamp approach.

There was a problem with the name: toxic mine trailings weren't what was wanted. https://en.wikipedia.org/wiki/Argo_Tunnel

Its only high quality of this their thoughts. Autotranslation is different from choosing to have AI shape the expression permanently.

Fibre rolls in a dense city have different economics from somewhere with just a few people per square mile.

The PDB contains multiple topics.

Open problems are not that yardstick. Fermat's Last Theorem is the result of Wiles and Wiles-Taylor, but without key results from Serre, Ribet, Ihara, Langlands-Tunnels, and Frey's program none of what Wiles did would work. But Wiles did get the prize. Nowadays I think the inputs have shrunk a bit by doing more in the R=T theorem so less other cleverness needed.

The engineering library of your local college has all the information needed for ballistic guidance systems.

They were over takeoff velocity at that point and could have bounced up in the air and waited for the thrust to come. Would have been sketchy but better than what did happen.

There is one thing an airline never wants to have happen and it is a fatal accident. Everything else is secondary. Having one caused by corporate policy would lead to mass exodus of passengers.

And OpenAI confirmed it!

The theorem might not be encoded correctly, as happened with the Riemann hypothesis thanks to how numbers are encoded.

Very careful human examination. This can be tricky.

Insider trading is legal in commodities markets. If I am engaged in a hedging transaction I am doing so because I know about risks that I want to offload, and the buyer does also. You don't come to commodities markets without information.

The government does not control the words you or I use to refer to things.

Standard Oil was sued for keeping low prices thanks to vertical integration prompting the classic quip about antitrust litigation.

US higher education is that pipeline now, and it didn't exist in the 1930's and 1940's the way it does now.

VTOL opens up a lot of fun basing options. I'm a little surprised Finland eschewed it.

The feature set of a browser is set by competitors and what sites use. If you don't strive to play that game you're irrelevant.

The F-22 cannot do half the things the F-35 can. Yeah it's fantastic as an air superiority fighter, but the multirole versatility makes the F-35 the one plane most air forces need to have.

The DoD changing its mind several times did not do the F-35 project any favors

In the Vietnam war the US didn't win because it couldn't, no matter how much force was employed. Here same thing: we can't depose the Iranian government without a land invasion (which is too costly) and nothing else keeps them from having control of the strait.

You'll notice that the aircraft carrier continues sortie generation. What's causing us to lose is failure to achieve victory due to the means employed not the enemy constraining our freedom of action through force. Not to say it's great: it sucks to be on the ship for this, but if Hezbollah murdered 3,000 Americans the shortage wouldn't make the news amid our invading Iran.

SUNDIAL says hello.

I don't think you get the compensation for devs capable of working on this stuff.

And the military has JDAM with HOJ as a solution for jamming

If every site does it the scrapers will adapt. The scrapers will always have a cost advantage over real users for this.

The more democratic the EU the less sovereign legitimacy countries have. That's the tension that makes Euroskeptic parties oppose reforms.