andai

32 ms·

961.
by andai 4mo ago
Re: obvious intuitive explanations are ignored. I remember squinting at the definitions in my calculus textbook for a full 10 minutes before realizing... oh my God, if this had been a 5 second animation, I would have understood it instantly
962.
by andai 4mo ago
Well, in at least some cases, they do understand what they're doing, on a deep intuitive level! Using spaced repetition to see through a piece of mathematics https://news.ycombinator.com/item?id=18895613 The title is
963.
by andai 4mo ago
Yeah this was my position. I don't mean "Sally has six apples" necessarily, but my brain needs some concrete handles to grab onto so it can actually manipulate this stuff intuitively. See also: Using spaced repetition to see
964.
by andai 4mo ago
> The ultimate goal of university education is to raise researchers The head of my CS department was quoted as saying, "our job is to produce researchers!" This was in the context of a conversation about why the program wasn&#x
965.
by andai 4mo ago
Of course the issue with blocking residential IPs is that then they would be prevented from doing normal things on the internet. At which point, millions of people will be forced to complain to their local representatives and... hey presto?
966.
by andai 4mo ago
Well the argument appears to be, people put them in their apps instead of ads. (Or more likely on top of ads.) The argument is money. The users presumably don't know about this, or you know, they clicked, "I agree." Nearly H
967.
by andai 4mo ago
Yes that was my point. We should just block all of them.
968.
by andai 4mo ago
So who would benefit from the entire web going offline? Which powerful entities have historically hated a free and open internet? ...all of them??
969.
by andai 4mo ago
Yeah we can just rewrite the web servers in Rust ;) That'll be great until.. they rewrite the scrapers in Rust! Then we're really hosed!
970.
by andai 4mo ago
Yeah. It was always like that. It's like that comic Know The Work Rules ;)
971.
by andai 4mo ago
Yeah. A fun thing to do is to try and actually read common crawl! Really makes you think, what we're feeding them...
972.
by andai 4mo ago
What really confuses me is ... people always say, it's because companies are gathering data for AI training. Then why would they need to scrape the same page thousands of times per day? Edit: the article says millions of times per hou
973.
by andai 4mo ago
>There are ways to tell the difference — the bots usually do not fetch images or CSS, for example — but, by the time that determination is made, the address in question will not be used again. Blocking the address at that point is just a
974.
by andai 4mo ago
>mathematics is basically the only scientific discipline that rejected any notion of utility I think this might depend on the department, but I was at a pure math department last year, and struggling with my Linear Algebra textbook (writ
975.
by andai 4mo ago
This links to this, which says https://docs.github.com/en/code-security/concepts/about-code... > GitHub Code Quality is currently in public preview and will become generally available on July 20, 2026. Dur
976.
by andai 4mo ago
Hey Claude, Check if Claude 2, Claude 3 and Claude 4 are done yet, then merge their changes. Hey cron, keep reminding Claude to do that while I drink.
977.
by andai 4mo ago
I've been finding that they can write surprisingly elegant code, you just have to ask them to. It seems to be kind of like the old generative AI art days where you still had to add "+quality -bad" to the prompt. Failing that
978.
by andai 4mo ago
It might just be me, but AI has made my code more human-maintainable. They've been complaining about obsolete comments, separation of concerns, testability, global mutable state... (Also performance and security issues, addressing whic
979.
by andai 4mo ago
This is an article about bloat, in the broadest possible sense. Psychological bloat. Attention is the scarcest resource, and complexity eats away at attention. There's lot of other threats to attention, the relevant one here is cogni
980.
by andai 4mo ago
Oh, I just posted a similar comment elsewhere in the thread. https://news.ycombinator.com/item?id=48856535 Though beyond testing, I think there will be increasing focus on proofs of correctness. (Testing can only show the p
981.
by andai 4mo ago
I think we're a year or two away from the same argument being used by languages which enforce proof of correctness. The economics seem to be shifting in that direction. Finding exploits is getting exponentially cheaper, and the cost of
982.
by andai 4mo ago
>typically they are achieved in a very short amount of time, so the author hasn’t acquired any discipline in creating the project. That means it’s unlikely the author is going to stick to the project in the mid and long term Lindy effect
983.
by andai 4mo ago
Is that a serious issue? Wouldn't it just restart the split second later? Or does it take a long time to start? (Or I guess it would get stuck in a doom loop or something?)
984.
by andai 4mo ago
I forget the terminology but I read something recently about how people are paying too much attention to their kids and it's making their kids neurotic. Like when kids were growing up a couple decades ago they could just do whatever th
985.
by andai 4mo ago
My mom was always distracted so that's mostly how I remember her. We have all kinds of wonderful memories together but, what I think of her, the first thing that comes her mind is, her being in the same room as me but ignoring me.
986.
by andai 4mo ago
I don't have kids but I've been thinking about how, I would probably need some kind of office separate from the house. In fact that's probably a big part of why offices exist in the first place. If I had kids here then for mu
987.
by andai 4mo ago
So basically they're well suited for like, an octopus or a crow? I was thinking about those species earlier in the context of, what does intelligence mean outside of language. The benchmark appears to be testing the same thing. Althoug
988.
by andai 4mo ago
I think I have this problem but with my human brain.
989.
by andai 4mo ago
They just need more contact with reality. That's what RL is right? Contact with narrow subsets of reality.
990.
by andai 4mo ago
I said a few months ago, "man, Opus is great, but sometimes when talking with it I have the feeling like, this thing should be about 10 times bigger." When Mythos was announced after that, I was pleasantly surprised to hear about

More ›