T. Hex

And yet The Thing is not food

No, the people who pay wait longer. It’s a punishment for thinking you’re better than everyone else. They keep the money, too.

I wonder if future kids will read about the AI panic of the '20s in their hyperbooks

My understanding is that they published a machine-checkable proof (Lean).

There’s already valid epistemological question about whether proofs that are only machine-checkable are the same quality of knowledge as traditional proofs. For instance, the 1976 proof of the four-color theorem was controversial in part because it was too long to be read by a human.

Another part of the argument is that the foundations are quicksand: proof checkers include unverified code (read: potentially buggy) and run atop unverified OS kernels on a likely proprietary CPU! (Personally, I think if you can understand the theorem statement, it’s safe to delegate the drudgery of the proof-checking to a computer. If two different systems agree, that’s good enough for me. But I’m neither a mathematician nor a philosopher.)

These AI generated proofs push the boundary further because humans participated even less in the formalization and proof development.

Never meet your heroes. Have you ever seen the way he rages at people on the mailing list? Don’t get me wrong, he’s made some incredible technical contributions that I’m thankful for, but I have to push back against claims that he is a well-adjusted dude.

I just read it with a southern twang

Nope, this launches all those commands in parallel. Logical and is &&.

At what point will these scientists upgrade El Niño to El Hombre?

Goddamn, that’s good

To become an KPOP daemon hunter, simply open Konsole on Pop!_OS and run pkill 'd$'.

If their claims are true, it’s more like a gun company boasting about their auto-targeting gunbot escaping containment and shooting civilians.

If they’re lying, it’s just idiotic. Are we supposed to be impressed that you made a dangerous machine and failed to keep the world safe from it?

Surely my phone bill will reflect the hours where I didn’t have service, right?

Unfortunately, yes. We are not the target audience.

You know nothing about their situation.

The Eternal Enemy: Complexity

apex predator of grug is complexity

complexity bad

say again:

complexity very bad

you say now:

complexity very, very bad

https://grugbrain.dev/

Some lawyers work on commission!

Oh you want air without ads?

It is difficult to get a man to understand something, when his salary depends on his not understanding it.

- Upton Sinclair

- Michael Scott

Almost willing to say hang out there for the guy to come replace it and beat him just shy of disablement.

That’s gross.

New Text
Document