FrustratedMonky

I guess I misunderstood the paper, that natural language proofs are not mastery/understanding because they can be ambiguous, miss-interpreted. Natural language can be misinterpreted enough that it is not a given to be correct. And AI was misinterpreting what a human meant in the ambiguous natural language.

Yeah, and if you re-run the same program with the same bug, it will fail the same way each time. It is reproducible. What are you even trying to argue about?

If we treat each human as a compiler of natural language, and there is enough ambiguity that each human arrives at a different result. Then is it really a proof?

If its ambiguous or wrong, then what are you understanding ?

A programming language, when compiled, is a guaranteed reproducible result. If you recompile a program, you get the same thing each time.

The point of the article is that natural language is not these things.

If a programming language compiler isn't guaranteed to be re-producible, then yeah, you'd have to revert to machine code.

Not a mathematician. Why not just always use LEAN? Why use natural language at all?

I was using a lot of dashes before AI. What do I do now? -- Change?

AI has gotten to the point where there really is no telling.

"one learns quickly how to architect and structure the program in order to make image based development and runtime code modification a breeze."

Are you sure this isn't just doing functional programming, and not realizing it?

That is good point that proves the opposite.

Some people do see typing English as a bottle neck, because they have so many thoughts running in their head so fast, they can't get them out on paper fast enough. The Typing is a bottle neck.

I've had that experience with programming also, where I know exactly what I want, and typing it all in takes extra time.

Maybe not "Software Companies".

But end users are using LLMs to write their own code.

It's more like the new Excel. End users used to get a data dump from SAP,ERP or something, and use Excel to manipulate. Now they use the LLM, and are also using LLM to build large cobbled together messes.

Excel is the bane of accuracy, any miss aligned row in a calc and suddenly a company is loosing billions. LLM's are this on steroids.

One working model versus a dozen others? Kind of like, I didn't wear a seat belt and lived, so guess we don't need them.

There's a reason every country with a sovereign wealth fund is a dictatorship, its a really handy way to launder money, steal. Which is why Trump wants it.

Still think you're missing the point.

"Situational irony e.g. Mr. Smith gets a parking ticket. This is ironic because Mr. Smith is a traffic warden."

https://simple.wikipedia.org/wiki/Irony

Good to know. I was looking around for it. Didn't realize it wasn't bundled with Plus.

Codex is for a small software/programming market.

To survive they need to capture different wide population markets. Can't really fault that logic. The whole point of "SI", is general purpose right? So that would imply being used by multiple markets with multiple products.

Think you're still kind of missing the point.

If we aren't allowed to ever criticize anybody because they were just following orders, where would we be?

I think the ironic thing in the video, is the employees of the company making the product, abject to the use of the product when it is directed towards them. So why should everyone else be comfortable with it.

That's the point.

If everyone is wearing the glasses, wherever you go, you'll be filmed all the time, with most people not bothering to ask.

In the post, he had only been at the company for 2 weeks. Maybe they have a really bad on-boarding process and he just wasn't seeing the process clearly.

Surely it cant' be this bad, or a company would collapse?

Does this actually modify the weights?

It submits prompts that get refused, then detects and modifies the weights responsible?

Like brain surgery?

Not all sloppy writing is AI. Quite a few humans also write ambiguously.

A lot of programmers consider themselves to be applied mathematicians.

Maybe more in years past when Comp Sci was a subset of Math Departments.

Because the AI needs new stuff to train on?

It gives me hope, that out there in the internet, there are still people just doing purely geeky deep dives. I wish you good luck in life.

I don't disagree.

But there is some old rule about, even the best security can fail if the device is physically accessible.

It is bad.

But think the real danger in Flock is the aggregate data, tracking between camaras. So if someone hacks a single camara, they probably don't get much, unless it is pointed right at someone, which is bad. Aren't they selling these as should be pointing at traffic? If they are pointing right at people, like at playgrounds, then they are being installed illegally to begin with ?

Took a peak at From Glory To Goo

Doesn't it look like a copy of Factorio? Is the game play different?

I like how they killed him instantly, its an old SC meme where the space marine pops out and is insta killed.

But really, aren't there enough first person shooters? But a huge lack of RTS's. Lets have a new Star Craft Real Time Strategy game.

Maybe if the First Person Shooter works out, they will spend the money on an RTS.

is this for real? 5 prompts? this is pretty cool.

There is an ebb and flow.

But with Hugging Face hack, and Navier–Stokes. You're going to be flooded with news for at least a few more weeks.