<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: areyousure</title><link>https://news.ycombinator.com/user?id=areyousure</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Wed, 08 Apr 2026 04:09:22 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=areyousure" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by areyousure in "Mathematical methods and human thought in the age of AI"]]></title><description><![CDATA[
<p>The paper explicitly states that n is greater than 2, but the issue is whether a,b,c can be 0.</p>
]]></description><pubDate>Tue, 31 Mar 2026 00:01:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=47581166</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=47581166</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47581166</guid></item><item><title><![CDATA[New comment by areyousure in "Show HN: I made a spreadsheet where formulas also update backwards"]]></title><description><![CDATA[
<p>I have wanted one general application of this idea in a spreadsheet.  Specifically, I track some of my running, including speed (pace), distance, and time.  Under different circumstances, I have exactly two of the three available and I want the third to be computed, but it varies which.  I have found it fairly difficult to implement this kind of data entry in Google Spreadsheets and Excel, even know conceptually it's a very simple constraint "a*b=c" where I know some two variables.<p>As a more substantive comment: You may find the thesis "Propagation networks : a flexible and expressive substrate for computation" by Alexey Radul interesting. <a href="https://dspace.mit.edu/handle/1721.1/54635" rel="nofollow">https://dspace.mit.edu/handle/1721.1/54635</a></p>
]]></description><pubDate>Sat, 13 Dec 2025 11:24:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=46253796</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=46253796</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46253796</guid></item><item><title><![CDATA[New comment by areyousure in "Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean"]]></title><description><![CDATA[
<p>Vlad Tenev tweeted about it here: <a href="https://x.com/vladtenev/status/1994922827208663383" rel="nofollow">https://x.com/vladtenev/status/1994922827208663383</a></p>
]]></description><pubDate>Sun, 30 Nov 2025 01:14:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=46092541</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=46092541</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46092541</guid></item><item><title><![CDATA[New comment by areyousure in "Asymptotically optimal approximate Hadamard matrices"]]></title><description><![CDATA[
<p>In case anyone is curious, there is a discussion of AI in Section 5 (page 8 of the PDF). This direct link might work: <a href="https://arxiv.org/pdf/2511.14653#page=8" rel="nofollow">https://arxiv.org/pdf/2511.14653#page=8</a></p>
]]></description><pubDate>Sun, 23 Nov 2025 21:54:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=46027724</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=46027724</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46027724</guid></item><item><title><![CDATA[New comment by areyousure in "Over-regulation is doubling the cost"]]></title><description><![CDATA[
<p>> The real question is why they’re paying $100K per truck<p>> The test equipment can’t possibly cost more than $100K. That leaves $26.9M of “you’re doing something obviously wrong”.<p>It seems clear from the original text ("It costs $100,000 per certification") that it's the certification FEE that is $100k.  For example, <a href="https://ww2.arb.ca.gov/sites/default/files/2024-08/mac202403.pdf" rel="nofollow">https://ww2.arb.ca.gov/sites/default/files/2024-08/mac202403...</a> includes an individual base fee of $126,358.</p>
]]></description><pubDate>Fri, 21 Nov 2025 18:30:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=46007285</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=46007285</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46007285</guid></item><item><title><![CDATA[New comment by areyousure in "Margin debt surges to record high"]]></title><description><![CDATA[
<p>> Ask four mathematicians whether something is a Commutative Ring or not and they'll all agree.<p>Amusingly, there are at least 3 different definitions of commutative ring.<p>The principal issue is whether it must have a 1 (unity, ie a multiplicative inverse).  Wikipedia <a href="https://en.wikipedia.org/wiki/Commutative_ring" rel="nofollow">https://en.wikipedia.org/wiki/Commutative_ring</a> as well as most modern sources insist on this.<p>Britannica <a href="https://www.britannica.com/science/ring-mathematics#ref894211" rel="nofollow">https://www.britannica.com/science/ring-mathematics#ref89421...</a> as well as many older sources (such as Noether's original definition and van der Waerden) do not insist that the ring have a 1.  Even first-edition Bourbaki didn't have 1!<p>Finally, if you do have a 1, then sometimes people include the condition that 0 != 1, ie the trivial/zero ring is deemed not a [commutative] ring.  This is somewhat hard to find, but is relatively common <i>among</i> people who specifically define the concept of "ring with identity" (eg Zariski+Samuel).  I have also found it unqualified (ie, just in the definition of "commutative ring") in the wild, eg in "Handbook of Mathematical Logic" by Barwise or "The Math You Need" by Mack.<p>(I agree with people like Conrad and Poonen that rings should have a 1.  And I guess that the zero ring is in fact a [commutative] ring.)</p>
]]></description><pubDate>Thu, 21 Aug 2025 19:09:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=44976803</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=44976803</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44976803</guid></item><item><title><![CDATA[New comment by areyousure in "How Pi Almost Wasn't"]]></title><description><![CDATA[
<p>Suppose we designate a unit line segment, and from that we pick out a line segment of (what we now call) length 2 and separately a rectangle of area 3.  To "an ancient" (like Aristotle), does it make sense to add the length and the area to get 5?  If you then drew a line segment of length 5, would they say it has the same magnitude?<p>(My understanding is "no" to both questions.)</p>
]]></description><pubDate>Fri, 14 Mar 2025 13:31:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=43362493</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=43362493</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43362493</guid></item><item><title><![CDATA[New comment by areyousure in "TSMC expected to announce $100B investment in U.S."]]></title><description><![CDATA[
<p>You are correct that the Memorandum is rather short.<p>The promise to seek UN Security Council action is only in case Ukraine is attacked with nuclear weapons.</p>
]]></description><pubDate>Tue, 04 Mar 2025 09:18:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=43252319</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=43252319</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43252319</guid></item><item><title><![CDATA[New comment by areyousure in "The New York Stock Exchange plans to launch NYSE Texas"]]></title><description><![CDATA[
<p>Sadly, firms abuse odd lot rules to give people terrible prices: <a href="https://academiccommons.columbia.edu/doi/10.7916/2y01-1s13/download" rel="nofollow">https://academiccommons.columbia.edu/doi/10.7916/2y01-1s13/d...</a><p>In example 3, the NBBO for stock ABC is 495--500, but there is also an odd lot offer for 497 on exchange. If a Robinhood customer sends a market buy order, then Citadel is allowed to fill it for 499.999 even though it's better to send to the exchange. (And if they then pick up the odd lot themselves, it's easy arbitrage.)<p>By the way, while you're correct about some of your claims, odd lot executions definitely have to occur within the NBBO. (How could it be otherwise?) Otherwise, in the example above, Citadel would give an even worse price!</p>
]]></description><pubDate>Fri, 14 Feb 2025 22:33:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=43053827</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=43053827</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43053827</guid></item><item><title><![CDATA[New comment by areyousure in "The New York Stock Exchange plans to launch NYSE Texas"]]></title><description><![CDATA[
<p>My research suggests that the majority of on-exchange trades are odd lots.<p>For stocks like SPY (those over $500 per share!), the vast majority of orders are odd lots.<p>This article is many years old and already has data strongly in that direction: <a href="https://www.nasdaq.com/articles/odd-facts-about-odd-lots-2021-04-22" rel="nofollow">https://www.nasdaq.com/articles/odd-facts-about-odd-lots-202...</a></p>
]]></description><pubDate>Fri, 14 Feb 2025 19:23:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=43052032</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=43052032</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43052032</guid></item><item><title><![CDATA[New comment by areyousure in "The New York Stock Exchange plans to launch NYSE Texas"]]></title><description><![CDATA[
<p>> You can't <i>just</i> go get 2 shares of SPY off the lits, so where dyou think those are coming from?<p>Why can't you just get 2 shares on an exchange?</p>
]]></description><pubDate>Fri, 14 Feb 2025 18:53:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=43051731</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=43051731</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43051731</guid></item><item><title><![CDATA[New comment by areyousure in "DOGE Staffer Is Trying to Reroute FEMA Funds"]]></title><description><![CDATA[
<p>In case anyone was curious, I computed some popular margins of victory defined as (%popular vote of winner) - (%popular vote of highest other candidate).<p>I got the following small margins of victory smaller than the 1.5% in 2024, five of which are positive and five of which are negative.<p>-7.8% in 1824, 1.4% in 1844, -3% in 1876, 0% in 1880, 0.6% in 1884, -0.8% in 1888, 0.1% in 1960, 0.7% in 1968, -0.5% in 2000, -2.1% in 2016.</p>
]]></description><pubDate>Thu, 13 Feb 2025 15:31:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=43036864</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=43036864</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43036864</guid></item><item><title><![CDATA[New comment by areyousure in "What's happening inside the NIH and NSF"]]></title><description><![CDATA[
<p>In case anyone was curious, the interest being paid on the national debt is of the order of $1 trillion per year, while the amount collected in taxes (federally only) is of the order of $5.5 trillion per year.</p>
]]></description><pubDate>Wed, 05 Feb 2025 10:41:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=42946663</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=42946663</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42946663</guid></item><item><title><![CDATA[New comment by areyousure in "Google, the search engine that's forgotten how to search"]]></title><description><![CDATA[
<p>For those who didn't understand, this is a search result and its AI response:<p><a href="https://www.google.com/search?q=no%20soot%20in%20the%20pyramids" rel="nofollow">https://www.google.com/search?q=no%20soot%20in%20the%20pyram...</a></p>
]]></description><pubDate>Wed, 18 Dec 2024 13:10:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=42450164</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=42450164</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42450164</guid></item><item><title><![CDATA[New comment by areyousure in "What we know about CEO shooting suspect"]]></title><description><![CDATA[
<p>In case anyone was curious, Wikipedia calls the California Forestry Association a "timber industry lobbying group".</p>
]]></description><pubDate>Tue, 10 Dec 2024 12:10:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=42376099</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=42376099</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42376099</guid></item><item><title><![CDATA[New comment by areyousure in "New Mersenne Prime discovered (probably)"]]></title><description><![CDATA[
<p><a href="https://www.mersenne.org/primenet/" rel="nofollow">https://www.mersenne.org/primenet/</a> suggests 127 PFlop/s average over the last month, which would put it in the top 10 on <a href="https://top500.org/lists/top500/2024/06/" rel="nofollow">https://top500.org/lists/top500/2024/06/</a><p>I used a random estimate online for computing cost which had 5.6e17 Flops per dollar on A100s gives about a dollar every 4.4 seconds or ~$7 million per year.<p>Sadly, I do not vouch for the correctness of any part of this, though I did try.</p>
]]></description><pubDate>Sat, 19 Oct 2024 17:06:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=41889000</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=41889000</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=41889000</guid></item><item><title><![CDATA[New comment by areyousure in "How economical is your local Taco Bell?"]]></title><description><![CDATA[
<p>Do operating system accessibility controls help you distinguish the colors? For example, both Windows 10/11 and MacOS have "color filters". <a href="https://support.microsoft.com/en-us/" rel="nofollow">https://support.microsoft.com/en-us/</a> windows/use-color-filters-in-windows-43893e44 b8b3-2e27-1a29-b0c15ef0e5ce <a href="https://support.apple.com/" rel="nofollow">https://support.apple.com/</a> guide/mac-help/change-display-colors-easier-onscreen mchl11ddd4b3/mac</p>
]]></description><pubDate>Wed, 11 Sep 2024 11:59:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=41510494</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=41510494</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=41510494</guid></item><item><title><![CDATA[New comment by areyousure in "A wonderful coincidence or an expected connection: why π² ≈ g"]]></title><description><![CDATA[
<p>ln(5) ~ 1.6094379 is much closer, differing by about half of a percent of a percent.</p>
]]></description><pubDate>Sat, 10 Aug 2024 17:54:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=41211124</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=41211124</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=41211124</guid></item><item><title><![CDATA[New comment by areyousure in "Schwab users are unable to log in"]]></title><description><![CDATA[
<p>Today around 9am (Eastern time), Robinhood retroactively canceled all orders filled(!) between 1:45am and 4am.</p>
]]></description><pubDate>Mon, 05 Aug 2024 15:46:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=41162416</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=41162416</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=41162416</guid></item><item><title><![CDATA[New comment by areyousure in "Tetris Font (2020)"]]></title><description><![CDATA[
<p>That paper does not prove that Sokoban is NP-hard. It does, however, cite an earlier paper proving the stronger result that Sokoban is PSPACE-complete:<p>Culberson, Joseph. "Sokoban is PSPACE-complete." (1997).
<a href="https://era.library.ualberta.ca/items/f551dfd8-c8e6-4e78-883d-3afbee5bce83" rel="nofollow">https://era.library.ualberta.ca/items/f551dfd8-c8e6-4e78-883...</a><p>See also <a href="https://erikdemaine.org/papers/NCL_TCS/" rel="nofollow">https://erikdemaine.org/papers/NCL_TCS/</a></p>
]]></description><pubDate>Thu, 20 Jun 2024 19:20:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=40742256</link><dc:creator>areyousure</dc:creator><comments>https://news.ycombinator.com/item?id=40742256</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=40742256</guid></item></channel></rss>