Viewing profile — gpm

Trade agricultural futures based on it maybe?

This is like saying that all the countries in the world that speak English are England, that's not how it works. Countries are not defined by the language they speak, and the langu…

> the Holy Roman Empire inherited the name Eh, inheritance implies the predecessor willed it to you upon death. In the case of the "Holy Roman Empire" the predecessor died 334 year…

Collaborative (as in simultaneous multiplayer) editing I think, which has been Zed's mission since before LLMs were a thing... See https://zed.dev/blog/introducing-deltadb but also…

More destructive weather events are good for expensive pieces of infrastructure? Higher temperatures are good for things that struggle to cool themselves? I don't see it.

The value here is pretty simple, the frequency at which windows are rendered useless due to weather. Yes, the change we are undergoing and that the current administration seems to …

> Would they take off if medevac flight - there was probably some urgency.

If I know stopping a particular butterfly from flapping its wings prevents thousands of people from dying and devastating effects on infrastructure (the typical result of a hurrica…

Not useless if you can identify and stop the butterflies that cause hurricanes.

The weather already does that on a regular basis... though they are doing their best to make the weather, on average (i.e. what you might call a climate), worse.

Yeah, sure, you're right, and good point about non-towered. Are you suggesting however that "The flight crew acknowledged the clearance and responded that they would cancel IFR “in…

Yes... though I'd include the subsequent quote "and responded that they would cancel IFR “in just a couple of minutes.”" Also someone is correctly pointing out to me downthread tha…

No, you didn't, because they apparently had instrument clearance from the tower at the time they crashed into the mountain. The only correct conclusion here is more investigation i…

Note that after the pilots said that they could go visual the preliminary report documents the following > The ARTCC controller subsequently cleared the flight to SRR, cleared the …

Well for one I would expect the final report to actually come to any sort of conclusion and not just transcribe the conversations between air traffic control and the plane, and the…

So Irregular used the model to hack some real foo.com with the excuse that they meant to run in an environment where they were serving a fake foo.com!? This seems like a very mild …

Because it's a tool in search of a use case (or many use cases) and mathematics is the most natural use case for it. Mathematics is by definition the art of putting words on a page…

Between a lean proof, and a peer reviewed paper, the former is a lot less likely to be mistaken... Nothing is perfect.

I mean, they're verified in the sense that the lean proof checks out... and presumably OpenAI read them.

No? It says > Open source RTS game built on top of the Recoil RTS Engine BAR is a game, Recoil (a different thing - not the repository I linked) is an engine it is built on top of.…

No, an engine is only the code that is shared between games. For instance "urban terror" by frozen sands is a closed source game on top of a (now) open source engine (the Quake3 en…

Henry Yuen's (whose work problem 6 builds on) comments on this are worth reading IMO: https://bsky.app/profile/henryyuen.bsky.social/post/3ms2jpch...

Henry Yuen's (whose work problem 6 builds on) comments on this are worth reading IMO: https://bsky.app/profile/henryyuen.bsky.social/post/3ms2jpch...