threethirtytwo

Stuff like this should not be legal?

Isn’t it illegal? It’s actual false advertising. You can sue them, it’s just no one has.

In the game it seems like everything is concurrent but all of that was built without using concurrency primitives.

Same thing with the OS. You can build in concurrency without using concurrency primitives because it’s not needed. Right? Let’s say when building an os I had access to spawn go routines in a single threaded context and I used that to build the os. It would be pretty pointless right? You would use a loop here and iterate over the tasks to build the concept of “threading” you wouldn’t need go routines.

It’s strange to talk about it at this level because what’s going on is your implementing “concurrency” from no concurrency. Is having a loop iterate over tasks really concurrency? I would say no, because people think of concurrency like using a threading primitive. If you didn’t fork or activate a call back or await something you didn’t activate “concurrency”.

Concurrency is a higher level concept that only exists where primitives for using concurrency exist.

Thus It makes More sense to frame my argument from the application layer. Without parallelism, concurrency is pointless in the sense that the usage of concurrency primitives given to you by the framework or the OS is pointless.

I did. You’re just blind. For example: nobody programs by hand anymore.

Or navier stokes solved by AI.

You’d prefer to blind yourself with excuses on how neither of the two events were life changing. But it’s obvious r at some level you know your performing elaborate self deception.

See. I'm right. It changed the world. Yet you think it sucks. The contradiction is obvious. Either it didn't change the world, or you're blind.

Stay tuned for a future HN article:

"Humanity still doesn't seem to have a handle on all of its rogue AI activity."

If I gave you the link, if I put it, in front of your eyes you still wouldn’t see it.

Watch me be right: chatgpt.com

> But under the covers, all formal verification schemes are (imho) best viewed as "very fancy testing".

This is misleading. Testing and formal verification are vastly different.

> Proving programs correct end-to-end (i.e. code to high-level properties) - as this company and others purport to do - is so difficult that humans have only been able to do it for very small programs (~10KLOC) and even then, in very specialised cases, where the programs have been written in an extra-simple way (often at the cost of performance, because performance often requires more complicated algorithms).

This is not true. It has been done. I’ve seen it done for an entire OS too. Humans are very capable of doing this. The issue is this is seldom done practically speaking because the effort is not worth the benefit when the program becomes too complex.

For simple programs and small domains it’s worth it. For example type checking. Type checking proves one aspect of your program (the types) is fully correct.

Is the sky blue?

Well with AI, programming among humans will become like math. A hobby.

It's AGI. It's just stupid sometimes and genius sometimes as well.

We like to emphasize the stupid part and use that as proof agi hasn't arrived because it's comforting. Don't want to look at it while it eats us alive.

I don't know how something that everyone can use and see with their own eyes can still cause people to be so delusional.

Like the very programmers who code with AI and no longer type code are saying AGI hasn't arrived.

It arrived years ago. And people are still in denial because it's on track to eat our identities as programmers.

I disagree. You don't need concurrency. Say for a video game with many things happening all at once. You think you need concurrency... but you don't.

Imagine for the simplest example of a CPU only based game. If I want to render the positions of thousands of soldiers, just do it in a loop. Why would I spawn thousands of coroutines ONLY for the coroutines to do it all in order anyway? Makes no sense.

Yeah although they say something like nodejs is not parallel but concurrent it’s not technically true from a systems standpoint. There are actually tons of operations happening at the same time. It’s just all delegated to IO.

True concurrency that is absolutely absent of parallelism is a bit pointless, that’s why although node is concurrent, it is explicitly designed such that it migrates parallelism to IO.

Natural selection is designed into our genes.

Those of us with who get injuries that are life threatening, our genetics have engineered us to be culled from the gene pool. It's to protect the gene pool from other genes.

It's like if car makers made a car with square wheels but every time the car got into an accident it would repair itself so we would keep driving it. Evolution instead blows up the car as soon as it gets into a accident, so then only round wheeled cars remain.

Like replacing hand coding and solving navier stokes? Agreed. You could do that with your eyes closed. Total "straw-goal".

What is the agent using to make those videos?

So at the moment it’s not really recyclable.

They were here. They just all changed their position. You probably did too.

He's not saying what you think he's saying.

His post is implying that you are in denial. AI is becoming smarter then you and you can't admit this to yourself.

^^ that is what he is saying. I'm not saying this, he's saying this. And you should probably think about whether what he said is true or false.

Could everyone who seriously thought AI was a stochastic parrot and said AI would go nowhere and talked as if you knew everything... could you admit your just wrong, and apologize for acting like you were an expert in something you never understood. This is likely about 50% of HN. I forgive you all, it's ok.

This is still just stochastic parroting. I'm still in denial.

The material itself is not the problem I’m concerned about. The metal gets doped and transformed into configurations that could be hard to be unmade.

Nobody can pace the frontier it’s suicide as a business. Why would I use Claude if codex has a clearly superior model? As long as one company doesn’t pace… no one can pace. Thats capitalism for you.

Ironically either communism or an oligopoly are the only viable ways to pace the frontier.

All right won’t post but this is awesome

Can photovoltaics be recycled? I know they degrade over time.

The irony is that the less appealing posters would take a human artist much more skill and time to create.

Humans actually prefer minimalist designs with basic flat shapes with flat colors which ironically is trivial to create and can be done without AI or talent. Most people can’t even create anything remotely close to the less appealing posters by hand.

No the deaths were buried deep in the statistical data. It’s not apparent and we did not know either way.

Yes there were people who said it’s bad but their word was as good as bullshit because until we had the statistics there is literally no way to truly know.

Easy communication correlates highly with good communication. It is easier to do good communication on easier topics.

Ah you told a lie. Demonstrating how easy it is to make it look true.