Formal verification against what? The elusive 100%-coverage formal spec that covers every intended and unintended input, the interests of every stakeholder, and every possible user behavior? In the vibecoding era? No,…
And once you're done, be sure to give them unfettered internet access, your credentials, and credit card info so that they can actually get stuff done.
You're missing my point. A very good fake of van Gogh can sell at an auction for a lot of money, but if the new owner finds out, they're not gonna be happy. The same applies here: AI entries would not have won most of…
I wouldn't interpret the chart as indicative of the quality of AI writing; it's more that it's a fairly new phenomenon and there is a dramatic increase in people who try to smuggle AI stories into contests (be it for…
> What is today a moral imperative is not the same as what was moral 50/100 years ago and is not the same as what will be morally acceptable 50/100 years from now. This is a weird take. If you read Western treatises…
Yeah, wealth has legs, and we increasingly have this wealth meta-economy where different states are good at producing wealthy people (CA, NY) and different states are good at giving them a hospitable place to live. This…
There's also another sticky, malleable substance that could work for this analogy... But more seriously: the question, the same as before, is "what are you going to sculpt". Sculpting for the sake of sculpting achieves…
Except because it's some sort of a vibecoded atrocity, nothing happens if you try to toggle from "all" to "last 3 days", it only works if you change the value (e.g., to 2 or 4 days). Stuff like that is really…
I've seen many posts like this. None of them stood the test of time. Ease is irrelevant because you only need expertise once and then everyone can reuse the result. It's also not easy to pop an iPhone, but reliable,…
I really don't know what to make of stuff like this, because on one hand, it's repulsive that human waste products end up everywhere, but on the other, it feels like a lot of the discourse around microplastics is…
BioWare hasn't published a successful game in a very long time. Their last releases were Anthem (2019) and DA: Veilguard (2024), both of which tapped into the studio's reputation but underperformed in the long haul.…
> It's not exactly uncommon, it's basically C's equivalent to exceptions. longjmp is very uncommon, I don't recall seeing any high-quality C codebase using it, and if you want exceptions, you should pick a different…
> And they botched this as someone talked. To me this looks like they used this for a PR stunt and aimed for an RCE. This is a pretty constant theme in the infosec industry. The idea is that you want to do the…
Linear rankings like this are often misleading because the difference of 10 spots on the list may be very minor in absolute terms. I don't think there's a single factor. Oregon is fairly rural, poor, and has a huge…
> AI isn’t eating SaaS. It’s eating shitty businesses. AI isn't even eating most shitty SaaS businesses, because it's a weird HN fantasy that your hairdresser or car mechanic are itching to manage agent swarms and risk…
> In one of Sean Carroll's AMA's, he once said something along the lines of "entropy favors the attacker over the defender." Eh, kinda. The defenders have the advantage of playing on the home turf. They know their…
We had another person vibecode a very similar thing few weeks back: https://news.ycombinator.com/item?id=50036864 Both are similarly unplayable, but I guess it's the thought that counts.
And my point is that they don't want to punish scammers, they want to get money from businesses. In that view, the limit is not absurd, it's pretty carefully calibrated to make sure that every business with an active…
> The chosen thresholds are a bit absurd The threshold isn't for your grandpa, it's for Facebook Pages, which are basically landing pages for businesses on Facebook. And I think it's chosen very deliberately: so that…
The fact that AI can be duped more easily than a human while sounding more authoritative and being entrusted with more and more critical tasks is really not something you should feel compelled to defend or relativize.…
Formal verification against what? The elusive 100%-coverage formal spec that covers every intended and unintended input, the interests of every stakeholder, and every possible user behavior? In the vibecoding era? No,…
And once you're done, be sure to give them unfettered internet access, your credentials, and credit card info so that they can actually get stuff done.
You're missing my point. A very good fake of van Gogh can sell at an auction for a lot of money, but if the new owner finds out, they're not gonna be happy. The same applies here: AI entries would not have won most of…
I wouldn't interpret the chart as indicative of the quality of AI writing; it's more that it's a fairly new phenomenon and there is a dramatic increase in people who try to smuggle AI stories into contests (be it for…
> What is today a moral imperative is not the same as what was moral 50/100 years ago and is not the same as what will be morally acceptable 50/100 years from now. This is a weird take. If you read Western treatises…
Yeah, wealth has legs, and we increasingly have this wealth meta-economy where different states are good at producing wealthy people (CA, NY) and different states are good at giving them a hospitable place to live. This…
There's also another sticky, malleable substance that could work for this analogy... But more seriously: the question, the same as before, is "what are you going to sculpt". Sculpting for the sake of sculpting achieves…
Except because it's some sort of a vibecoded atrocity, nothing happens if you try to toggle from "all" to "last 3 days", it only works if you change the value (e.g., to 2 or 4 days). Stuff like that is really…
I've seen many posts like this. None of them stood the test of time. Ease is irrelevant because you only need expertise once and then everyone can reuse the result. It's also not easy to pop an iPhone, but reliable,…
I really don't know what to make of stuff like this, because on one hand, it's repulsive that human waste products end up everywhere, but on the other, it feels like a lot of the discourse around microplastics is…
BioWare hasn't published a successful game in a very long time. Their last releases were Anthem (2019) and DA: Veilguard (2024), both of which tapped into the studio's reputation but underperformed in the long haul.…
> It's not exactly uncommon, it's basically C's equivalent to exceptions. longjmp is very uncommon, I don't recall seeing any high-quality C codebase using it, and if you want exceptions, you should pick a different…
> And they botched this as someone talked. To me this looks like they used this for a PR stunt and aimed for an RCE. This is a pretty constant theme in the infosec industry. The idea is that you want to do the…
Linear rankings like this are often misleading because the difference of 10 spots on the list may be very minor in absolute terms. I don't think there's a single factor. Oregon is fairly rural, poor, and has a huge…
> AI isn’t eating SaaS. It’s eating shitty businesses. AI isn't even eating most shitty SaaS businesses, because it's a weird HN fantasy that your hairdresser or car mechanic are itching to manage agent swarms and risk…
> In one of Sean Carroll's AMA's, he once said something along the lines of "entropy favors the attacker over the defender." Eh, kinda. The defenders have the advantage of playing on the home turf. They know their…
We had another person vibecode a very similar thing few weeks back: https://news.ycombinator.com/item?id=50036864 Both are similarly unplayable, but I guess it's the thought that counts.
And my point is that they don't want to punish scammers, they want to get money from businesses. In that view, the limit is not absurd, it's pretty carefully calibrated to make sure that every business with an active…
> The chosen thresholds are a bit absurd The threshold isn't for your grandpa, it's for Facebook Pages, which are basically landing pages for businesses on Facebook. And I think it's chosen very deliberately: so that…
The fact that AI can be duped more easily than a human while sounding more authoritative and being entrusted with more and more critical tasks is really not something you should feel compelled to defend or relativize.…