In the linked thread that John Carmack is responding to, Sandy Petersen agrees: > So if my theorem is correct, and Quake gutted id Software, was it worth it? Well I'd say yes absolutely.…
See https://xenaproject.wordpress.com/2025/12/05/formalization-o... for a blog post about that.
How long until an AI can do the formalization for a proof like this one fully automatically? For example, the "direct proof" in this paper is six paragraphs long.
I was looking at the submitter's past comments, and the most recent one is interesting: https://news.ycombinator.com/item?id=45092516 > Wow, I was already impressed with the new comment feature on erdosproblems.com and…
> you're assuming a lot. Including a notion of mathematical existence which bears little relation to any concept that most lay people have of what mathematical existence might mean. John Horton Conway: > It's a funny…
According to this graphic https://www.hunterurban.org/wp-content/uploads/2024/06/Car-L... 57.3% of children (0--18yo) are in a household with a car. There's a weighting issue here, but I'd still bet that most families…
Here's a reference, as well as other options: https://worldgo.ca/understanding-your-airlines-meal-options/
Here's the abstract of this earlier paper: > Given the recent explosion of interest in streaming data and online algorithms, clustering of time series subsequences, extracted via a sliding window, has received much…
My understanding is that people would mostly try this approach when the samples are periodic/regular.
Of further potential interest: This paper cites an earlier paper by Keogh and Lin with the provocative title "Clustering of time-series subsequences is meaningless", available online at…
In case anyone was curious, the Internet archive on my parent commenter's link shows large dozen egg prices of: $7.90 March 2024, $7.50 November 2023, $6.50 February 2023.
> totalling almost $2 billion. The LAPD's budget for one fiscal year is larger than most country's GDPs In case anyone was curious, https://en.wikipedia.org/wiki/List_of_countries_by_GDP_(nomi... suggests that ~17…
I don't think "policy discretion to deny" is what the word "welfare" means. But in any case, Medicare is literally denied to prisoners, which is an example of ... denying welfare benefits for antisocial behavior?
> Moreover, there's no good-faith way to call [Medicare] "welfare". For some context, Wikipedia says: > In the United States, depending on the context, the term "welfare" ... can also include social insurance programs…
In case anyone is curious, the $1 is the increase in the maximum SNAP benefit per month for an individual, from $291/month to $292/month. (The increases for larger households are similarly small.) This is not the actual…
In case anyone was curious, the following text is from the section of the article discussing "violent crime": > Burglary is generally considered a property crime, but an array of state and federal laws classify burglary…
> There were millions of years without ice caps even In case anyone was curious, this is a significant understatement. It is currently believed that the Earth had no ice caps for its first 2 billion years, before the…
During the 111th Congress, from the appointment of Al Franken until the death of Ted Kennedy, as well as during the term of his appointed successor Paul G. Kirk, the Democratic party held 58 seats in the Senate and…
Please do not consider this comment to be commentary on the ongoing coronavirus outbreak, especially considering the situation at the nursing home in Washington state. Out of curiosity, I tried to find examples where…
> one mass shooting (~13 dead) ... in Binghamton, NY In case anyone is curious, this appears to refer to the following event: https://en.wikipedia.org/wiki/Binghamton_shootings
For some context in case anyone was curious, it seems that approximately 1 in 30 of people worldwide live outside the country of their birth. (Of these, approximately 1 in 10 are forcibly displaced.) Also, "the largest…
> There was a NASCAR driver a couple of years ago who lost his sponsorship because of something his father said before the driver was even born. In case anyone was curious, this appears to be referring to Conor Daly, as…
> deporting millions of Hispanic people (citizens included) in the 30s In case anyone is curious, this appears to be referring to the following: https://en.wikipedia.org/wiki/Mexican_Repatriation
It appears you are correct in this regard and the websites I used are not. Are there any such planes used for regular scheduled (passenger) airline services? It appears to me that Buffalo Airways is charter and cargo…
For some context in case anyone is curious: putting together information from various websites suggests that the following is the oldest plane in commercial service today.…
In the linked thread that John Carmack is responding to, Sandy Petersen agrees: > So if my theorem is correct, and Quake gutted id Software, was it worth it? Well I'd say yes absolutely.…
See https://xenaproject.wordpress.com/2025/12/05/formalization-o... for a blog post about that.
How long until an AI can do the formalization for a proof like this one fully automatically? For example, the "direct proof" in this paper is six paragraphs long.
I was looking at the submitter's past comments, and the most recent one is interesting: https://news.ycombinator.com/item?id=45092516 > Wow, I was already impressed with the new comment feature on erdosproblems.com and…
> you're assuming a lot. Including a notion of mathematical existence which bears little relation to any concept that most lay people have of what mathematical existence might mean. John Horton Conway: > It's a funny…
According to this graphic https://www.hunterurban.org/wp-content/uploads/2024/06/Car-L... 57.3% of children (0--18yo) are in a household with a car. There's a weighting issue here, but I'd still bet that most families…
Here's a reference, as well as other options: https://worldgo.ca/understanding-your-airlines-meal-options/
Here's the abstract of this earlier paper: > Given the recent explosion of interest in streaming data and online algorithms, clustering of time series subsequences, extracted via a sliding window, has received much…
My understanding is that people would mostly try this approach when the samples are periodic/regular.
Of further potential interest: This paper cites an earlier paper by Keogh and Lin with the provocative title "Clustering of time-series subsequences is meaningless", available online at…
In case anyone was curious, the Internet archive on my parent commenter's link shows large dozen egg prices of: $7.90 March 2024, $7.50 November 2023, $6.50 February 2023.
> totalling almost $2 billion. The LAPD's budget for one fiscal year is larger than most country's GDPs In case anyone was curious, https://en.wikipedia.org/wiki/List_of_countries_by_GDP_(nomi... suggests that ~17…
I don't think "policy discretion to deny" is what the word "welfare" means. But in any case, Medicare is literally denied to prisoners, which is an example of ... denying welfare benefits for antisocial behavior?
> Moreover, there's no good-faith way to call [Medicare] "welfare". For some context, Wikipedia says: > In the United States, depending on the context, the term "welfare" ... can also include social insurance programs…
In case anyone is curious, the $1 is the increase in the maximum SNAP benefit per month for an individual, from $291/month to $292/month. (The increases for larger households are similarly small.) This is not the actual…
In case anyone was curious, the following text is from the section of the article discussing "violent crime": > Burglary is generally considered a property crime, but an array of state and federal laws classify burglary…
> There were millions of years without ice caps even In case anyone was curious, this is a significant understatement. It is currently believed that the Earth had no ice caps for its first 2 billion years, before the…
During the 111th Congress, from the appointment of Al Franken until the death of Ted Kennedy, as well as during the term of his appointed successor Paul G. Kirk, the Democratic party held 58 seats in the Senate and…
Please do not consider this comment to be commentary on the ongoing coronavirus outbreak, especially considering the situation at the nursing home in Washington state. Out of curiosity, I tried to find examples where…
> one mass shooting (~13 dead) ... in Binghamton, NY In case anyone is curious, this appears to refer to the following event: https://en.wikipedia.org/wiki/Binghamton_shootings
For some context in case anyone was curious, it seems that approximately 1 in 30 of people worldwide live outside the country of their birth. (Of these, approximately 1 in 10 are forcibly displaced.) Also, "the largest…
> There was a NASCAR driver a couple of years ago who lost his sponsorship because of something his father said before the driver was even born. In case anyone was curious, this appears to be referring to Conor Daly, as…
> deporting millions of Hispanic people (citizens included) in the 30s In case anyone is curious, this appears to be referring to the following: https://en.wikipedia.org/wiki/Mexican_Repatriation
It appears you are correct in this regard and the websites I used are not. Are there any such planes used for regular scheduled (passenger) airline services? It appears to me that Buffalo Airways is charter and cargo…
For some context in case anyone is curious: putting together information from various websites suggests that the following is the oldest plane in commercial service today.…