<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: nahumfarchi</title><link>https://news.ycombinator.com/user?id=nahumfarchi</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 08 Oct 2026 17:54:03 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=nahumfarchi" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by nahumfarchi in "“Math 2.0” will need to value mathematical progress more holistically"]]></title><description><![CDATA[
<p>Perhaps mathematics was never about proving things? I know it sounds like moving the goal post, and it certainly was what motivated mathematicians on a day-to-day basis, but bear with me for a moment. I think that beyond being a creative activity that humans enjoy, math was about building new tools and systems of thought. Axiomizing things we take for granted, logic, linear algebra and calculus (on which modern LLMs rely so heavily) are such examples. People chose to participate in this field because they found it enjoyable and satisfying in some way. As a side effect, society reaped the benefits every couple of centuries. Will harvesting open problems with AI ever give us these things, or will we just be left laundry pile of Lean formalizations?</p>
]]></description><pubDate>Thu, 08 Oct 2026 11:55:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=50004750</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=50004750</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50004750</guid></item><item><title><![CDATA[New comment by nahumfarchi in "Amazon Is Pulling Support for Kindles from 2012 or Earlier"]]></title><description><![CDATA[
<p>It stopped charging and then died</p>
]]></description><pubDate>Wed, 15 Apr 2026 14:26:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=47779460</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=47779460</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47779460</guid></item><item><title><![CDATA[New comment by nahumfarchi in "Amazon Is Pulling Support for Kindles from 2012 or Earlier"]]></title><description><![CDATA[
<p>Any kindle device that I bought barely lasted more than a couple of years, so joke is on them I guess?</p>
]]></description><pubDate>Thu, 09 Apr 2026 17:03:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=47706215</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=47706215</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47706215</guid></item><item><title><![CDATA[New comment by nahumfarchi in "We gave terabytes of CI logs to an LLM"]]></title><description><![CDATA[
<p>Mathematically, it means that the number of lines read is bounded by 10*M, where M is some constant. So it's basically equivalent to saying that it's O(1).<p>I'm guessing that intention was to say "around 10 lines", though it kind of stretches the definition if we're being picky.</p>
]]></description><pubDate>Fri, 27 Feb 2026 18:59:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=47184194</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=47184194</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47184194</guid></item><item><title><![CDATA[New comment by nahumfarchi in "Palantir gets $10B contract from U.S. Army"]]></title><description><![CDATA[
<p>I don't get HN anymore. This  comment reflects a legitimate stance that's articulated just fine. Why is it grayed out?</p>
]]></description><pubDate>Fri, 01 Aug 2025 10:01:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=44754798</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=44754798</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44754798</guid></item><item><title><![CDATA[New comment by nahumfarchi in "‘No Other Land’ consultant Awdah Hathaleen killed by Israeli settler"]]></title><description><![CDATA[
<p>Sources?</p>
]]></description><pubDate>Wed, 30 Jul 2025 13:34:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=44733991</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=44733991</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44733991</guid></item><item><title><![CDATA[New comment by nahumfarchi in "Grok: Searching X for "From:Elonmusk (Israel or Palestine or Hamas or Gaza)""]]></title><description><![CDATA[
<p>The current government is in power by a small majority, meaning that it is strongly contested by about 50% of Israelis (on most matters). That means against settlements, for ending the war, and largely liberal views. But no, we won't put out head on a platter thank you very much.</p>
]]></description><pubDate>Fri, 11 Jul 2025 09:55:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=44530310</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=44530310</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44530310</guid></item><item><title><![CDATA[New comment by nahumfarchi in "Ask HN: What are you working on? (May 2025)"]]></title><description><![CDATA[
<p>A geometry processing library in the Odin language - <a href="https://github.com/nahumfarchi/odin-geometry">https://github.com/nahumfarchi/odin-geometry</a>.<p>Not much yet, it includes a basic half-edge implementation and a couple of small examples.</p>
]]></description><pubDate>Mon, 26 May 2025 04:33:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=44093999</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=44093999</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44093999</guid></item><item><title><![CDATA[New comment by nahumfarchi in "Interview with gwern"]]></title><description><![CDATA[
<p>Yes, all finite languages are regular.<p>Specifically, you can construct a finite automata to represent it.</p>
]]></description><pubDate>Thu, 14 Nov 2024 14:13:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=42136285</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=42136285</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42136285</guid></item><item><title><![CDATA[New comment by nahumfarchi in "Hezbollah pager explosions kill several people in Lebanon"]]></title><description><![CDATA[
<p>Their death is tragic, but such is war unfortunately... Lebanon is participating in this one whether they like to or not.<p>That aside, these definitions were written for a reason, even if they have no appeal to the current victims.</p>
]]></description><pubDate>Wed, 18 Sep 2024 16:46:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=41582232</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=41582232</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=41582232</guid></item><item><title><![CDATA[New comment by nahumfarchi in "Hezbollah pager explosions kill several people in Lebanon"]]></title><description><![CDATA[
<p>Proportionality is at the center of defining a war crime.<p>"The principle of proportionality (Article 51(5) (b) API) states that even if there is a clear military target it is not possible to attack it if the expected harm to civilians, or civilian property, is excessive in relation to the expected military advantage."<p><a href="https://www.diakonia.se/ihl/resources/international-humanitarian-law/ihl-principle-proportionality/" rel="nofollow">https://www.diakonia.se/ihl/resources/international-humanita...</a><p>So, the case that Israel has to make here is that the expected millitary advantage from the operation exceeds the collateral damage. The fact that civilians died doesn't automatically make it a war crime from an international law point of view.</p>
]]></description><pubDate>Wed, 18 Sep 2024 13:09:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=41579271</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=41579271</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=41579271</guid></item><item><title><![CDATA[New comment by nahumfarchi in "How much of a genius-level move was binary space partitioning in Doom? (2019)"]]></title><description><![CDATA[
<p>I would love to see a list of "oldies but goldies" in various fields. Wonder if you're aware of such a thing?</p>
]]></description><pubDate>Wed, 12 Jun 2024 07:08:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=40655419</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=40655419</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=40655419</guid></item><item><title><![CDATA[New comment by nahumfarchi in "Israel reportedly used fake social accounts to garner support from US lawmakers"]]></title><description><![CDATA[
<p>Nit: the Israeli government is in Jerusalem, not Tel Aviv.</p>
]]></description><pubDate>Wed, 05 Jun 2024 20:41:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=40590343</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=40590343</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=40590343</guid></item><item><title><![CDATA[New comment by nahumfarchi in "'Like we were lesser humans': Gaza boys, men recall Israeli arrest, torture"]]></title><description><![CDATA[
<p>His policy towards Hamas was one of containment and not making a decision, which is classic Netanyahu behavior. I don't know whether or not his biographies agree with this, but this is pretty much the consensus among Israelis. Again, I truly doubt that October 7th is what he was aiming for (happy to change my mind if there is evidence otherwise).</p>
]]></description><pubDate>Fri, 15 Dec 2023 13:06:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=38653761</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=38653761</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38653761</guid></item><item><title><![CDATA[New comment by nahumfarchi in "'Like we were lesser humans': Gaza boys, men recall Israeli arrest, torture"]]></title><description><![CDATA[
<p>> Similarly any talk of peace from the Israeli government is meaningless while settlement of the West Bank continues.<p>The same can be said of the terror attacks. I strongly agree that the settlements are an obstacle to peace and apologize if my comment came off as aggressive. But you have to realize that this is a deadlock. No Israeli leader can stop the settlements as long as there are terror attacks, and no Palestinian leader can stop the terror attacks as long as there are settlements. That is our tragedy I suppose.</p>
]]></description><pubDate>Fri, 15 Dec 2023 12:55:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=38653660</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=38653660</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38653660</guid></item><item><title><![CDATA[New comment by nahumfarchi in "'Like we were lesser humans': Gaza boys, men recall Israeli arrest, torture"]]></title><description><![CDATA[
<p>Sorry, but this adds nothing to the discussion. Yes, they were settlers (I don't think anyone in this sub-thread argued otherwise). Yes, they shouldn't have been there in the first place. And yet the Israeli government uprooted them at great pain for all involved (after encouraging them to settle there in the first place). Some interpret this as some grand political manuever intended to divide the Palestinians and make a diplomatic solution impossible. This is an odd assertion in my opinion since how could anyone have foreseen that Hamas would be voted into power and spiral us into more than a decade of war? I for one believe it was a gesture of good will (probably brought about by external pressure considering it was Ariel Sharon who led it, originally a strong pro-settlments politician), and an experiment to see what would happen if Israel returned land without an official agreement as all attempts at negotiations have failed at that point in time. The fact that this did not work has a lot to do with the choices made collectively by Palestinians at least as much as those made by Israelis. To say otherwise ignores their agency and freewill in these events.</p>
]]></description><pubDate>Fri, 15 Dec 2023 12:46:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=38653596</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=38653596</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38653596</guid></item><item><title><![CDATA[New comment by nahumfarchi in "First look at Microsoft 365 Copilot"]]></title><description><![CDATA[
<p>Excel is notoriously bad at that :)<p><a href="https://en.m.wikipedia.org/wiki/Leap_year_problem" rel="nofollow noreferrer">https://en.m.wikipedia.org/wiki/Leap_year_problem</a></p>
]]></description><pubDate>Fri, 15 Dec 2023 10:53:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=38652919</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=38652919</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38652919</guid></item><item><title><![CDATA[New comment by nahumfarchi in "'Like we were lesser humans': Gaza boys, men recall Israeli arrest, torture"]]></title><description><![CDATA[
<p>Civillians and those who do not want to take part in the fighting have been allowed to move south for their own safety while the IDF deals with the numerous underground tunnels from which Hamas operates. This is not an ethnic cleansing (though easy to portray it as one), and if they're not allowed to go back when this is over then I'm willing to put down my Israeli passport and call it quits (I will cerainly vote against any politician who makes such a suggestion).<p>The conflict is insignificant in the sense that hundreds of thousands have been killed and displaced in other conflicts raging in the middle east,  which has been largely ignored by the international community and the "ceasefire" crowd. Not to mention the fact that Hamas's ministry of health counts all deaths as civillians, while in truth a lot were probably combatants, and this is then treated as gospel by the international community. This is a major source of frustration among Israelis, and in my opinion an obstacle to having an honest discussion around this.<p>Regarding a one state solution - up to those living here. Currently, it doesn't seem to be a realistic solution, will probably be rejected by the majority, and will not end the fighting anyway.<p>Finally, regarding aid, Hamas received tons of money. It just chose to use it for military purposes instead of bettering the lives of their people. The tunnels alone cost an estimated 150$ million (or 200-300$ per meter). We can only imagine how much better life in Gaza would have been if this was spent otherwise.</p>
]]></description><pubDate>Fri, 15 Dec 2023 06:41:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=38651643</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=38651643</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38651643</guid></item><item><title><![CDATA[New comment by nahumfarchi in "'Like we were lesser humans': Gaza boys, men recall Israeli arrest, torture"]]></title><description><![CDATA[
<p>And you're ignoring the fact that our neighbors are hostile towards us and share a border with another country.</p>
]]></description><pubDate>Wed, 13 Dec 2023 06:22:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=38623401</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=38623401</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38623401</guid></item><item><title><![CDATA[New comment by nahumfarchi in "'Like we were lesser humans': Gaza boys, men recall Israeli arrest, torture"]]></title><description><![CDATA[
<p>In this certain case, it is. The aggressions (during this round) started on October 7th by Hamas. You can replace "defense" with "response" / "retaliation" / or "zionist agressions" if you're reading certain news sources. I will admit that the my background affected my word choice to some extent.<p>The history of this conflict is a lot more complex than the occupier/ occupied framing would imply. For one, there was a Jewish presence here for centuries, not to mention the ancient kingdom of Judea. But I find these discussions unconstructive usually since they seem to get into these "he hit me first" kind of arguments. I agree that a two state solution is what we should be striving for. Humans are creative, if the will was there, we would find a way to connect Gaza and the West Bank (tunnel/bridge/whatever), do some territory swaps as needed, divide Jerusalem, etc. The plans for this exist, it's the leadership that's failing (on both sides).</p>
]]></description><pubDate>Wed, 13 Dec 2023 01:16:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=38621364</link><dc:creator>nahumfarchi</dc:creator><comments>https://news.ycombinator.com/item?id=38621364</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38621364</guid></item></channel></rss>