debo_

Veg-AI-tarian?

> “The raw output of ChatGPT’s proof was actually quite poor. So it required an expert to kind of sift through and actually understand what it was trying to say,” Lichtman says.

This is how I feel when I read any mathematics paper.

He had ad-Vance notice.

Not pedanticism. Pedantry.

/joke

Are you sure they're not just being German and you are misinterpreting what they are saying?

I queried "your mom" and it created a historical social timeline of motherhood superimposed with a placenta. I approve

Mom: We have RAM at home!

RAM at home:

Don't worry, blogpost author. We think you're a Queue<T> and that's all that matters.

It has been a long time, but I think we were reading out of various editions of the Red Book

http://www.redbook.io/

Michael Stonebraker used to write long, scathing critiques of modern data storage/retrieval fads, and how they were forgetting important historical lessons.

They were terrific reads; his writing on object-oriented databases was the most fun technical reading I did in grad school. And I even learned a lot!

Remember the "degauss" button? I had no idea what it did, but the sound it made sure was satisfying.

https://youtube.com/shorts/R0OhD2Bc6FY

The first question a robotics investor will ask themselves is "will people want to have sex with it?"

Because they are doing it for fun?

Me too, but I'd be curious to see what it does with an entire library, as the website suggests. I found the demonstration of the intent to be interesting, regardless.

Ice cream tends not to sell well in winter.

~tuturuu~

I'm not even Finnish and I came here to post this.

Nim looks a lot like Python with a first-class type system and compiles to many different targets, including wasm and C.

I would not even have noticed it if not for visiting this website. It's possibly worse on iOS than on MacOS, but I don't have an iPhone.

Now, if I was developing software for MacOS and it broke all my UIs, I would be at least as irritated as the author.

You conveniently left this part out:

> First it attempted to check my Apple Wallet, it failed even though I have five cards in it and am able to use the App Store fine.

> Then it moved onto wanting me to manually add a card to verify myself. It failed with all my five cards. Four were debit cards, and one was a credit card from another country, cause you know I am an immigrant who has accounts still in my own original birth place.

The first time I saw the Big Lebowski, I was a very high teenager watching it through the glass of a smoking area. Notably, there was no sound. It was a heck of a way to see the movie for the first time.

We had a version of this called "carbon pricing" that didn't involve wanton murder.

I watched it all the time in Canada.

Is the NY Post some kind of National Enquirer analogue? This article reads like it was written by a grade school child trying to emulate the voice of an villainous news reporter.

This is literally how pretty much every conversation goes when you work with people close to the metal. It's a stylistic thing at this point.

For what it's worth, 20 years ago all programming newsgroups were like this. I grew my thick skin on alt.lang.perl lol

Can you just follow me around and do this to all my one-liner posts?

We should call the fake stick "NAM" for "no access memory." Then you can tell your kids that they couldn't possibly understand, man, because they weren't _there_.

Look man, people are going to talk they way they talk. Just let them do it and deal with it for God's sake.

This reminds me of a front-page post a little while ago where someone wrote how much it stressed them out when people routinely apologized for delayed responses. Get over it.

I also sometimes wonder if folks writing these articles have had to work closely with people from culturally different places. I've had coworkers that literally could not be direct if their life depended on it for that reason, and I learned to deal with it.

I personally think people who jog with anything more intrusive than earbuds are bonkers.

Same, but I made the switch to usb-c headphones as needed for my phone without complaining about it. I still use 3.5mm headphones on desktop.