It's interesting that confronting antisemitism gets me misgendered.
4,218 karma · joined June 2, 2009
This isn't necessarily some weird corrupt conspiracy.
If you think it clearly means anything you are just assuming because it can't "clearly" mean something specific when they go out of their way to use non idiomatic language and they don't give very clear guidance using idiomatic language.
Evidence that vendors are being misleading in what they are delivering is important to share, whether or not you personally approve of that product.
It was bought out by employees in 2017 and it seems like they weren't able to manage it successfully. The two that acquired it were well over 70 when they did so, so I guess this isn't very surprising. From the article it sounds like they spent a lot of money trying to 'modernize' the business, which sounds a lot like they brought in management that was more interested in 'doing management. than making money.
It's very often (always?) the case that something general also solves particular problems.
A sorting algorithm is an implementation of min()
A parser also is a syntax checker.
A route planner is a reachability checker.
A computer algebra system is a basic arithmetic calculator.
A general constraint solver is a Soduku hint maker.
Fundamentally I read this article as: We want to build a simpler, dumbed down clone of Mathematica, so we cobbled together the following pieces... We also needed a way to do arithmetic, so we also include a copy of Mathematica to do basic arithmetic.
Is someone who owns a PS5 but can't put together $100 a failure? Assuming they are older than 16, unqualified yes. They are a failure and also a loser by any colloquial definition. TLC refers to them as a scrub. Their romantic partners' parents are gently encouraging them to end the relationship. There are almost certainly more than 7 empty cans within easy reach of wherever they are sitting right now.
I might be showing a lot of unc energy here, but if you can't afford a raspberry pi or something to play with linux, or a used pc, gaming and having a playstation 5 should be de prioritized for a bit while you get your life together.
However, Luna missed 23 bugs that Astra found, and identified 24 bugs that weren't really bugs. That's horrible. Astra had 96% precision.
The cost to care about here isn't just how much it costs to run the code review, or the cost per true-positive. It's the cost of dealing with this system. A code review system that is right about 2/3 sucks, and one that misses another 1/3 of the bugs is also a lot worse. The Astra code review quoted here would become the foundation of how the team works, the Luna version is at best helpful to find some stuff but does not dramatically increase your confidence. It also will force humans or better AI's to have to run down a lot of false positives, and that is treated as free here.
Actual conclusion: The cost for Astra is low in absolute terms compared to the cost of bugs and human attention, and the added value is far far more than the added cost.
Water is a renewable resource. I know you folks in California can't comprehend this, but in the parts of the country where it actually makes sense for humans to live water just falls from the sky multiple times per week. We get so much water the problem is making sure we get rid of it safely, we don't have to fight over who has the most senior claim to it or decide whether we want to have endangered species or almonds more. Our streams don't run dry 4/5 of the year. We don't have to check about water restrictions when we water our lawns because there are never water restrictions and we never have to water our lawns.
There are entire areas miles across in this country where if you drive through it you might throw up from the smell. The ponds full of animal feces make the air un-breathable. Where is the protest over that? You realize that this literally does ruin ground water and poisons surface water? Where are the people coming out to say they have to live 4 miles from oceans of pig feces and when the wind blows their way they can't go outside? Yet the media is able to find the 4 people on earth that want to say a building full of computers is 'loud' and that computers use lots of water? When was the last time you filled the water tank on your computer? Yet people are very quick to believe that somehow a warehouse with a bunch of computers in it somehow destroys water?
When did datacenters start using up all the water? Nobody seemed to worry about this until the US and China were fighting for AI dominance, then suddenly datacenters use water and are so loud people go insane from them. What is the first time someone mentioned datacenters using water and causing pollution?
It's absolute group psychosis. Are you actually so dumb that you don't notice that a thing that has been around for 50 years suddenly is a threat to our survival? Were you born yesterday so you don't remember 2 years ago when nobody had ever realized the existential threat of building datacenters in America? Why didn't anyone notice that datacenters were pumping the wells dry in 2021? Maybe they weren't and still arent...
What is going to happen is a complete revaluation of things like "finding a counter example to a famous problem". Even if someone finds a solution to a problem like this with pencil and paper, nobody will believe it, and they will assume that there was an AI involved.
Further, sitting and doing math with a pencil and paper will no longer be a reasonable strategy to build a reputation or career, beyond the benefit a mathematician gains to their own intuition and skill. People who work hard to build intuition and also use AI effectively will dominate the field.
In a world where everyone is using AI, the open problems that remain will be the ones that are AI resistant. This is no different that how things work now, mathematicians wait until they are fairly confident someone won't rapidly solve their problem before they start talking about it. They will do the same thing in the future, except in the future AI will be part of the toolset they use decide if they are ready to share yet or not.
Edit: Ok I believe I was generally right here, but I just read the details of what OpenAI did. They didn't solve a longstanding problem, they got tipped off to an approach a mathematician was using and would likely result in the solution very soon and they finished it first. If this turns out to be true I think my take above is not correct, in the short term people will have to stop sharing updates because otherwise openai will dishonestly race to finish their work.
Also, I don't think a PHD of Industrial Sociology is really a job anyone needs to have done, so it's unlikely anyone will bother training an AI to do it. That doesn't mean I think studying Industrial Sociology is worthless, I just think it's unlikely anyone will fund training an AI to do it. Besides, is that even how AI's are trained? By some professor somewhere teaching them how to do his/her job before being replaced? That's like how it worked in Player Piano by Vonnegut, but it's not how they actually work.
For example, when you paste the first 30 lines of a famous speech, you don't want it to finish the speech, you want it to give you the identity and some analysis of what you just pasted. From what I understand, that is the reinforcement part.
Now that large AI vendors have a massive corpus of user interactions however, the lines have likely become more blurred.
Just look at git status before you commit :eyeroll:.
The deep realization is that if you can predict the next token well enough, you can do things like this:
<paste the first 10 chapters of a mystery novel>. And it turned out the killer was
And if it's really good at predicting the next token, it has to understand the novel and the clues, which means understanding the context and the language and human norms and innuendo and story telling, and tropes, and red herrings, and predict who the killer was.
I think you want it to be something more complicated. It's literally not. It just turns out predicting the next token is equivalent to a universal compression algorithm, which is a form of general intelligence. And we have almost unlimited 'labeled' data to train autocomplete.
The fact that this made it to the main page is either some kind of coordinated effort or bots.