Viewing profile — somecontext

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 absol…

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 co…

> 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…

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,…

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…

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 onli…

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_…

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 b…

> 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 a…

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 s…

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 s…

> 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 i…

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 par…

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 curio…

> 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 f…

> 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 ap…

> 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/Mexic…

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 …

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. https://…