VS Code doesn't allow forks to use their marketplace, I think. At least with VSCodium, they don't. I think they even patch a workaround where you could download almost all extensions' .vsix files.
Yea, also it may be just his own personality, but it seems like he is really passive when it comes to human interactions. It’s like he doesn’t consider that there are people who are extroverted and want to talk to others. I remember in college people who would actually knock on random people’s doors to introduce themselves to them. I know he will say that it’s because it’s school, but they struck be as the type that would do that sort of thing anywhere, even if it was an apartment building instead of a dorm.
> Apple is extremely good at calculating how much inventory they should produce.
That doesn't really matter though for a physical product, unless you are implying they are 1) selling it at a loss or 2) not attempting to maximize profits from the product. If they sell out, it means they hit the target profit from the sale of the product.
Slightly off topic it is just so bizarre how often Claude uses this turn of phase. It’s almost seems forced here. Anthropic has to be hard coding it to do this.
Barbiturate withdrawal can absolutely kill you, as it is the same process of benzodiazepines and alcohol withdrawals. The other issue is that barbiturates themselves can easily kill you due their MOA, and low therapeutic index
Yea the m is quite off, I know nothing about fonts but the middle tinge is too long, or it’s too symmetric, the right corner is too sharp or something. And it is repeated so much in the example text that works against it.
I think you are misssing the economics of the situation, which the GP is implicitly referring to. You have 24 hours in a day. A person that is making a web game that he wants to release cannot spend all of his effort chasing one in a million bugs, as that would eat into the time he has to actually make a great and engaging game. He can’t worry about how the game renders on Internet Explorers running in PowerPC. If you are making a kernel, a single RCE in an edge case (worse, even in a adversarially induced edge case) can equate to an emergency patch and general loss of trust in your system. The kernel programmer is even incentivized to do the opposite of the web game guy, which is remove functionality that they do not think they can reasonably completely test. So yes, edge case importance matters differently in different applications.
AI is very good at writing, in a vacuum. The issue with AI writing isn’t quality, it’s 1) shows the prompter may not have but as much effort as one would expect from a polished writing and make amateur mistakes 2) uses cliches that are grating due to being very easy to recognized at this point. If you submit a LLM written article to a website/paper in 1990, no one would say that it is a technically poor piece of writing.
Do you work for OpenCode? How do you know this? Every similarly sized start up would have added the statement “OpenCode Desktop users are not affected.” The fact they didn’t means they can not definitively rule that case out. It would be prudent to rotate out your third party keys in this situation, especially if it is a API key with a high drain limit.
If OpenCode is not releasing all of the details about the exposure at the moment, it likely would be a good idea to rotation keys for the connected services at this point
Probably another tool help steal more tokens. Or to probe more controversial topics without fear of getting banned. Would you be able to check in the history of what they made?
Weird, I didn’t feel as though it attempted to hide that it was AI written at all. In fact, it is so cliche-ly Claude written it comes off as a parody.
I agree with you, but it is so funny that three years ago, a website that look like this would probably make the front page for its excellent design alone. Now, it gives off similar energy to a wix website.
I have not made a comment about him being a bad mathematician or academic, nor about what he contributed to mathematics. He is a tenured professor at UCLA, and won a Fields Medal. I am sure that in academic venues he is very well known, and I am not going to refute your story that math students are asking for his autograph after giving a lecture. The thing is, the level of public attention he is getting now isn't at the same level as for being a great mathematician. The only other event in his life when he got this level of non-academic coverage was when he was a child prodigy, which is my point.
I am confused, none of my claims have been shown to be wrong. Since you didn't even put the claim that was shown wrong in your reply and resorted to vague handwaving, I do not think you would be able to actually point out the wrong claim I have made. I do agree that entering a conversation without actually reading the thread isn't the best strategy, however.
What I would expect of someone who goes to an lecture of a professor. I never said he was completely unknown; just that he didn't have widespread recognition outside of academia. Getting autographs after an academic lecture doesn't dispute this.
>He's just gaining popularity in your bubble, which is probably not much larger than the audience he previously had.
The reason why he is gaining this popularity isn't anything to do with his academic achievements though. It's because of him being a child prodigy that is commenting on AI in math. So yes, he is reaching much further than his base, especially because of OpenAI's advancements in math and what it means about AI capability going forward. He has essentially positioned himself as the voice of mathematicians' position on AI and math.
Was he? He was a child prodigy, which got him a lot of coverage in wider media, but then grew up and really became known in math circles. I'm sure he made lots of contributions to pure math and all and has won multiple academia-focused awards, but he didn't really make news outside of the math/academic area. Suddenly, with this AI math thing in the past year or two, he is starting to get more non-academic focused attention.
>One weekend in late August 1996, I wrote a 2D physics simulation which later became the basis of the vehicle system in the eventually popular game "Grand Theft Auto" aka "GTA".
I don't mean to be... judgemental, but if you had the talent to go something like this, why devolve on the remake? One could think that a person with your level of skill would be one of the main vanguard for hand coding. Again, I don't want to be too judgemental, as I am not a great programmer and use assisted tools when planning and designing personal apps, but I am just curious.
From the first example, it seems like this paper is so contrived. They pose a statement (y = x^3 - x^2 - 1 + 1 when x > -1) which is true, then provide incorrect reasoning but swapping the multiplicity of -1 and 1, then ask it to provide a proof. Essentially, they are running an injection attack; they give it 90% correct information, then it expects in good faith that -1 and 1 are not swapped, so it takes it verbatim. I don't see how the fact that ChatGPT can sometimes get this wrong, especially when the user is the bad actor trying to trick the computer and isn't actually trying to find a proof, is at all relevant to the Navier-Stokes solution.
I wonder, with how aggressive most copyright holding companies are, if there is going to be a push to hold AI companies liable for reverse engineering like this. It possible AI companies designate it as forbidden knowledge, and “realign” models to not allow it
Actually, cybersecurity seems to be the area that LLMs shine the most at; though it needs directing to actually look for the problem, LLMs have been able to find security faults in code that is well-vetted and written by experts.