I agree that for average web dev tasks the open models are already good enough. I've had good experiences with both DeepSeek and GLM. And these models are just better for anything security related since they don't throw…
You seem like a bit of an asshole so I'm not really interested in continuing further, but I will say that a large amount of that activity is financed by demand from students in one shape or another.
I don't really see much "reasoning" that they are presenting. Their contributions to this thread have been closer to sealioning than any kind of positive argument or thesis. What do you see in their comments that the…
I have no idea what you're trying to say. Once again, if you see value in it then feel free to explain why. The only reason most pure mathematics research exists right now is because it is interesting to the…
There's a weird thing going on at 22nd and San Jose in the Mission, where it doesn't seem to understand that you can simply continue down 22nd, but instead takes a hook down San Jose before backtracking. I see some…
I think I already answered this in my comment. I claimed that I don't see much value in a magical black box theorem-proving oracle whose proofs could not, and would not, be understood by humans. If you disagree (as the…
>AI understanding of math is millions times more important than human's. This is a persistent misconception that I see on HN (although not usually framed as abrasively as you have chosen to frame it). Math is not an…
I see, it sounds like you might be referring to this project from 2018: https://github.com/lorserker/bridgent with a talk at https://www.youtube.com/watch?v=CRBNI8UdHhE I wasn't aware of this although this project had a…
>LLMs have allowed double-dummy solvers to move from ~0.1sec to microseconds (if you allow 99.9% accuracy) I don't know what this is referring to. The ubiquitous dds library, which is AFAIK basically the only double…
>There is nothing that, in principle, makes MTG different from poker or bridge, and we have superhuman engines for both. We don't have superhuman play for bridge. Poker and bridge are quite different from each other in…
>So well written I would have clocked it as AI Still a few humans writing on the internet... at least for now ;) I'm sure the green username doesn't help either, I just switched to a new account a few days ago. >This is…
I would really love to see a serious research effort take a crack at contract bridge. Bridge, like Stratego, is an imperfect information game with a big hidden information space. Bridge also adds another wrinkle of…
Yes, you're right, although there was a lot of churn in SvelteKit when it was in beta--maybe they had that in mind. Of course, it was marked as a beta, so it's hard to blame them too much. But I was using Kit heavily…
>Ok, so does this mean prices in the US will go down? I keep seeing stuff about countries shifting away from US goods but prices seem to continue to rise. The actual answer is yes, at least when it comes to wine…
>Wine is also sweet and sweetness is unhealthy. Scrunching up my face trying to figure out how to respond to this... I think you are right that a lot of the wine which people consume, the mega industrial mass volume…
>Since this submission has been on the front page of HN for hours now, clearly people like it as it is. I don't think I need to change anything about it. That's not really how it works. People like it in spite of the…
Right. There is some degree of transformation which is normal or necessary. For example, if one of {video, audio} is 24fps and the other is 23.976fps, the video will have its frame rate adjusted to match the audio. For…
>This explicitly breaks the rules of multiple communities I participate in. Probably. Not all places allow hybrid remuxes. I promise you that I have these definitions correct as they are most commonly used, since I am…
There's nothing wrong with the definition you quoted. I would say it's entirely accurate (except perhaps that it neglects subtitles, which can end up being a substantial amount of work if you choose to put the effort…
Sure, but it seems like people are struggling to follow the basic facts: 1) The author received communication 30 years ago that he had 15,625 stock options available to exercise; 2) However, according to some paperwork…
Yes, I have to say, I'm a bit surprised (and disappointed) by how many people in this thread are struggling with their reading comprehension of the story. It's a fun story, but that's all.
>Terence Tao is arguing that the human involvement in research is crucial, but doesn't convincingly justify why, in my opinion. He says that "human agency is a value of fundamental importance" and that we will need to…
I agree that for average web dev tasks the open models are already good enough. I've had good experiences with both DeepSeek and GLM. And these models are just better for anything security related since they don't throw…
You seem like a bit of an asshole so I'm not really interested in continuing further, but I will say that a large amount of that activity is financed by demand from students in one shape or another.
I don't really see much "reasoning" that they are presenting. Their contributions to this thread have been closer to sealioning than any kind of positive argument or thesis. What do you see in their comments that the…
I have no idea what you're trying to say. Once again, if you see value in it then feel free to explain why. The only reason most pure mathematics research exists right now is because it is interesting to the…
There's a weird thing going on at 22nd and San Jose in the Mission, where it doesn't seem to understand that you can simply continue down 22nd, but instead takes a hook down San Jose before backtracking. I see some…
I think I already answered this in my comment. I claimed that I don't see much value in a magical black box theorem-proving oracle whose proofs could not, and would not, be understood by humans. If you disagree (as the…
>AI understanding of math is millions times more important than human's. This is a persistent misconception that I see on HN (although not usually framed as abrasively as you have chosen to frame it). Math is not an…
I see, it sounds like you might be referring to this project from 2018: https://github.com/lorserker/bridgent with a talk at https://www.youtube.com/watch?v=CRBNI8UdHhE I wasn't aware of this although this project had a…
>LLMs have allowed double-dummy solvers to move from ~0.1sec to microseconds (if you allow 99.9% accuracy) I don't know what this is referring to. The ubiquitous dds library, which is AFAIK basically the only double…
>There is nothing that, in principle, makes MTG different from poker or bridge, and we have superhuman engines for both. We don't have superhuman play for bridge. Poker and bridge are quite different from each other in…
>So well written I would have clocked it as AI Still a few humans writing on the internet... at least for now ;) I'm sure the green username doesn't help either, I just switched to a new account a few days ago. >This is…
I would really love to see a serious research effort take a crack at contract bridge. Bridge, like Stratego, is an imperfect information game with a big hidden information space. Bridge also adds another wrinkle of…
Yes, you're right, although there was a lot of churn in SvelteKit when it was in beta--maybe they had that in mind. Of course, it was marked as a beta, so it's hard to blame them too much. But I was using Kit heavily…
>Ok, so does this mean prices in the US will go down? I keep seeing stuff about countries shifting away from US goods but prices seem to continue to rise. The actual answer is yes, at least when it comes to wine…
>Wine is also sweet and sweetness is unhealthy. Scrunching up my face trying to figure out how to respond to this... I think you are right that a lot of the wine which people consume, the mega industrial mass volume…
>Since this submission has been on the front page of HN for hours now, clearly people like it as it is. I don't think I need to change anything about it. That's not really how it works. People like it in spite of the…
Right. There is some degree of transformation which is normal or necessary. For example, if one of {video, audio} is 24fps and the other is 23.976fps, the video will have its frame rate adjusted to match the audio. For…
>This explicitly breaks the rules of multiple communities I participate in. Probably. Not all places allow hybrid remuxes. I promise you that I have these definitions correct as they are most commonly used, since I am…
There's nothing wrong with the definition you quoted. I would say it's entirely accurate (except perhaps that it neglects subtitles, which can end up being a substantial amount of work if you choose to put the effort…
Sure, but it seems like people are struggling to follow the basic facts: 1) The author received communication 30 years ago that he had 15,625 stock options available to exercise; 2) However, according to some paperwork…
Yes, I have to say, I'm a bit surprised (and disappointed) by how many people in this thread are struggling with their reading comprehension of the story. It's a fun story, but that's all.
>Terence Tao is arguing that the human involvement in research is crucial, but doesn't convincingly justify why, in my opinion. He says that "human agency is a value of fundamental importance" and that we will need to…