<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: BlackFingolfin</title><link>https://news.ycombinator.com/user?id=BlackFingolfin</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sat, 24 Oct 2026 15:52:57 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=BlackFingolfin" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by BlackFingolfin in "A misalignment of AI in mathematics"]]></title><description><![CDATA[
<p>Who makes the tests? Who runs the tests? And who evaluates that the tests have meaning? As long as it is the AI, or you (with your self-admitted limited experience), how can you be sure it is meaningful?</p>
]]></description><pubDate>Sat, 12 Sep 2026 09:24:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=49670576</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=49670576</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49670576</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "Claude Opus 5"]]></title><description><![CDATA[
<p>> at a fraction of the cost<p>We'll see about that, long term. The billions and trillions being wasted right now to get the foot in the door need to be earned back somehow at some point...<p>"Nice company you have there, totally reliant on our AI tech. Oh by the way we gotta increase the rent again."</p>
]]></description><pubDate>Sat, 25 Jul 2026 08:58:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=49045839</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=49045839</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49045839</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample"]]></title><description><![CDATA[
<p>I am a research mathematician. In my field (abstract algebra, computational group theory), a sum or some such notation is like the most trivial of trivial things in terms of notation. There are a few things like sums that could in theory be made to "look more like what a computer programmer would expect", but that'd be just a tiny corner of it.<p>And if you think about how summation would look in Lisp or APL (which some smart people use to this day), I am not even convinced your argument for the "sum function" notation being superior holds in general.</p>
]]></description><pubDate>Wed, 22 Jul 2026 22:15:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=49014202</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=49014202</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49014202</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "“We have information that Moonshot distilled Fable for the development of K3”"]]></title><description><![CDATA[
<p>This is almost funny to me, because in many jurisdictions, software companies sure invested a <i>lot</i> of effort into painting people copying software as <i>thieves</i>. In Germany, they (the software producer lobby, and later politicians influence by the former) even coined and spread the term "Raubkopie", which you could roughly translate as "robbed copy", i.e., that's one step worse than "theft", as a robbery in Germany legally means "    theft accomplished by force or intimidation". So, yeah: like putting a knife to the throat of someone while you copy the software.<p>So, after literally decades of investing into advertising campaigns, lobbying to politicians to pass harsher and harsher laws against software "thieves and robbers", now that big tech are doing it, suddenly we are supposed to consider it with more nuance?<p>Ahhh... no thank you sir. I really enjoy them drinking their own kool-aid.</p>
]]></description><pubDate>Wed, 22 Jul 2026 21:53:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=49013977</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=49013977</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49013977</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "Your 'app' could have been a webpage (so I fixed it for you)"]]></title><description><![CDATA[
<p>Not sure what you are talking about (is this sarcasm?), but on iOS,  Safari allows you to add any website as an item to your home screen. I am pretty sure Android has a similar feature.</p>
]]></description><pubDate>Wed, 15 Jul 2026 06:46:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=48917109</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=48917109</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48917109</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "An update on GitHub availability"]]></title><description><![CDATA[
<p>If the numbers were all that is wrong, that'd be OK. But it fails to list all data -- so the only way to navigate to the missing PRs is to know their number, and manually inserting the right URL (or to go to another PR, and then edit the URL in the navigation).<p>Sorry, but I don't think there is any way this can be classified as "not actually a bug"</p>
]]></description><pubDate>Tue, 28 Apr 2026 12:08:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=47933365</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=47933365</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47933365</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "An update on GitHub availability"]]></title><description><![CDATA[
<p>GitHub stability has been bad for me. And recently even the data they show me in the web has been unreliably.<p>Since yesterday, me and several colleagues noticed that the pull request lists on the website are incomplete, across many repositories. For example, on <a href="https://github.com/gap-system/gap/pulls" rel="nofollow">https://github.com/gap-system/gap/pulls</a> it says "Pull requests 78" in the "tab list", but the PR list view reports "35 open" (the number 78 is correct, and confirmed by e.g. `gh pr list`)<p>And that despite <<a href="https://www.githubstatus.com" rel="nofollow">https://www.githubstatus.com</a>> reporting "all systems operational".</p>
]]></description><pubDate>Tue, 28 Apr 2026 11:34:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=47933019</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=47933019</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47933019</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "Issue links now open in a popup"]]></title><description><![CDATA[
<p>which is also driving me nuts because it frequently fails to update the issue and PR counts when I close issues or PRs. Only a hard reload, or closing the tab and opening a new new one, fixes it.</p>
]]></description><pubDate>Sun, 26 Apr 2026 20:10:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=47913742</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=47913742</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47913742</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "Mathematics is hard for mathematicians to understand too"]]></title><description><![CDATA[
<p>I find it strange to compare "math" with <i>one</i> programming language. Mathematics is a huge and diverse field, with many subcommunities and hence also differing notation.<p>Your rant would be akin to this if the sides are reversed: "It's surprising how many different ways there are to describe the same thing. Eg: see all the notations for dictionaries (hash tables? associative arrays? maps?) or lists (vectors? arrays?).<p>You don't have "the manual" of programming languages. 
"</p>
]]></description><pubDate>Wed, 03 Dec 2025 12:11:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=46133595</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=46133595</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46133595</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "Typst's Math Mode Problem"]]></title><description><![CDATA[
<p>For me one is that one can write `for i = 1:3` is one when `=` means assignment otherwise (at least `for i in 1:3` is available.</p>
]]></description><pubDate>Sat, 01 Nov 2025 07:58:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=45779957</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=45779957</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45779957</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "Think of a Number"]]></title><description><![CDATA[
<p>A follow up post is at <a href="https://xenaproject.wordpress.com/2025/03/16/think-of-a-number-an-update/" rel="nofollow">https://xenaproject.wordpress.com/2025/03/16/think-of-a-numb...</a></p>
]]></description><pubDate>Wed, 18 Jun 2025 17:03:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=44311565</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=44311565</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44311565</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "I use zip bombs to protect my server"]]></title><description><![CDATA[
<p>And sometimes one man's terrorist is another's freedom fighter.... (Not to defend terrorism, but it's just not that simple)</p>
]]></description><pubDate>Tue, 29 Apr 2025 20:20:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=43837583</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=43837583</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43837583</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "The exceptional Jordan algebra (2020)"]]></title><description><![CDATA[
<p>Actually in math parlance, the <i>map</i> G \to GL(V) is the <i>representation</i> while V is the underlying <i>module</i>, and yeah its elements are vectors.</p>
]]></description><pubDate>Thu, 20 Mar 2025 05:47:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=43420173</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=43420173</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43420173</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "Tj-actions/changed-files GitHub Action Compromised – used by over 23K repos"]]></title><description><![CDATA[
<p>No you literally can (and the attackers did) change version 44 (the tag for it) to point to a different compromised commmit</p>
]]></description><pubDate>Sat, 15 Mar 2025 20:15:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=43374891</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=43374891</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43374891</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "After 20 years, math couple solves major group theory problem"]]></title><description><![CDATA[
<p>> Nobody bothers explaining why the primes are spaced like they are<p>I take it that means you also haven't taken (m)any number theory classes then ;-). Because people <i>wildly</i> care about that.<p>This is in a sense the background of another well-known conjecture, the Riemann conjecture...</p>
]]></description><pubDate>Thu, 20 Feb 2025 21:50:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=43120743</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=43120743</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43120743</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "I Met Paul Graham Once"]]></title><description><![CDATA[
<p>Which robber baron do you consider to be responsible for curing polio?</p>
]]></description><pubDate>Tue, 21 Jan 2025 07:18:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=42777385</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=42777385</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42777385</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "Meta scrapped factcheckers because systems were 'too complex'"]]></title><description><![CDATA[
<p>Marc Zuckerberg being popular is not the same as his platform being popular.</p>
]]></description><pubDate>Wed, 08 Jan 2025 13:16:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=42633856</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=42633856</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42633856</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "1/0 = 0 (2018)"]]></title><description><![CDATA[
<p>I am a professor for algebra at a research university. I make a point out of teaching my students that `a/b` is NOT the same as multiplying `a` by the multiplicative inverse of `b`.<p>The standard example is that we have a well-defined and useful notion of division in the ring Z/nZ for n any positive integer even in cases were we "divide" by an element that has no multiplicative inverse. Easy example:  take n=8  then you can "divide"  4+nZ by 2+nZ just fine (and in fact turn Z/nZ into a Euclidean ring), even though 2+nZ is not a unit, i.e. admits no multiplicative inverse.</p>
]]></description><pubDate>Mon, 02 Dec 2024 10:16:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=42294750</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=42294750</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42294750</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "Apple's mouse is so bad that Tim Cook prefers using a different brand for work"]]></title><description><![CDATA[
<p>Wow, what a clickbaity title. The article just states that Tim Cook prefers a different mouse than Apples's own Magic Mouse. Now that <i>might</i> be because he finds the Magic Mouse bad. Or just that he prefers the one he is using instead for whatever reason. Actually the article even mentions he sometimes uses the Magic Mouse, so it can't be all that bad in his estimation?<p>Granted, some people love to hate on the Magic Mouse. Perhaps it is bad (I also prefer different mice). I am happy to discuss it. But does it really have to be framed like that? This makes me want to skip over anything that site produces, I just can't take it serious.</p>
]]></description><pubDate>Sun, 17 Nov 2024 21:47:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=42167610</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=42167610</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42167610</guid></item><item><title><![CDATA[New comment by BlackFingolfin in "JPEG XL in iPhone 16 Pro Yields Incredible Results"]]></title><description><![CDATA[
<p>Chrome <i>removed</i> support for JPEG XL last year, see e.g. <a href="https://arstechnica.com/gadgets/2023/04/free-software-group-decries-google-dropping-space-saving-jpeg-xl-format/" rel="nofollow">https://arstechnica.com/gadgets/2023/04/free-software-group-...</a></p>
]]></description><pubDate>Thu, 24 Oct 2024 14:59:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=41936166</link><dc:creator>BlackFingolfin</dc:creator><comments>https://news.ycombinator.com/item?id=41936166</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=41936166</guid></item></channel></rss>