<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: throwaway713</title><link>https://news.ycombinator.com/user?id=throwaway713</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sat, 12 Sep 2026 08:47:17 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=throwaway713" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by throwaway713 in "A misalignment of AI in mathematics"]]></title><description><![CDATA[
<p>Contrarian take: I think the ability of AI to produce valid mathematical proofs (even inscrutable ones) is absolutely fantastic. Mathematics as a profession does not have a monopoly over math itself any more than professional pianists have a monopoly on who plays piano, when they play, and how.<p>I have sympathy for any jobs that might be affected (much as my own job has become more tenuous in software engineering). And if the field is disrupted by chaos that makes the research process unproductive, that's bad too and should of course be handled by applying better organization within the institutions that tend to perform mathematical research.<p>But to a large degree, the notion that "sloppy AI proofs are bad for mathematics research" seems like a total failure of the imagination to me. Attempting to find shorter proofs or more elegant proofs can be turned back in on itself via proof theory. There are proofs in Presburger arithmetic that are doubly exponential in the length of the sentence. Yet a more powerful theory like PA makes quick work of such theorems. The explainability or "subjective beauty" of a proof can be quantified and optimized against. Optimization itself can be optimized against. I really don't understand how this magical ability to know the truth of more theorems much more quickly—even via an "ugly" route—is anything but a net positive.</p>
]]></description><pubDate>Fri, 11 Sep 2026 19:55:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=49664446</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=49664446</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49664446</guid></item><item><title><![CDATA[New comment by throwaway713 in "Mathematicians want proof OpenAI didn't use their work"]]></title><description><![CDATA[
<p>Am I missing something obvious? Isn’t this just a simple DB query to see the state history of the “Data Controls” → “Improve model for everyone” toggle in the settings? Just report whether that was ever on and over what time period.</p>
]]></description><pubDate>Thu, 10 Sep 2026 11:43:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=49642073</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=49642073</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49642073</guid></item><item><title><![CDATA[New comment by throwaway713 in "Artificial intelligence is not conscious – Ted Chiang"]]></title><description><![CDATA[
<p>> The problem I have with good faith debate is that it often falls into a fallacy of "fair-time" meaning we think we have to give the other side equal time<p>The Catholic church could have said exactly the same thing at one point. "Why should we even devote time to an argument as absurd as the earth not being the center of the universe?" There are darker examples along the lines of those you give, with beliefs quite opposite to those we have nowadays.</p>
]]></description><pubDate>Wed, 03 Jun 2026 20:45:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=48389767</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=48389767</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48389767</guid></item><item><title><![CDATA[New comment by throwaway713 in "Artificial intelligence is not conscious – Ted Chiang"]]></title><description><![CDATA[
<p>Suppose one selects an arbitrary hot-button issue [X] with two opposing sides and one side has anything less than overwhelming support. And then that person writes an article titled "Side 1 of issue [X] is true". Not "maybe" or "possibly". Just a straight-up declaration by fiat.<p>Would you categorize this particular style of rhetoric to be persuasive or annoying? And before you say "persuasive" because you're thinking about this <i>specific</i> issue regarding AI consciousness, consider many things in the past that have been written as though they were absolutely definitive, and yet today we believe exactly the opposite, and for many such issues we find the prevailing viewpoint at the time reprehensible.<p>That's not to say that Ted is wrong at all here; I'm not commenting on that. But I find the entire style of the article grating because it seems to violate common assumptions regarding "good faith" debate, and I would find the article equally frustrating if he had titled it "Artificial intelligence is conscious" and argued the opposite side, albeit in the same tone and using the same persuasion devices.</p>
]]></description><pubDate>Wed, 03 Jun 2026 20:14:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=48389357</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=48389357</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48389357</guid></item><item><title><![CDATA[New comment by throwaway713 in "Where's Ed: Anthropic Told Court $5B but Public $19B"]]></title><description><![CDATA[
<p>Interesting. I’m going to start describing my “annualized impact” in my performance self-reviews in terms of all the things I project that I’ll do.</p>
]]></description><pubDate>Fri, 15 May 2026 11:41:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=48147373</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=48147373</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48147373</guid></item><item><title><![CDATA[New comment by throwaway713 in "The Abstraction Fallacy: Why AI can simulate but not instantiate consciousness"]]></title><description><![CDATA[
<p>Bold title for something from DeepMind. I thought a crank submission slipped onto the front page somehow. I guess the next paper will be “Why AI cannot instantiate God”?</p>
]]></description><pubDate>Wed, 29 Apr 2026 18:15:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=47952211</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=47952211</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47952211</guid></item><item><title><![CDATA[New comment by throwaway713 in "The AI School Bus Camera Company Blanketing America in Tickets"]]></title><description><![CDATA[
<p>I'm a little bit mixed after reading the article. I guess I don't entirely blame companies that see a financial opportunity to help enforce laws, as ostensibly, it should be win-win for both the public and private space. Where it breaks down (as the article points out), is when the law is ineffective at achieving it's purported goal. This is where I differ somewhat from the article's conclusion, however, as I view it as the government's responsibility at that point to correct the dysfunctional law. If all the evidence is there—do something about it. There might be a moral expectation that private companies "do the right thing", but there's certainly no practical expectation that will occur.<p>Case in point: where I live, the interstate is often congested, and a driver "camping" in the left lane frequently leads to traffic jams that back up for miles. The cars that get backed up become frustrated and start zooming and weaving through traffic in the right lanes to get past the blockage. And while there are plenty of police, they only go after the speeders (presumably because speeding tickets are more lucrative). I don't think I've <i>ever</i> seen someone pulled over for squatting in the left lane, despite the fact that it's illegal where I live and despite the presence of numerous signs that say "Keep Right Except to Past".<p>This is what I would call an example of a dysfunctional law, as I highly suspect that if one had the capability and interest to analyze aerial footage of traffic patterns, it would be found that left lane campers are a much more significant factor in the root cause of interstate traffic accidents than speeders. But the incentives are too perverse to fix the problem, so the situation persists.</p>
]]></description><pubDate>Tue, 14 Apr 2026 15:38:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=47767086</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=47767086</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47767086</guid></item><item><title><![CDATA[New comment by throwaway713 in "Remove your ring camera with a claw hammer"]]></title><description><![CDATA[
<p>> the world outside your front door is to be treated with suspicion; that every passerby is a potential threat; that every neighbor is a potential enemy; that every human interaction must be stored and cataloged as evidence of possible crime.<p>Yeah, I think he summed it up better than I could have there.</p>
]]></description><pubDate>Thu, 19 Mar 2026 00:17:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=47433078</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=47433078</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47433078</guid></item><item><title><![CDATA[New comment by throwaway713 in "Humans peak in midlife: A combined cognitive and personality trait perspective"]]></title><description><![CDATA[
<p>> Fluid intelligence, which peaks near age 20 and declines materially across adulthood [...] while fluid intelligence may decline with age, other dimensions improve (e.g., crystallized intelligence, emotional intelligence)<p>As someone well past "peak" fluid intelligence at this point, I always hate reading research like this. "Crystallized intelligence" and "emotional intelligence" are the consolation prizes no one really wants.<p>I'd rather we instead perform research to identify how one might reverse the decline of fluid intelligence...</p>
]]></description><pubDate>Mon, 09 Feb 2026 15:11:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=46946058</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=46946058</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46946058</guid></item><item><title><![CDATA[New comment by throwaway713 in "Google is dead. Where do we go now?"]]></title><description><![CDATA[
<p>Sort of like the people who work in big tech and the people who post on Hacker News. You'd think the intersection is an empty set, but it's probably pretty large.</p>
]]></description><pubDate>Tue, 30 Dec 2025 04:45:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=46429641</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=46429641</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46429641</guid></item><item><title><![CDATA[New comment by throwaway713 in "Collaboration sucks"]]></title><description><![CDATA[
<p>> Every time you see collaboration happening, speak up and destroy it. Say “there are too many people involved. X, you are the driver, you decide.” (This is a great way to make friends btw).<p>Corollary for managers: Do <i>not</i> say "it's your call", then once the decision has been made (and you skipped all the meetings pertaining to that decision), comment about how you would have done it differently and then retroactively request your report to go back and make changes. This is a great way to lose employees.</p>
]]></description><pubDate>Tue, 11 Nov 2025 20:53:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=45892683</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=45892683</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45892683</guid></item><item><title><![CDATA[New comment by throwaway713 in "Sprinkling self-doubt on ChatGPT"]]></title><description><![CDATA[
<p>Ah, ChatGPT’s hidden INTP mode. We’ll finally get the right theory for ASI, but it will provide no clues on how to actually implement it in a timely manner.</p>
]]></description><pubDate>Fri, 22 Aug 2025 18:41:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=44988187</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=44988187</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44988187</guid></item><item><title><![CDATA[New comment by throwaway713 in "What do wealthy people buy, that ordinary people know nothing about? (2015)"]]></title><description><![CDATA[
<p>I saw that Reddit post a while back. It’s interesting, but I wonder how much it really applies to all of the super wealthy. There are certainly billionaires and centimillionaires who reject that lifestyle out of hand (I know I certainly would). The average person doesn’t know their name and they prefer it that way. Even the local billionaire near where I lived for a while was pretty modest, all considered (his kids not so much). I was surprised to see him and his family sit down next to mine at a restaurant one day. Could overhear him talking about the local farmers market and commenting about the tomatoes of the season haha</p>
]]></description><pubDate>Sun, 18 May 2025 16:39:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=44022567</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=44022567</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44022567</guid></item><item><title><![CDATA[New comment by throwaway713 in "Something is wrong on the Internet"]]></title><description><![CDATA[
<p>That's a fair point actually, and perhaps we are only seeing these problems increase recently because "locally optimal" capitalism had historically sort of prevented the global algorithmic optimizations we're seeing now across industries. E.g., rental price fixing via algorithms.</p>
]]></description><pubDate>Sun, 22 Dec 2024 22:00:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=42489510</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=42489510</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42489510</guid></item><item><title><![CDATA[New comment by throwaway713 in "Something is wrong on the Internet"]]></title><description><![CDATA[
<p>> In my observation/bubble, people already do<p>Well I thought so too. I match those behaviors, and I don't even watch television. But then I worked at a tech company where I could see the actual data on consumer preferences and behaviors, and it's fairly undeniable: most people aren't like you, me, or the average commenter on Hacker News.</p>
]]></description><pubDate>Sun, 22 Dec 2024 21:57:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=42489490</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=42489490</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42489490</guid></item><item><title><![CDATA[New comment by throwaway713 in "Something is wrong on the Internet"]]></title><description><![CDATA[
<p>Do most people really want an internet without ads, flights with large seats and plenty of space, high-quality local food — or do most people just <i>say</i> they want that? Because when push comes to shove and these options temporarily become available for some reason (e.g., a new farmers market, a premium streaming plan that removes ads, etc.), most people don't spring for the higher quality option. The cheapest option still seems to consistently win out overall.<p>I'm certainly not saying "blame the consumer", but if people really don't like ads so much (to the extent that they stop clicking on them), really dislike the subpar streaming services so much (to the extent that they unsubscribe) — then why haven't they abandoned these products?<p>There are other countries where valuing quality seems to be more deeply embedded in the culture, and most people in these countries will reject subpar offerings altogether. I think the U.S. has had a uniquely precipitous fall in this regard — the average person just doesn't seem to care that much. Why this is the case, I'm not sure, but it's not surprising that since Silicon Valley is located in the U.S., the region simply optimizes on whatever (revealed) consumer preferences return the most. Tech companies are certainly not unique in this regard.</p>
]]></description><pubDate>Sun, 22 Dec 2024 21:47:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=42489415</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=42489415</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42489415</guid></item><item><title><![CDATA[New comment by throwaway713 in "AlphaProof's Greatest Hits"]]></title><description><![CDATA[
<p>Anyone else feel like mathematics is sort of the endgame? I.e., once ML can do it better than humans, that’s basically it?</p>
]]></description><pubDate>Sun, 17 Nov 2024 22:24:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=42167915</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=42167915</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42167915</guid></item><item><title><![CDATA[New comment by throwaway713 in "Why you've never been in a plane crash"]]></title><description><![CDATA[
<p>This concept of a blameless culture reminds me of one time when I was talking to a SWE at Facebook around 2010. I don’t know whether the story is actually true or just folklore, but apparently someone brought down the whole site on accident once, and it was pretty obvious who did it.<p>Zuckerberg was in the office and walked up to the guy and said something along the lines of “Just so you are aware, it would probably take a lifetime or more to recoup the revenue lost during that outage. But we don’t assign blame during these sorts of events, so let’s just consider it an expensive learning opportunity to redesign the system so it can’t happen again.”</p>
]]></description><pubDate>Mon, 29 Jan 2024 10:34:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=39174799</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=39174799</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=39174799</guid></item><item><title><![CDATA[New comment by throwaway713 in "N guilty men (1997)"]]></title><description><![CDATA[
<p>Related to this problem is the interesting tradeoff between fairness and harm minimization. The idea of fairness is that no individual should have a higher probability of a guilty verdict or punishment than any other individual due to factors that are outside of their control. But there is an inherent conflict between fairness and our ability to reduce harm that results from crime.<p>For example, consider two hypothetical but identical individuals: one born into a low-income neighborhood and one born into a high-income neighborhood. If you develop a model to predict what we currently categorize as "crime" (the definition of which is its own separate issue), you will find that the income of a neighborhood is inversely correlated with the density of crime. If this is the only factor in your predictive model, then you will more effectively reduce crime by directing attention toward the low-income neighborhood. But now there is an inherent unfairness, because the additional scrutiny toward the low-income neighborhood means that individual 1 is more likely to be <i>caught</i> for a crime than individual 2, despite both individuals having an equal likelihood of <i>committing</i> a crime. This also creates a self-reinforcing situation where having more statistics on the low-income subset of the population now allows you to improve your predictive model even further by using additional variables that are only relevant to that subset of the population, meanwhile neglecting other variables that would be relevant to predicting crime in high-income neighborhoods.  Repeat this process a few times and soon you have a massive amount of unfairness in society.<p>It's probably impossible to eliminate all unfairness while still maintaining any sort of ability to control crime, but what is the appropriate threshold for this tradeoff?</p>
]]></description><pubDate>Wed, 30 Aug 2023 13:14:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=37321628</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=37321628</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=37321628</guid></item><item><title><![CDATA[New comment by throwaway713 in "The story BCG offered me $16,000 not to tell (2010)"]]></title><description><![CDATA[
<p>I work at one of the well-known tech companies. We have recently gone on a consultant hiring spree after previously having avoided external contractors for years.<p>With a team of five consultants and their manager, months of useless hour long meetings to answer simple questions that can be looked up in the documentation, and plenty of slideshows and design docs that are mostly filled with fluff, they’ve produced... a dashboard that I could have put together in about 30 minutes.<p>Whatever social purpose this contract fulfills is a total mystery to me, but all I can think of is what a waste of human time this is.</p>
]]></description><pubDate>Wed, 07 Sep 2022 19:00:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=32754881</link><dc:creator>throwaway713</dc:creator><comments>https://news.ycombinator.com/item?id=32754881</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=32754881</guid></item></channel></rss>