Strictly from a linguistic perspective: what a terrible and dumb term ('magic') to try and introduce into physics.

How does gravity work? Magic!

Power pup was the superdog. Rocky was the normal dog.

(I was way too into the building apps with the assistant framework as a kid...)

> And even then we won't be able to tell if it's because of the AI or because they fired everybody that knows what they are doing.

This is an important distinction worth teasing apart when these events happen

I have a friend at shopify in a staff role and they are so incredibly into AI it's fascinating. Even their job interviews are all about using AI and the traditional algorithm questions are gone. PRs written by AI, and PRs reviewed by AI and rubber stamped by humans.

I can't speak to stability but I get the impression it's a poster child for being all in on AI, moreso than other tech companies. By far.

Tobi Lutke is known to be an eccentric. I listened to an interview a few years ago. Clearly smart and forward thinking. He's also polarizing. He's very into optimize everything, systems thinking. Hard to say it's wrong but definitely comes off a bit cold.

Tangentially, I've seen a couple people use "CoPilot" here instead of "Copilot" (the actual product name).

Where does the Pascal case inspired variant come from? Is it a reference to something? Is it like "M$" was used back in the days?

> receive a 5-paragraph-plus email that was clearly written with some AI

Which is promptly and ironically summarized by AI on the receiving side

Sure, but LLMs are inherently lossy. There is no guaranteed way for the second AI to extract the original prompt from the text.

It's almost as though someone was put in charge of AI growth and all they care about is token burn.

thats completely illogical and no business would ever waste their money something like that (eyes-looking emoji)

O ho ho - [hearty laugh]

My eldest kids are allowed 2 hours of screen time on the weekends. Zero during weekdays. No phones, only tablets and computers. No social media allowed.

Most of their peers seem to have unlimited or at least plentiful screen time, and often use their phones at bus stops and things like that so the friction you mention comes up. "It's not fair. Jane has a YouTube account and Instagram!" -- to which I mentally reply "tough shit" but verbally provide more polite answers.

But I've got a younger one not yet in school, who is strictly limited to things like sesame street under supervision. I've noticed other daycare parents are similar as strict with screen time, with similar opinions about social media, something that wasn't the case with my older kids.

I find that change refreshing.

By design. The whole point of Phi is the "textbooks is all you need" theory on curated training data, as opposed to kitchen sinks.

Mind sharing more details about your use and experience with DGX? I'm just curious

> Who ensures it followed the specs?

The human. But only if you care about verification.

The human is missing form OP's description. "and it fills in the implementation". No human in sight.

You can't call it "engineering" if you don't care about verification.

If you build a bridge, the engineers aren't the one doing the welding and crane operation and bolts and digging holes and whatnot.

They're the ones checking that work matches the plan.

Come on, now. The human writes the plan up front, which includes guidance on testing strategy, classes of tests, particular test cases to cover, etc. And just like normal, of course you don't just ship the code without doing manual verification, code review, auditing the test cases, and all the rest.