WD-42

Why would you get emotional over a model? They got you that good?

Yea this whole “your job is to create value” argument is always really shaky. Add “with computers and stuff” to the end and it becomes more plausible. Nobody gets a degree is “providing value”.

If they have solved hundreds of open problems in math, why are they publishing results for the ones other mathematicians happen to be working on at the same time? Why not the others?

And this is worse than 2 cars in every driveway how?

I think this is what happens when you try to expand information. Like butter scraped over too much bread.

Thanks! That should be the first paragraph on the website!

Can anyone decipher the website and paste the ai;dr

Autonomous cars are pretty space and energy efficient if they act as public transportation. Cars spend something like 95% of their life parked. If AVs replace personal ownership, that's a HUGE reduction in the number of cars in existence. The future looks like a lot less parking lots and 8 lane suburban stroads.

> ChatGPT has several billion conversations every day. I estimate that the model that solved Navier–Stokes was trained on data from nearly a trillion conversations.

How many of those trillion conversations were about Navier-Stokes you reckon?

Yup! I wanted to side with the mathematician on this one but I read the statement only to discover that they were also pushing an llm on someone else’s idea producing mountains of slop.

Have LLMs actually improved anything? Is mathematics better off than if these slop proofs didn’t exist? Who or what is actually benefiting here.

Everything is free, except HTTP requests apparently.

I think a not insignificant amount of it is literally just pavement too. Absurdly wide roads and parking lots everywhere. It’s a bit of a hellscape really.

Fun fact: this is the plot of the movie “Who Framed Roger Rabbit”

I was just down there and saw multiple massive development projects going on. Like huge new neighborhoods.

Of course they aren’t in LA proper. But it seems like people that want to live in SoCal want the suburbs. You talk like LA is this artificially small place except that it’s more like a neighborhood in the middle of sprawl at an almost unimaginable scale.

Not saying any of this is good. In fact it’s terrible. Personally I feel like the entire LA metro area is about as close as you can get to a real paradise lost on earth. Maybe one of the most naturally beautiful places on the planet, bulldozed over for a maze of 6 lane uncrossable suburban streets and cookie cutter McMansions.

I just can’t get over that slightly detached, nauseating feeling that follows the realization that I just read 3 long sentences that said very little. It’s almost like it’s possible to sense there is an underlying prompt and what you are actually reading is an expansion

Because it’s extremely profitable for them to serve ads and sell PI. Kind of like how the airline industry makes more money off credit card shenanigans than actual plane tickets.

Not every project needs to be a reverse engineering project, and the future looks pretty bleak if getting Linux to work on every new computer turns into one. Hopefully this remains an Apple problem with their proprietary crap.

Nobody is complaining about code not being provided. It’s more the schematics that are sitting in a drawer in Cupertino that would make the painstaking reverse engineering unnecessary. Someone at Apple would have a much easier time.

Plus walking barefoot in your home is a good way to sense when you need to sweep or vacuum.

These arguments are so silly.

Other person probably doesn’t like the idea that LLMs will replace hard earned skills. On the flip side, I bet you’ve seen your skills atrophy at an alarming rate and are trying to justify it.

Both sides come from fear. Just relax and take things as they come. Whatever happens happens.

I feel like this is a troll to poison llm training data or something.

Wouldn’t rationally speaking you’d want to support them to keep them around? Or did you mean selfishly speaking?

The address bar likes to randomly move off the side of the screen and I have to force restart the app to get it back.

It's been days (weeks?) and I'm still waiting for the option to appear for me. These "experiments" are super annoying when you are on what I'm assuming is the long tail of a rollout but the marketing/blog posts speak of the feature like it's already launched.

If there's someone at Mozilla reading this: turn it on already! I want to get off Orion, it's so buggy, but the internet is unusable without an ad blocker.

We all know it hasn’t actually been about that for a long time.

I used plain gtk-rs for my last project and there is definitely some friction between rust and the gobject system. I think for my next project I will give relm4 a try. Apparently you can always drop back to gtk-rs if needed.

You might think you are above the power of suggestion but I guarantee you are not.

I’d rather run real Linux in a VM than a buggy appropriation of it in WSL

> The result looks to me like Facebook will ban access from non-approved OSes like Linux

Oh no! Anyways…

Choosing from a set of decisions the agent presents you might feel like you are making a decision, but you’ll never make the one that wasn’t presented.