Hacker Newsnew | past | comments | ask | show | jobs | submit | zeroonetwothree's commentslogin

If I said “I ate 7 cookies, all chocolate chip” surely it wouldn’t be ambiguous? :)

Limits can be defined within finitism as long as the end result is finite. Essentially it’s just a process which lets us get as close to 2 as we want.

A better example would be a limit that equals sqrt(2) which finitists would probably say cannot represent a real object because it is only defined as the end of an infinite process.


Streaming is basically a sounding error in my budget. Now if we’re talking about food or health care…

300 songs is not many at all. I have purchased around 20,000 songs in my life. Would it have been cheaper to use Spotify? I suppose so but (a) they don’t have all the music I want and (b) I prefer having the independence to control my media. Also Spotify didn’t exist when I started :)

300 songs might not sound like many, yet that is how many items have been added to my library or to a playlist in 12 years.

So I can't really speak to anything else than that. That's my usage pattern, yours may be different.

I keep yearly playlists (starting 2023) where I add songs I like and each one is only about 30 songs on average, so that somewhat matches the aggregate number over a decade..

I guess I stick to the things I like and find things I like in DJ sets or on the Gym radio- I'm not investigating new music through subscription services.


LLMs seem to be much better at finding counterexamples than other types of proof. It’s unlikely the other millennium problems will be solved with counter examples

I haven't been keeping up with all the math proofs. Does anyone know if there have been any LLM proofs that are NOT counterexamples?

likely there are some, the question if its "millennial" type problems.

Also, lots of hype around "millennial" grading, it is kinda funny if we solve all "millennial" problems in first 30 yeas of millenia.


Finding counter examples might be easier, but AI's also useful for assisting in creating proofs. For example, Anthropic just published a formalization of Fermat's last theorem a few days ago, something that human researchers have been working on for decades.

Isn’t that how research works? You build on what others have done. I don’t understand the big deal. I’d rather have the result available sooner than later just to assuage some egos

I’m not a math researcher, so I can’t say. But in bird culture we’d call this a dick move.

And yet it happens constantly in the history of science

The Blind Assassin is possibly one of the best novels of all time.

DCC is, well, not that.


I don’t think this should be a criminal charge but 5 seems a bit young to walk that far while crossing streets. At 7 I would be more comfortable

Here's the thing: It doesn't matter how comfortable you are, you're not the child's parent.

Yeah, and? Being a parent doesn't entitle someone to do anything they want

I walked to school alone when I was 4, crossing several streets. I bicycled when I was 5. This was typical of the time.

Really depends on the kind of upbringing of the child. In Mongolia 5 year olds are teaching their younger siblings how to ride a reindeer.

it shows how far we've come wrt infantilization in the west, it's really sad to see imo.

I don't know how old you are, so maybe you've forgot how it's like to be that old, but by 7 you're way past that age... crossing streets is not like going to war..

I think this is probably the reason why these cases come up

people age and then they think that a 10 year old is a toddler, and then they enforce that belief upon them


Not at all. We all did it when I was child that age in the 80s.

From 1965 issue of Time:

> Union-shop steward, emerging from a meeting with management to face a group of workers: “Brothers, we’ve got it made. From now on, we will work only on Wednesdays.”

> Irritated voice from the crowd: “You mean EVERY Wednesday?”

I suspect it’s significantly older than that though.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: