I think most people see the issue there with the "well audited" part. You didn't know which developers just copy pasted stack overflow code together before either, but the rate at which that code came in was manageable…
can't wait for the ad-fueled cheap tiers right when some games publish as streaming only
that's a fair point and that part is indeed interesting to a degree, and I would fully agree if it wouldn't be stated multiple times that the author did not actually read, i.e., properly engage with, any of the involved…
> I have not checked most of the details, but I think that the claimed o(n log n) bound is plausible. Stopped reading right after that. Why is this so high up on HN? It's literally nothing.
I'm not an expert, but in my mind if you actually want to make the human species interplanetary, flying small groups of people to the planet won't do anything for it. Send robots to build a base first, and yes that will…
I'm quite excited by planetary defense missions. While I don't think that anyone has any reason to be fearful of the constant danger of being wiped out by an asteroid, in my mind it marks a big milestone for us as a…
Forecasting is just trying to identify recurring and long-time trends in data, and you're absolutely right that with a narrow observation window it is more difficult to do so, however if you have enough historical data…
I don't think you realize how little tax some of the richest individuals actually pay. They can dodge taxes and exploit loopholes in ways that aren't available to the "average" person. Of course the average person…
I agree this is more of a "jumping car" than anywhere near an actual "flying car". My main issue with both is that if ground based cars have an issue, for example an engine failure, in most cases you can still get the…
idk about the safety of involving jumping cars into car crashes, I'd still prefer the brakes (obviously not always enough time). The one useful situation I could see is if you're driving (accidentally I hope) off a…
It's a tech demo marketing presentation with a jumping car in it, not a flying one. It does look pretty cool though. Let's first wait and see if/when this will even be available and not just a marketing stunt.
It's a cool demonstration, I'll give them that. From what I've seen online, people don't even seem to consider whether or not they would actually want this, just because the novelty of it. I'd even ignore that and call…
To a degree I think it comes with the rational approach. If you want to be a rationalist, you need to consider many perspectives, and somehow bring in the nuance of as many of them as possible instead of ignoring the…
if you're thinking purely about game loops and game mechanics, yes a lot has been done before and used over and over again. but that's by no means all the programming going on. just look at how much people complained…
I don't think the rationale makes sense. If you want to provide a free resource why not just provide it for free for everyone, considering it doesn't even cost anything because downloads/online lookups are not a limited…
What stopped you from getting into the industry? Was it just the lack of opportunity? Unless I'm living under a rock I don't think there's too many companies in the industry in the first place.
They should have posted the ones they actually confirmed. They don't have any time pressure to release hundreds of new proofs, they could do 10 a week for all I care, as long as they make sure everything is actually…
You may want to read beyond the first part of a sentence. Yes, preprints have always been a thing. The claims and publicity around the potential findings are handled differently here. That's where the issue is.
this is not entirely related to the tweet but to the topic in general, this prompted me to check their repo again and saw this: > The vast majority of results were obtained with the same procedure using an unreleased…
The difference is that human mathematicians wouldn't post it online, claim they have achieved some proof, and then check after publication and announcing the results to the world. You would always check your work first,…
No, in their original blog they wrote: > As part of our GitHub repository, we are sharing formalizations of many of the proofs in Lean, a programming language that allows mathematical proofs to be checked by a computer.…
I think your second bucket would need to be changed, as it's not really undecided for some and Tao in fact argues (in a way) that there is no need for the field to decide. There is a need for results, but there is also…
Neither the US nor Europe has such a unified housing market that this could be a reliable statement. In Europe it differs greatly within countries, and there are many countries. In the US it also varies greatly within…
It feels odd to me that they wouldn't prefer applied problems. Seems like an easy way to profitability. Probably based on what attributes they're looking for in a problem when picking them.
I think right now it should definitely be a race to profitability, because revenue will not save you from unsustainable finances, no matter how large the values are. I think OpenAI is currently far enough ahead that…
I think most people see the issue there with the "well audited" part. You didn't know which developers just copy pasted stack overflow code together before either, but the rate at which that code came in was manageable…
can't wait for the ad-fueled cheap tiers right when some games publish as streaming only
that's a fair point and that part is indeed interesting to a degree, and I would fully agree if it wouldn't be stated multiple times that the author did not actually read, i.e., properly engage with, any of the involved…
> I have not checked most of the details, but I think that the claimed o(n log n) bound is plausible. Stopped reading right after that. Why is this so high up on HN? It's literally nothing.
I'm not an expert, but in my mind if you actually want to make the human species interplanetary, flying small groups of people to the planet won't do anything for it. Send robots to build a base first, and yes that will…
I'm quite excited by planetary defense missions. While I don't think that anyone has any reason to be fearful of the constant danger of being wiped out by an asteroid, in my mind it marks a big milestone for us as a…
Forecasting is just trying to identify recurring and long-time trends in data, and you're absolutely right that with a narrow observation window it is more difficult to do so, however if you have enough historical data…
I don't think you realize how little tax some of the richest individuals actually pay. They can dodge taxes and exploit loopholes in ways that aren't available to the "average" person. Of course the average person…
I agree this is more of a "jumping car" than anywhere near an actual "flying car". My main issue with both is that if ground based cars have an issue, for example an engine failure, in most cases you can still get the…
idk about the safety of involving jumping cars into car crashes, I'd still prefer the brakes (obviously not always enough time). The one useful situation I could see is if you're driving (accidentally I hope) off a…
It's a tech demo marketing presentation with a jumping car in it, not a flying one. It does look pretty cool though. Let's first wait and see if/when this will even be available and not just a marketing stunt.
It's a cool demonstration, I'll give them that. From what I've seen online, people don't even seem to consider whether or not they would actually want this, just because the novelty of it. I'd even ignore that and call…
To a degree I think it comes with the rational approach. If you want to be a rationalist, you need to consider many perspectives, and somehow bring in the nuance of as many of them as possible instead of ignoring the…
if you're thinking purely about game loops and game mechanics, yes a lot has been done before and used over and over again. but that's by no means all the programming going on. just look at how much people complained…
I don't think the rationale makes sense. If you want to provide a free resource why not just provide it for free for everyone, considering it doesn't even cost anything because downloads/online lookups are not a limited…
What stopped you from getting into the industry? Was it just the lack of opportunity? Unless I'm living under a rock I don't think there's too many companies in the industry in the first place.
They should have posted the ones they actually confirmed. They don't have any time pressure to release hundreds of new proofs, they could do 10 a week for all I care, as long as they make sure everything is actually…
You may want to read beyond the first part of a sentence. Yes, preprints have always been a thing. The claims and publicity around the potential findings are handled differently here. That's where the issue is.
this is not entirely related to the tweet but to the topic in general, this prompted me to check their repo again and saw this: > The vast majority of results were obtained with the same procedure using an unreleased…
The difference is that human mathematicians wouldn't post it online, claim they have achieved some proof, and then check after publication and announcing the results to the world. You would always check your work first,…
No, in their original blog they wrote: > As part of our GitHub repository, we are sharing formalizations of many of the proofs in Lean, a programming language that allows mathematical proofs to be checked by a computer.…
I think your second bucket would need to be changed, as it's not really undecided for some and Tao in fact argues (in a way) that there is no need for the field to decide. There is a need for results, but there is also…
Neither the US nor Europe has such a unified housing market that this could be a reliable statement. In Europe it differs greatly within countries, and there are many countries. In the US it also varies greatly within…
It feels odd to me that they wouldn't prefer applied problems. Seems like an easy way to profitability. Probably based on what attributes they're looking for in a problem when picking them.
I think right now it should definitely be a race to profitability, because revenue will not save you from unsustainable finances, no matter how large the values are. I think OpenAI is currently far enough ahead that…