iknowstuff

>> Its not happening, at least not with LLMs

> Correct.

The article asserts general guarantees of program correctness have fundamental limits, but it explicitly says those limits apply to humans too. While that suggests neither humans nor LLMs can reliably solve every planning or verification problem, it says nothing about which will do better on the software problems people actually encounter.

It certainly does not present a fundamental problem with LLMs as they exist today.

I’d bet you the cost will be $140B when it’s all said and done, but this website won’t be around in 2044 (assuming no delays, good luck with that). You can bet regulations won’t stop changing over the span of decades either.

I’d rather have 70GW of solar and batteries deployed in a few years, and replace them with even cheaper ones in a number of decades.

Batteries: https://www.tesla.com/megapack/design Solar: just google 1gw solar cost

Figure out how much solar overcapacity and batteries you can get, within a year or two, for the price of a nuclear reactor deployable 10-20 years from now.

Also their LFP batteries are extremely simple and recyclable forever.

Lots of jank due to this custom terminfo.

    1. WindowServer sends the app a stream of remote-context notifications (CGSDatagramReadStream::dispatchMainQueueDatagrams -> remote_context_notify).
    2. AppKit responds by rebuilding the status-bar window's tracking areas and structural regions (_NSTrackingAreaAKManager _updateStructuralRegionCreateIfNeeded / displayCycleUpdateStructuralRegions, including NSButtonCell _hasRolloverAppearance for the menu bar rollover effect).
    3. That dirties the window, so UpdateCycle/stepTransactionFlush commits a CA::Transaction to the WindowServer.
    4. Another notification arrives and the loop repeats at display refresh rate.

they have about as many unsupervised robotaxis on the road as there are waymos in austin, as spotted by an AI watching public camera feeds

https://electrek.co/2023/11/27/ceo-of-mazda-which-makes-one-...

Its been a decade of sandbagging. Fuck them https://electrek.co/2016/11/17/madza-electric-cars/