Recent submissions

Comment · 8 days ago
They already did one better and upgraded the whole language in the form of Hack.
Comment · 1 month ago
What is wrong with this?
Comment · 1 month ago
What’s the actual lock-in, in practice? Seems like the switching cost is minimal, compared to the old days of Windows vs Mac where half your stuff wouldn’t run on the other.
Comment · 1 month ago
This news and thread is about 6.1 Sol, not 6 Sol. You haven’t even had time to do a fair comparison yet.
Comment · 1 month ago
They’re comparing against the previous model, not the newly released one (6.1). Why do that on a thread about the new model, I don’t know.
Comment · 1 month ago
Taking the original of a painting from your house is stealing. Copying is only potentially violating the government-granted limited-time exclusivity that allows you to decide who can copy your work.

BTW I hereby allow you or your browser to copy this comment into your computer’s RAM.

Comment · 1 month ago
You’re not rude for pointing out the obvious. The parent comment is complaining in bad faith because they want to have free service in perpetuity. Similar to the people complaining about YouTube ads but the options of either paying or not watching YouTube are unimaginable.
Comment · 1 month ago
Literally every famous open math problem has had >1 mathematicians ask ChatGPT to solve it. Probably greater than >1000 if you count randos. There is no math problem that OpenAI/Anthropic can solve that didn’t have users already try it in Chat/Claude.
Comment · 1 month ago
That is addressed in the article.
Comment · 1 month ago
Is it surprising that different groups are working on the same problems? With each new model generation, the LLMs get good enough to solve a new small fraction of open problems. Of course the problems that get solved are going to be the same subset.
Comment · 1 month ago
Depending on what you’re doing, there are circuit simulators that can verify your work. You can have the LLM drive the simulation but of course then you have to trust that it’s setting up and interpreting the simulation correctly.
Comment · 1 month ago
5.6 Sol can already do this with two caveats:

1. It’s too slow for real-time games. To play mario, you’d need to step frame by frame like a TAS. I don’t know if Gruntz has real-time elements or not.

2. It will be expensive. You won’t get very far with a Plus subscription.

The models likely already have some knowledge on game objectives unless the game is really obscure, so it should do a decent job. It can figure out details of the mechanics along the way.

Comment · 1 month ago
There is simply no level of announcement that won’t have people complaining. What is so important of having a livestream?
Comment · 2 months ago
+1 I’ve had this conversation with so many non-techies. They assume Codex can only do coding.
Comment · 2 months ago
It can debug, yes, but capability ranges from godlike for algorithmic issues to mediocre for subtle UI things. We are pretty close to your described app singularity if the app is within GPT’s wheelhouse.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton