Wow, we really do live in the worst timeline. At least a lot of gamers are rallying against generative “AI” slop assets, and indie devs are largely against generative “AI” in general. But yikes, this is just…
At best that seems like a nitpick based on a specific notion of “all of mathematics”. Care to explain what you mean?
Did you read TFA? They never claimed they’ve formalized all of mathematics. For a couple decades now, mathematicians have been discussing formalizing all of mathematics. Some are now proposing AI can be used for this.…
Do yourself a favor and search “Agent Orange” on your preferred search engine (Sidenote: I’m trying to avoid using “Google” as a verb). Most people associate that term with the very harmful Vietnam-era herbicide, not…
Did we read the same article? You’re quoting from the end, so it seems like you did at least skim the article. But this article has nothing to do with child porn? Where did you even get that idea? It’s talking about a…
Who’s “we” here? Formal verification isn’t common, sure. But you don’t speak for all programmers. You might work on “plain enterprise and web software”. But there’s still plenty of other software out there that many of…
Interesting. I feel the same way about Medium - it’s mostly a bunch of undergrads and tech bootcamp students regurgitating basic tutorials. But in my experience, Substack is much higher quality. I actually read several…
You don’t “need” any LLMs to do software development. Plenty of us were productively writing code for years before these models were released, and many of us continue to do so. The “AI” companies want to sell you hype.…
Funny enough, I see it the exact opposite. LLM slop code degrades software quality. While one person may appear to move quickly, the software quality suffers dramatically. It takes them (or other team members) more time…
Not the person you were responding to, but genuine question: How are you interacting with computers without practically ever using a mouse? And how do you expect to use CAD software without a mouse?
That’s a pretty naive model of how laws get passed in the US. A lot of laws would be different if your model held true.
Regardless of American vs. British spellings, those are not the same sound. Some British people may pronounce them the same. Americans definitely pronounce them differently, though. For instance, the word “water” has a…
I’m all for hardware hackathons. But I think there’s still a place for software hackathons: Just don’t use LLMs. Generating an entire application with LLMs kinda defeats the point of a hackathon to begin with. It’s…
Did you read TFA? It explicitly mentions Bloom’s 2 sigma problem. The best quality education, based on the data, is private tutoring with mastery learning. That is unaffordable for most. Nothing about the data indicates…
MGTOW nonsense most certainly is not the common mode of operation for young men. Where are you getting this idea?
It’s a sad state of affairs when so many think math is about “rote memorizing formulas and rules like a robot”. That’s how math is taught through freshman or sophomore material for a somewhat ‘general’ audience. But…
You say that like environmentalists support those things. We don’t. We regularly criticize golf courses as a waste of water and land. We regularly call out the water waste and ecosystem impact of manicured, uniform…
I promise most people don’t care enough about you to spread rumors that paint you in a nasty light. If someone is doing that, you need to hang out with a new crowd and make some new friends. But most people have too…
Nothing about this screamed AI slop to me. What makes you think it’s AI slop?
The problem, I’m a picky eater. I never order something that simple. I always need it with “No X” or “Only Y”. Cashiers often struggle with that, even if they understand me well (which they don’t always). It’s easier…
Hmm. I’ve never really had those issues. It’s also much faster and easier than ordering with a human. I guess it does try to upsell you, but humans often do, too. And to me, it’s worth it to just click “No” in exchange…
Out of curiosity, what issue did you have with the McDonald’s self-order kiosk? I actually think McDonald’s has the best kiosk I’ve ever encountered. The little animation that plays when you add an item to your cart is…
This is exactly it. A human capable of reasoning might not know how to write code. But they can learn and be taught. Eventually, you can give them a vague problem, and they’ll know what clarifying questions to ask and…
If that’s really the case, then I’d say 2015 you needed to do more reading and thinking about AGI and the nature of intelligence and consciousness. The Chinese Room thought experiment is a good starting point for…
Huh? You got any sources on that? I’ve never heard anyone say a non-Delaware LLC is a bad idea. And most sources seem to say incorporating in your home state is usually the right call.
Wow, we really do live in the worst timeline. At least a lot of gamers are rallying against generative “AI” slop assets, and indie devs are largely against generative “AI” in general. But yikes, this is just…
At best that seems like a nitpick based on a specific notion of “all of mathematics”. Care to explain what you mean?
Did you read TFA? They never claimed they’ve formalized all of mathematics. For a couple decades now, mathematicians have been discussing formalizing all of mathematics. Some are now proposing AI can be used for this.…
Do yourself a favor and search “Agent Orange” on your preferred search engine (Sidenote: I’m trying to avoid using “Google” as a verb). Most people associate that term with the very harmful Vietnam-era herbicide, not…
Did we read the same article? You’re quoting from the end, so it seems like you did at least skim the article. But this article has nothing to do with child porn? Where did you even get that idea? It’s talking about a…
Who’s “we” here? Formal verification isn’t common, sure. But you don’t speak for all programmers. You might work on “plain enterprise and web software”. But there’s still plenty of other software out there that many of…
Interesting. I feel the same way about Medium - it’s mostly a bunch of undergrads and tech bootcamp students regurgitating basic tutorials. But in my experience, Substack is much higher quality. I actually read several…
You don’t “need” any LLMs to do software development. Plenty of us were productively writing code for years before these models were released, and many of us continue to do so. The “AI” companies want to sell you hype.…
Funny enough, I see it the exact opposite. LLM slop code degrades software quality. While one person may appear to move quickly, the software quality suffers dramatically. It takes them (or other team members) more time…
Not the person you were responding to, but genuine question: How are you interacting with computers without practically ever using a mouse? And how do you expect to use CAD software without a mouse?
That’s a pretty naive model of how laws get passed in the US. A lot of laws would be different if your model held true.
Regardless of American vs. British spellings, those are not the same sound. Some British people may pronounce them the same. Americans definitely pronounce them differently, though. For instance, the word “water” has a…
I’m all for hardware hackathons. But I think there’s still a place for software hackathons: Just don’t use LLMs. Generating an entire application with LLMs kinda defeats the point of a hackathon to begin with. It’s…
Did you read TFA? It explicitly mentions Bloom’s 2 sigma problem. The best quality education, based on the data, is private tutoring with mastery learning. That is unaffordable for most. Nothing about the data indicates…
MGTOW nonsense most certainly is not the common mode of operation for young men. Where are you getting this idea?
It’s a sad state of affairs when so many think math is about “rote memorizing formulas and rules like a robot”. That’s how math is taught through freshman or sophomore material for a somewhat ‘general’ audience. But…
You say that like environmentalists support those things. We don’t. We regularly criticize golf courses as a waste of water and land. We regularly call out the water waste and ecosystem impact of manicured, uniform…
I promise most people don’t care enough about you to spread rumors that paint you in a nasty light. If someone is doing that, you need to hang out with a new crowd and make some new friends. But most people have too…
Nothing about this screamed AI slop to me. What makes you think it’s AI slop?
The problem, I’m a picky eater. I never order something that simple. I always need it with “No X” or “Only Y”. Cashiers often struggle with that, even if they understand me well (which they don’t always). It’s easier…
Hmm. I’ve never really had those issues. It’s also much faster and easier than ordering with a human. I guess it does try to upsell you, but humans often do, too. And to me, it’s worth it to just click “No” in exchange…
Out of curiosity, what issue did you have with the McDonald’s self-order kiosk? I actually think McDonald’s has the best kiosk I’ve ever encountered. The little animation that plays when you add an item to your cart is…
This is exactly it. A human capable of reasoning might not know how to write code. But they can learn and be taught. Eventually, you can give them a vague problem, and they’ll know what clarifying questions to ask and…
If that’s really the case, then I’d say 2015 you needed to do more reading and thinking about AGI and the nature of intelligence and consciousness. The Chinese Room thought experiment is a good starting point for…
Huh? You got any sources on that? I’ve never heard anyone say a non-Delaware LLC is a bad idea. And most sources seem to say incorporating in your home state is usually the right call.