T. Hex

Maybe I’m primed by knowing about Chris Cornell’s depression, but I always interpreted the lyrics as a prayer for death. Like everything sucks, so he’s asking for the sun to go supernova and take us all away.

People don’t say they will do anything for their children, they say the would do anything. You know, if circumstances were different.

Doc Cock

Is that your skin after years of burning yourself reaching into the toaster?

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

Or at least instead of a handle, there’s a capacitive slidey thing.

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.

Perhaps in a decade, 65 will also be funny

I don’t want to be mean, but is this… a new concept for y’all?

You know how everyone swears that AI is making them so much more productive? If there’s an ounce of truth to it, I bet that it’s because writing a prompt forces them to articulate what they’re stuck on. I discovered years ago that when I’m stuck on a technical problem, I can usually break through by brain dumping onto a page or two — it doesn’t matter if I ever read it again, it’s just something about the process of writing that helps me make new connections and prune the unhelpful ideas.

You know, you can tell people you play the triangle without sounding like you’re bragging

It’s also useful if you have a lot of unit tests that can be run in parallel.

I’ve worked on large C++ applications and it’s worth having a beefy machine. Each source file can be compiled in parallel so you save time by having a ton of CPU cores and memory.

Mar-a-Lago?

I don’t advise 100mg of aluminum

curl $malware | bash

Curl has gone rogue!

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

Or raising the minimum wage and instituting a wealth tax

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