<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: somecontext</title><link>https://news.ycombinator.com/user?id=somecontext</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sun, 21 Jun 2026 10:29:32 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=somecontext" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by somecontext in "“Erdos problem #728 was solved more or less autonomously by AI”"]]></title><description><![CDATA[
<p>See <a href="https://xenaproject.wordpress.com/2025/12/05/formalization-of-erdos-problems/" rel="nofollow">https://xenaproject.wordpress.com/2025/12/05/formalization-o...</a> for a blog post about that.</p>
]]></description><pubDate>Sat, 10 Jan 2026 02:42:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=46562231</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=46562231</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46562231</guid></item><item><title><![CDATA[New comment by somecontext in "Sebastien Bubeck: Another twist in the Erdős problems story"]]></title><description><![CDATA[
<p>How long until an AI can do the formalization for a proof like this one fully automatically?<p>For example, the "direct proof" in this paper is six paragraphs long.</p>
]]></description><pubDate>Thu, 23 Oct 2025 01:03:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=45677053</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=45677053</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45677053</guid></item><item><title><![CDATA[New comment by somecontext in "We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT"]]></title><description><![CDATA[
<p>I was looking at the submitter's past comments, and the most recent one is interesting: <a href="https://news.ycombinator.com/item?id=45092516">https://news.ycombinator.com/item?id=45092516</a><p>> Wow, I was already impressed with the new comment feature on erdosproblems.com and how it's already been used to solve some of the problems. Excited to see if AI can make a meaningful contribution here.<p>Since then, there has been some discussion of GPTPro finding a bunch of references, thus enabling many of the problem statuses to be changed from "open" to "solved". But it seems that LLMs couldn't find the right reference for this problem.<p>But there was a different meaningful contribution from AI here instead.</p>
]]></description><pubDate>Tue, 21 Oct 2025 23:01:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=45662851</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=45662851</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45662851</guid></item><item><title><![CDATA[New comment by somecontext in "How has mathematics gotten so abstract?"]]></title><description><![CDATA[
<p>> 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.<p>John Horton Conway:<p>> It's a funny thing that happens with mathematicians.  What's the ontology of mathematical things?  How do they exist?  In what sense do they exist?  There's no doubt that they do exist but you can't poke and prod them except by thinking about them.  It's quite astonishing and I still don't understand it, having been a mathematician all my life.  How can things be there without actually being there?  There's no doubt that 2 is there or 3 or the square root of omega.  They're very real things.  I still don't know the sense in which mathematical objects exist, but they do.  Of course, it's hard to say in what sense a cat is out there, too, but we know it is, very definitely.  Cats have a stubborn reality but maybe numbers are stubborner still.  You can't push a cat in a direction it doesn't want to go.  You can't do it with a number either.</p>
]]></description><pubDate>Tue, 30 Sep 2025 17:26:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=45428393</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=45428393</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45428393</guid></item><item><title><![CDATA[New comment by somecontext in "Geneva makes public transport temporarily free to combat pollution spike"]]></title><description><![CDATA[
<p>According to this graphic <a href="https://www.hunterurban.org/wp-content/uploads/2024/06/Car-Light-NYC-Infographics-May-2024.pdf" rel="nofollow">https://www.hunterurban.org/wp-content/uploads/2024/06/Car-L...</a> 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 in NYC have a car.</p>
]]></description><pubDate>Thu, 14 Aug 2025 12:06:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=44899439</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=44899439</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44899439</guid></item><item><title><![CDATA[New comment by somecontext in "Why doctors hate their computers (2018)"]]></title><description><![CDATA[
<p>Here's a reference, as well as other options: <a href="https://worldgo.ca/understanding-your-airlines-meal-options/" rel="nofollow">https://worldgo.ca/understanding-your-airlines-meal-options/</a></p>
]]></description><pubDate>Tue, 05 Aug 2025 02:58:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=44793856</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=44793856</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44793856</guid></item><item><title><![CDATA[New comment by somecontext in "The clustering behavior of sliding windows"]]></title><description><![CDATA[
<p>Here's the abstract of this earlier paper:<p>> 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 this work we make a surprising claim. Clustering of time series subsequences is meaningless. More concretely, clusters extracted from these time series are forced to obey a certain constraint that is pathologically unlikely to be satisfied by any dataset, and because of this, the clusters extracted by any clustering algorithm are essentially random. While this constraint can be intuitively demonstrated with a simple illustration and is simple to prove, it has never appeared in the literature. We can justify calling our claim surprising, since it invalidates the contribution of dozens of previously published papers. We will justify our claim with a theorem, illustrative examples, and a comprehensive set of experiments on reimplementations of previous work. Although the primary contribution of our work is to draw attention to the fact that an apparent solution to an important problem is incorrect and should no longer be used, we also introduce a novel method which, based on the concept of time series motifs, is able to meaningfully cluster subsequences on some time series datasets.<p>Several commenters here seem to ask "okay, so then what's the right way to cluster windows of timeseries??"  Perhaps the final sentence of this abstract suggests a solution in that direction?</p>
]]></description><pubDate>Wed, 19 Mar 2025 19:32:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=43416362</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=43416362</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43416362</guid></item><item><title><![CDATA[New comment by somecontext in "The clustering behavior of sliding windows"]]></title><description><![CDATA[
<p>My understanding is that people would mostly try this approach when the samples are periodic/regular.</p>
]]></description><pubDate>Wed, 19 Mar 2025 19:07:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=43416112</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=43416112</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43416112</guid></item><item><title><![CDATA[New comment by somecontext in "The clustering behavior of sliding windows"]]></title><description><![CDATA[
<p>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 <a href="https://www.cs.ucr.edu/~eamonn/meaningless.pdf" rel="nofollow">https://www.cs.ucr.edu/~eamonn/meaningless.pdf</a></p>
]]></description><pubDate>Wed, 19 Mar 2025 16:13:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=43413936</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=43413936</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43413936</guid></item><item><title><![CDATA[New comment by somecontext in "Eggs US – Price – Chart"]]></title><description><![CDATA[
<p>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.</p>
]]></description><pubDate>Wed, 05 Feb 2025 18:53:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=42953313</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=42953313</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42953313</guid></item><item><title><![CDATA[New comment by somecontext in "LA wildfires force thousands to evacuate, NASA JPL closed"]]></title><description><![CDATA[
<p>> totalling almost $2 billion. The LAPD's budget for one fiscal year is larger than most country's GDPs<p>In case anyone was curious, <a href="https://en.wikipedia.org/wiki/List_of_countries_by_GDP_(nominal)" rel="nofollow">https://en.wikipedia.org/wiki/List_of_countries_by_GDP_(nomi...</a> suggests that ~17 countries have a GDP of less than $2 billion per year.  Seeing as how there are 193+ countries, this means that the LAPD budget exceeds the GDP of fewer than 10% of countries.  (The median country GDP is ~$50 billion per year.)<p>For some extra context: while these 17 countries include some very poor countries, the primary reason that they have such small GDPs is their small population.  Their combined population is approximately the same as the city of Los Angeles.</p>
]]></description><pubDate>Thu, 09 Jan 2025 00:03:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=42640023</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=42640023</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42640023</guid></item><item><title><![CDATA[New comment by somecontext in "A $12k Surgery to Change Eye Color Is Surging in Popularity"]]></title><description><![CDATA[
<p>I don't think "policy discretion to deny" is what the word "welfare" means.<p>But in any case, Medicare is literally denied to prisoners, which is an example of ... denying welfare benefits for antisocial behavior?</p>
]]></description><pubDate>Wed, 20 Nov 2024 01:54:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=42190124</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=42190124</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42190124</guid></item><item><title><![CDATA[New comment by somecontext in "A $12k Surgery to Change Eye Color Is Surging in Popularity"]]></title><description><![CDATA[
<p>> Moreover, there's no good-faith way to call [Medicare] "welfare".<p>For some context, Wikipedia says:<p>> In the United States, depending on the context, the term "welfare" ... can also include social insurance programs such as unemployment insurance, Social Security, and Medicare.<p><a href="https://en.wikipedia.org/wiki/Welfare_spending#United_States" rel="nofollow">https://en.wikipedia.org/wiki/Welfare_spending#United_States</a></p>
]]></description><pubDate>Tue, 19 Nov 2024 20:32:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=42187795</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=42187795</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42187795</guid></item><item><title><![CDATA[New comment by somecontext in "Trump wins presidency for second time"]]></title><description><![CDATA[
<p>In case anyone is curious, the $1 is the increase in the <i>maximum</i> SNAP benefit per <i>month</i> for an individual, from $291/month to $292/month. (The increases for larger households are similarly small.)<p>This is not the actual increase of the benefit amount. In particular, it appears the cost of living adjustment this year is 2.5%. I have been unable to find statistics on how many people/households actually receive the maximum amount, but I don't have a particular reason to believe it is large. (The average benefit amounts are significantly below the maxima.)<p>Tldr: the average SNAP benefit amount received by people has increased and will increase by significantly more than $1/month.</p>
]]></description><pubDate>Thu, 07 Nov 2024 00:39:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=42071871</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=42071871</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42071871</guid></item><item><title><![CDATA[New comment by somecontext in "How I got here"]]></title><description><![CDATA[
<p>In case anyone was curious, the following text is from the section of the article discussing "violent crime":<p>> Burglary is generally considered a property crime, but an array of state and federal laws classify burglary as a violent crime in certain situations, such as when it occurs at night, in a residence, or with a weapon present. So even if the building was unoccupied, someone convicted of burglary could be punished for a violent crime and end up with a long prison sentence and “violent” record.<p>The article does not state this explicitly, but it suggests that someone who burgles a residence at night with a weapon should not have a long prison sentence, if the residence turned out to be unoccupied. (Perhaps even if it was occupied but the occupants were not "physically harmed"?)</p>
]]></description><pubDate>Mon, 13 Nov 2023 00:25:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=38245562</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=38245562</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38245562</guid></item><item><title><![CDATA[New comment by somecontext in "Using grape harvest dates to estimate summer temperature over 650 years"]]></title><description><![CDATA[
<p>> There were millions of years without ice caps even<p>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 <i>b</i>illion years, before the Huronian glaciation, and then again no ice caps for another ~1.5 <i>b</i>illion years.</p>
]]></description><pubDate>Fri, 05 Aug 2022 13:20:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=32355704</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=32355704</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=32355704</guid></item><item><title><![CDATA[New comment by somecontext in "Supreme Court Overturns Roe vs. Wade"]]></title><description><![CDATA[
<p>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 more senators.<p><a href="https://en.wikipedia.org/wiki/111th_United_States_Congress" rel="nofollow">https://en.wikipedia.org/wiki/111th_United_States_Congress</a> "gave the Senate Democratic caucus sixty votes, enough to defeat a filibuster in a party-line vote."<p><a href="https://www.nytimes.com/2009/07/01/us/politics/01minnesota.html" rel="nofollow">https://www.nytimes.com/2009/07/01/us/politics/01minnesota.h...</a> "providing Democrats with something they had long hoped for: 60 votes, and thus at least the symbolic ability to overcome filibusters."</p>
]]></description><pubDate>Fri, 24 Jun 2022 16:55:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=31865580</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=31865580</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=31865580</guid></item><item><title><![CDATA[New comment by somecontext in "Italy is extending its coronavirus quarantine measures to the entire country"]]></title><description><![CDATA[
<p>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.<p>Out of curiosity, I tried to find examples where many people died of a flu outbreak in nursing homes.  Here are some articles I found:<p>This article describes a nursing home in Sheffield where 9 of 60 residents died from the flu during the 1997--1998 season: <a href="https://pdfs.semanticscholar.org/e54b/27d527dd0612d0899f22ea90d6a2f1b0bbd6.pdf" rel="nofollow">https://pdfs.semanticscholar.org/e54b/27d527dd0612d0899f22ea...</a><p>This article describes a nursing home in Honolulu where 6 of 37 residents died from the flu during the 1989--1990 season: <a href="https://www.ncbi.nlm.nih.gov/pubmed/7657975" rel="nofollow">https://www.ncbi.nlm.nih.gov/pubmed/7657975</a><p>This article describes a nursing home in Los Angeles where 8 of 101 residents died from RSV in 1979: <a href="https://www.ncbi.nlm.nih.gov/pubmed/6527041" rel="nofollow">https://www.ncbi.nlm.nih.gov/pubmed/6527041</a><p>This article describes a nursing home in Devon where 4 of 50 residents died from RSV within one week: <a href="https://www.ncbi.nlm.nih.gov/pubmed/6736667" rel="nofollow">https://www.ncbi.nlm.nih.gov/pubmed/6736667</a></p>
]]></description><pubDate>Tue, 10 Mar 2020 04:02:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=22532630</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=22532630</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=22532630</guid></item><item><title><![CDATA[New comment by somecontext in "EASA Insists on Testing Boeing 737 Max Itself Before Lifting Ban"]]></title><description><![CDATA[
<p>> one mass shooting (~13 dead) ... in Binghamton, NY<p>In case anyone is curious, this appears to refer to the following event: <a href="https://en.wikipedia.org/wiki/Binghamton_shootings" rel="nofollow">https://en.wikipedia.org/wiki/Binghamton_shootings</a></p>
]]></description><pubDate>Fri, 06 Sep 2019 19:29:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=20899034</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=20899034</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=20899034</guid></item><item><title><![CDATA[New comment by somecontext in "Review of Moneyland by Oliver Bullough (2018)"]]></title><description><![CDATA[
<p>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 migratory flow from a single country of origin to a single country of destination is the 12.7 million Mexicans living in the United States"; this flow alone is approximately 1 in 600 people worldwide.<p><a href="https://lif.blob.core.windows.net/lif/docs/default-source/default-library/legj6267_global-people-movements-180622.pdf" rel="nofollow">https://lif.blob.core.windows.net/lif/docs/default-source/de...</a>
<a href="https://www.un.org/development/desa/publications/international-migration-report-2017.html" rel="nofollow">https://www.un.org/development/desa/publications/internation...</a></p>
]]></description><pubDate>Thu, 05 Sep 2019 17:58:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=20889218</link><dc:creator>somecontext</dc:creator><comments>https://news.ycombinator.com/item?id=20889218</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=20889218</guid></item></channel></rss>