<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: sukilot</title><link>https://news.ycombinator.com/user?id=sukilot</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sun, 30 Aug 2026 11:08:10 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=sukilot" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by sukilot in "Conway Can Divide by Three, but I Can’t [pdf]"]]></title><description><![CDATA[
<p>I think this paper is refuting Conway (and others') proof of the claim that a set can be divided into 3+ parts without relying on the Axiom of Choice. It does so by observing that the proof only applies to sets that have an ordering, which is to say that there is an algorithm for picking an element from the set, which am extra constraint beyond having only a test for determining whether a known object  is an element is in the set. It then goes on to prove that it is not possible to evenly divide a set that lacks such a selection algorithm.<p>Or something like that.</p>
]]></description><pubDate>Sat, 23 Sep 2023 02:39:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=37620159</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=37620159</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=37620159</guid></item><item><title><![CDATA[New comment by sukilot in "Basics of Proofs (2017) [pdf]"]]></title><description><![CDATA[
<p>Formal logic is taught in Mathematical Logic class (intermediate, optional) or Discrete math (intro/intermediate, often not taken)<p>Geometry class in high school sometimes teaches some of it.<p>Computer science Binary logic teaches some of (De Morgan's laws)<p>Outside of New Math of the 1970s, it is a glaring omission from the curriculum.<p>Even enriched classes like Art of Problem Solving that put heavy emphasis on proofs, do not teach formal logic.</p>
]]></description><pubDate>Sat, 17 Jun 2023 21:07:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=36374611</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=36374611</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36374611</guid></item><item><title><![CDATA[New comment by sukilot in "A Mechanistic Interpretability Analysis of Grokking"]]></title><description><![CDATA[
<p>Implemented addition via:<p><pre><code>      cos(wx) sin (wy) + sin(wx) cos(wy)

</code></pre>
But how did it compute <i>that</i> intermediate addition?</p>
]]></description><pubDate>Wed, 31 May 2023 00:41:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=36133139</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=36133139</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36133139</guid></item><item><title><![CDATA[New comment by sukilot in "New Playground: Memory Spy"]]></title><description><![CDATA[
<p>Looks nice, but would benefit from longer examples (10+ lines) to really get a feel for things.</p>
]]></description><pubDate>Thu, 25 May 2023 22:56:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=36077516</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=36077516</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36077516</guid></item><item><title><![CDATA[New comment by sukilot in "Is infinity an odd or even number? (2011)"]]></title><description><![CDATA[
<p>I suggest you reread the OP and ask questions, because you seem to have overlooked  some of the ideas explained therein, such as transfinite ordinals.</p>
]]></description><pubDate>Tue, 02 May 2023 14:15:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=35787763</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=35787763</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=35787763</guid></item><item><title><![CDATA[New comment by sukilot in "Paper map sales are booming"]]></title><description><![CDATA[
<p>A year of school is already dedicated to fractions.<p>Kids were bad at fractions even before digital clocks.</p>
]]></description><pubDate>Tue, 24 Jan 2023 01:46:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=34497992</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=34497992</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34497992</guid></item><item><title><![CDATA[New comment by sukilot in "The Lab Leak Hypothesis"]]></title><description><![CDATA[
<p>Your China article is from 2004. China's regime's ability to control media and its residents is stronger now than then, and the people in charge are more insecure and defensive. That may be enough to explain the change in PR strategy.<p>Alternatively, past leaks simply weren't bad enough to embarrass the State and could be blamed on local officials. This one got so big so fast that a more defensive posture was required.</p>
]]></description><pubDate>Tue, 05 Jan 2021 02:05:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=25641158</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=25641158</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25641158</guid></item><item><title><![CDATA[New comment by sukilot in "The Lab Leak Hypothesis"]]></title><description><![CDATA[
<p>Nature.com says:<p>> Editors’ note, March 2020: We are aware that this story is being used as the basis for unverified theories that the novel coronavirus causing COVID-19 was engineered. There is no evidence that this is true; scientists believe that an animal is the most likely source of the coronavirus.<p>which seems to be unscientific editorializing. There is some evidence, as presented in the OP for example, and there is "no evidence" for any other origin theory either.
And the Chinese government in Wuhan showed from the start with Li Wenliang's experience, that any evidence that pointed to imperfect competence in Wuhan would be destroyed by the totalitarian government.</p>
]]></description><pubDate>Tue, 05 Jan 2021 02:01:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=25641133</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=25641133</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25641133</guid></item><item><title><![CDATA[New comment by sukilot in "Why can’t you buy a good webcam?"]]></title><description><![CDATA[
<p>What's one such phone?<p>I've never seen a <$300 Moto phone match a $100 Logitech webcam.</p>
]]></description><pubDate>Tue, 22 Dec 2020 16:11:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=25507709</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=25507709</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25507709</guid></item><item><title><![CDATA[New comment by sukilot in "Tillis Releases Text of Bipartisan Legislation to Fight Illegal Streaming"]]></title><description><![CDATA[
<p>Netflix is draining of quality content and people still pirate memberships. Not a good example.<p>If Netflix was working so well, all those other services wouldn't exist, because they'd have no customers.<p>You undermine your own argument by saying<p>>  Piracy is not a price problem, it's a service problem<p>and then say<p>> for free.</p>
]]></description><pubDate>Tue, 22 Dec 2020 16:06:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=25507640</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=25507640</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25507640</guid></item><item><title><![CDATA[New comment by sukilot in "Tillis Releases Text of Bipartisan Legislation to Fight Illegal Streaming"]]></title><description><![CDATA[
<p>It's just circular logic to fallaciously justify itself. "criminal organization" == "Any group of >1 person who breaks this law".
The term isn't in the text of the law itself.</p>
]]></description><pubDate>Tue, 22 Dec 2020 16:04:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=25507628</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=25507628</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25507628</guid></item><item><title><![CDATA[New comment by sukilot in "Tillis Releases Text of Bipartisan Legislation to Fight Illegal Streaming"]]></title><description><![CDATA[
<p>All you have to do is not make copies of content the creators don't want to give to you.<p>It costs you nothing to not infringe.<p>Do you also want to live in a society without personal property? Can I come to your home to borrow anything you aren't using at the moment?</p>
]]></description><pubDate>Tue, 22 Dec 2020 16:02:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=25507601</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=25507601</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25507601</guid></item><item><title><![CDATA[New comment by sukilot in "Tillis Releases Text of Bipartisan Legislation to Fight Illegal Streaming"]]></title><description><![CDATA[
<p>>  personally instigating legal action on millions of others<p>how so?</p>
]]></description><pubDate>Tue, 22 Dec 2020 16:00:59 +0000</pubDate><link>https://news.ycombinator.com/item?id=25507585</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=25507585</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25507585</guid></item><item><title><![CDATA[New comment by sukilot in "Tillis Releases Text of Bipartisan Legislation to Fight Illegal Streaming"]]></title><description><![CDATA[
<p>The vast majority of content creators disagree.</p>
]]></description><pubDate>Tue, 22 Dec 2020 15:58:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=25507558</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=25507558</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25507558</guid></item><item><title><![CDATA[New comment by sukilot in "Tillis Releases Text of Bipartisan Legislation to Fight Illegal Streaming"]]></title><description><![CDATA[
<p>"someone else's" is a view of property rights that not all hold.<p>"profiteering" (vs just covering costs) assumes facts not in evidence.</p>
]]></description><pubDate>Tue, 22 Dec 2020 15:55:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=25507517</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=25507517</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25507517</guid></item><item><title><![CDATA[New comment by sukilot in "Tillis Releases Text of Bipartisan Legislation to Fight Illegal Streaming"]]></title><description><![CDATA[
<p>This is an alternate angle, which allows prosecution without trying to count how many copies were streamed.</p>
]]></description><pubDate>Tue, 22 Dec 2020 15:54:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=25507503</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=25507503</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25507503</guid></item><item><title><![CDATA[New comment by sukilot in "Fuzzy logic rice cookers (2016)"]]></title><description><![CDATA[
<p>Is every program with variables a "fuzzy logic" program?<p>Is my thermostat a fuzzy-logic air conditioner?</p>
]]></description><pubDate>Mon, 21 Dec 2020 23:37:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=25501090</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=25501090</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25501090</guid></item><item><title><![CDATA[New comment by sukilot in "US Postal Service data suggests significant population decline in San Francisco"]]></title><description><![CDATA[
<p>> I honestly think migration out of cities will not make areas more blue, but will generally increase the conservative population in the US.<p>It's most likely that <i>both</i> will happen, thanks to Simpsons paradox: The area with immigration shifts toward the newcomers (since they aren't going to be MORE provincial than the natives, even if they partly convert), while also shifting the political power from the urban emigration are to the immigration area.</p>
]]></description><pubDate>Tue, 17 Nov 2020 20:09:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=25129033</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=25129033</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25129033</guid></item><item><title><![CDATA[New comment by sukilot in "US Postal Service data suggests significant population decline in San Francisco"]]></title><description><![CDATA[
<p>San Francisco population decimated -- succinct, correct, but sounds shocking.</p>
]]></description><pubDate>Tue, 17 Nov 2020 20:04:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=25128962</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=25128962</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25128962</guid></item><item><title><![CDATA[New comment by sukilot in "McDonald's is adding plant-based burgers to the menu"]]></title><description><![CDATA[
<p>It's essentially impossible to avoid eating sufficient essential amino acids</p>
]]></description><pubDate>Tue, 10 Nov 2020 00:33:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=25041667</link><dc:creator>sukilot</dc:creator><comments>https://news.ycombinator.com/item?id=25041667</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25041667</guid></item></channel></rss>