zahlman

18 ms·

451.
by zahlman 3mo ago
It is not "pride". It is a constant annoyance that web site authors feel entitled to run their code on my machine, for purposes where it's egregiously unnecessary.
452.
by zahlman 3mo ago
Given the most common comment-section responses to PG posts nowadays (this submission is not by any means an exception) it's probably for the better.
453.
by zahlman 3mo ago
I don't follow. The title says "why some people mow a lawn better than others". Presumably, through getting people to play some interactive demo, they got some insight into the answer to that. Why can't they just use tex
454.
by zahlman 3mo ago
Without JavaScript, there is literally no page text beyond that point until the footer. Thee is no indication that there would be any interactive content. There is also no discussion of what the interactive content demonstrates after
455.
by zahlman 3mo ago
> You’ve probably done something like mow a lawn or vacuum a rug hundreds of times without thinking much about it. Some part of your brain works out a route that’s usually good enough to get the job done. People are actually pretty good
456.
by zahlman 3mo ago
> when they point out that [some ideological outgroup] is morally bankrupt... The phrasing already belies the problem. I would naturally and automatically brush off as a "hater" someone who said things like this about me, bec
457.
by zahlman 3mo ago
> hallmark lack of empathy and self-awareness You'd have to spell out for me how this is exhibited, but I'm also not clear on how it's supposed to be relevant in the first place. > Sure, there are "haters", bu
458.
by zahlman 3mo ago
Yes, exactly what I meant. (FWIW, the original context was J2ME mobile games. It was important to use as few classes as possible to keep JAR size down; but in my testing, everything put into the entry-point class had to be loaded before the
459.
by zahlman 3mo ago
Indeed. It seems to me much more likely that the AI was directed to look for bugs in Lean, found one, and then it was directed to write a proof specifically targeting the bug.
460.
by zahlman 3mo ago
I actually have seen comparisons of using AI to a gacha game (quotas per time block, elements of chance, sycophancy in the output leading towards addiction or even psychosis in rare cases). But I don't think the argument needs to be &q
461.
by zahlman 3mo ago
For example, pi can be computed to arbitrarily many digits, but could only even in principle be accurately represented with physical objects to a precision that many humans could memorize easily. This is thanks to physical constraints such
462.
by zahlman 3mo ago
> but it seems less likely to me than before that the types of math/science discoveries will explicitly unlock better software performance. You seem to overlook a simpler barrier. To make these advances, they have to be possible. A
463.
by zahlman 3mo ago
Making insulting assumptions about the hidden motivations of others is not the level of discourse I come to HN for.
464.
by zahlman 3mo ago
Not only that, but we do it with a processor that is basically required to operate in a narrow temperature band below 40C, using a mere 86 billion neurons (although the equivalence with either machine-learning "neurons" or LLM par
465.
by zahlman 3mo ago
> People piled into the front of one when it was full. When people got out they never moved back. As the driver struggled to close the door and people struggled to get in the wad of people never moved back to fill the ample space. This d
466.
by zahlman 3mo ago
> they can certainly disprove some of them very quickly through the kind of grind that humans can't do Of course computers can grind in a way that humans can't. But now we have systems that convert the human-comprehensible idea
467.
by zahlman 3mo ago
I learned three thresholds over the years. Well, one of them decades ago and the others recently. Basically: At 50ms, you notice. At 400ms, you care. At 2000ms, without output, you wonder if it crashed. (That was the old one.)
468.
by zahlman 3mo ago
This is not an appropriate venue for the question. If you're ranting, that's not what HN is for. If you're sincere, better ask a lawyer, or at least a law forum.
469.
by zahlman 3mo ago
> “AI-driven development” (or AIDD). AI-driven software [engineering] (or AIDS). A[I]-developed human designs (or ADHD).
470.
by zahlman 3mo ago
Well, no, I think you create a pretty clear false dichotomy there. Certainly a person with Lou Gehrig's disease could look like Lou Gehrig; and especially in a cartoon illustration, where it's difficult to convey the point, this
471.
by zahlman 3mo ago
> Two of them knew they were extrapolating ("because Habsburg") and did it anyway. You seem to imply that they ought not to. I disagree. I wasn't familiar with the term before this post. Having learned it, were I given the
472.
by zahlman 3mo ago
> That doesn’t mean there are no ways to use them productively but rather that you should keep in mind that the same model will happily give you code or a decision with the same level of error unless you have carefully setup a QA regimen
473.
by zahlman 3mo ago
> I'll get the equivalent 40 hours of work done in 8 hours.... Then I'll start using the application... and I'll start to see that it's broken all over the place in very surprising ways I would say that this means th
474.
by zahlman 3mo ago
> typing this in GVim thanks to Tridactyl Thanks for the heads-up that such a thing is possible. I will definitely be investigating it.
475.
by zahlman 3mo ago
Trying to force myself to find ways to extract full value out of such a subscription sounds very unpleasant.
476.
by zahlman 3mo ago
This is, I think, a big part of why I wouldn't want to remove myself from the loop.
477.
by zahlman 3mo ago
Stack Overflow was such a tool, prior to being bought by Prosus and dealing with Monica so absurdly. Trust lost is rarely ever regained. That they publish a piece like this on the Stack Overflow blog is insult to injury.
478.
by zahlman 3mo ago
ChatGPT is still plenty verbose by default IMX.
479.
by zahlman 3mo ago
"The Minnesota Democrats" != "liberals".
480.
by zahlman 3mo ago
Thanks for the old.reddit link. Thank goodness they still work, too. It comes across to me like he hasn't done anything wrong and is needlessly conciliatory. That said, the psychological effects he describes are things I've seen m

More ›