somecontext

7 ms·

1.
by somecontext 3mo ago
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. https://x.com/SandyofCthulhu&
2.
by somecontext 8mo ago
See https://xenaproject.wordpress.com/2025/12/05/formalization-o... for a blog post about that.
3.
by somecontext 11mo ago
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.
4.
by somecontext 11mo ago
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
5.
by somecontext 1y ago
> 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 thing t
6.
by somecontext 1y ago
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 stil
7.
by somecontext 1y ago
Here's a reference, as well as other options: https://worldgo.ca/understanding-your-airlines-meal-options/
8.
by somecontext 1y ago
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 attention. In thi
9.
by somecontext 1y ago
My understanding is that people would mostly try this approach when the samples are periodic/regular.
10.
by somecontext 1y ago
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 https://www.cs.ucr.edu/~eam
11.
by somecontext 2y ago
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.
12.
by somecontext 2y ago
> 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
13.
by somecontext 2y ago
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?
14.
by somecontext 2y ago
> 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
15.
by somecontext 2y ago
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 increa
16.
by somecontext 3y ago
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 as a vi
17.
by somecontext 4y ago
> 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 b illion years, before the Huronian glaciati
18.
by somecontext 4y ago
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 caucused together with 2
19.
by somecontext 7y ago
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 many people died of a f
20.
by somecontext 7y ago
> 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
21.
by somecontext 7y ago
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 international
22.
by somecontext 7y ago
> 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 described in the
23.
by somecontext 7y ago
> 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
24.
by somecontext 7y ago
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 only.
25.
by somecontext 7y ago
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://m.planespotters.net/airframe/Boeing&#x
26.
by somecontext 7y ago
For some context in case anyone is curious, here is a photo of part of the front row at Aretha Franklin's funeral, featuring (in order) Louis Farrakhan, Al Sharpton, Jesse Jackson and Bill Clinton: https://www.cbsnews.com&#x
27.
by somecontext 8y ago
I don't know whether this is "the last time", but perhaps others might find this example informative. The A320 first crashed on literally its first passenger flight "(in service for two days)". https://e
28.
by somecontext 8y ago
> Perry is the first non-nuclear engineer to run the Department of Energy For some context in case anyone is curious: the position of Secretary of energy was created together with the Department of energy in 1977. There have been 14 Sec
29.
by somecontext 8y ago
In case anyone was curious, this website suggests that ~20% of the housing stock in the UK is over a hundred years old: https://www.designingbuildings.co.uk/wiki/English_housing_st...
30.
by somecontext 8y ago
The 110th Congress was during the presidency of George W. Bush. 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

More ›