<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: calf</title><link>https://news.ycombinator.com/user?id=calf</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sun, 15 Nov 2026 08:58:31 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=calf" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by calf in "AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems"]]></title><description><![CDATA[
<p>Article also mentions his notes were a few months work away from proving independence of CH decades before Cohen's result in 1963.</p>
]]></description><pubDate>Fri, 13 Nov 2026 20:15:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=50489033</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50489033</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50489033</guid></item><item><title><![CDATA[New comment by calf in "Nvidia employees petition to bring back Jensen Huang"]]></title><description><![CDATA[
<p>This is all ideological pablum, the employees trust Jensen more than they trust the board, evidently. So by that logic the board should go.</p>
]]></description><pubDate>Fri, 13 Nov 2026 17:56:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=50487192</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50487192</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50487192</guid></item><item><title><![CDATA[New comment by calf in "Nvidia employees petition to bring back Jensen Huang"]]></title><description><![CDATA[
<p>It's an out of proportion distraction and shows how the vast majority of normal people are ideologically beholden to technofeudalist ideas of social relations. It's really the perfect ragebait issue.</p>
]]></description><pubDate>Fri, 13 Nov 2026 06:08:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=50479026</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50479026</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50479026</guid></item><item><title><![CDATA[New comment by calf in "Nvidia employees petition to bring back Jensen Huang"]]></title><description><![CDATA[
<p>This is obvious to someone who has internalized the norms of neoliberal capitalism and corporate policy. With a little critical thinking one can easily imagine philosophically that these forbidden transgressions are a kind of socially reproductive circular logic.</p>
]]></description><pubDate>Fri, 13 Nov 2026 06:06:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=50479000</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50479000</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50479000</guid></item><item><title><![CDATA[New comment by calf in "Jensen Huang resigns"]]></title><description><![CDATA[
<p>It's really not and even now most of you never heard the psychological concept of situational structural crime. Literally the idea that people otherwise normal can get incentivized to do dubious things because of the particular system they are put into.<p>A lot of the attribution bias has been one direction when in reality it's bidirectional. More people should study actual psych ideas and not rely on  generalizations based on their own limited perspective.</p>
]]></description><pubDate>Fri, 13 Nov 2026 01:59:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=50477124</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50477124</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50477124</guid></item><item><title><![CDATA[New comment by calf in "Jensen Huang resigns"]]></title><description><![CDATA[
<p>You're missing the point of the commenter which is that neoliberal social order confounds the empirical evidence. The framing of "x approach is better for a company's success" is a non-question, it is beside the point. Distribution of power "under neoliberalism" is a self contradictory model.<p>You don't have to agree with leftists but ignoring the premise just lets you talk past the point.</p>
]]></description><pubDate>Thu, 12 Nov 2026 20:14:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=50473503</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50473503</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50473503</guid></item><item><title><![CDATA[New comment by calf in "Nvidia is preparing to oust Jensen Huang"]]></title><description><![CDATA[
<p>Why should we assume corporate codes are morally just though? I do not. In fact I would argue this is evidence that company codes are in a general sense draconian and/or disconnected from social reality under capitalism, etc.</p>
]]></description><pubDate>Thu, 12 Nov 2026 11:41:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=50465790</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50465790</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50465790</guid></item><item><title><![CDATA[New comment by calf in "Silicon Valley Promises AI Will Cure Disease. Drugmaker CEOs Aren't Buying It"]]></title><description><![CDATA[
<p>This is so wrong I can't even begin to unpack this.<p>Mathematics and proof is the basis of scientific reasoning. The proof of concept that AI can automate such a nontrivial part of human analysis is the further application of these computational capabilities to the scientific method, of which math, reason, and logic are the foundations.<p>They are not two ball games. That is why actual scientists are seeing the cards. Go read any essay last month written by physicists. Let alone mathematicians. The entire tower of Babel is at stake and many serious scientists (academics, not the industry ones) are keenly aware. This is entirely separate from hype and slop which are also a very real problem--also, it is not the contradiction that lay arguments simplistically and incorrectly frame it as.<p>Example: you assert data and simulations are needed. Who do you think designs and obtains those things? Human beings. Now imagine an AI with the power of solving Navier-Stokes, a generic AI able to iterate on the very framework where those things are obtained. That would be the scale where progress will happen. It is basically another argument for a type of RSI. I don't know about you but this ought to be terrifying and amazing at once.</p>
]]></description><pubDate>Sun, 08 Nov 2026 19:21:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=50416180</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50416180</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50416180</guid></item><item><title><![CDATA[New comment by calf in "Silicon Valley Promises AI Will Cure Disease. Drugmaker CEOs Aren't Buying It"]]></title><description><![CDATA[
<p>Drugmaker CEOs opinions are irrelevant, last month the mathematicians saw it and understood it, what AI is for better and worse, and now scientists are just waiting for the other shoe to drop. It will be a mix of hype and revolution, dismissing the former does not mean being blind to the latter.<p>update: I really love that within 2 minutes the response to a genuine comment is to downvote/deplatform it, how inimical to rational disagreement and fragile pseudointellectualism our (supposedly STEM) community has become.</p>
]]></description><pubDate>Sun, 08 Nov 2026 19:11:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=50416073</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50416073</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50416073</guid></item><item><title><![CDATA[New comment by calf in "Efficient algorithms, the Exponential Time Hypothesis, and losing the plot"]]></title><description><![CDATA[
<p>I hate to use absolutely but it absolutely does matter from an education perspective. To put things in perspective to a layperson explain to them this particular galactic theorem requires full search below some titanic |x|. That should prompt some excellent lay questions that a serious computer <i>scientist</i> ought to reckon with.<p>It is not to say the approach has been wrong (as the author strongly believes in his reframing) but that this clarity does matter for purposes of, ahem, mathematical understanding.</p>
]]></description><pubDate>Tue, 03 Nov 2026 09:05:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=50349701</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50349701</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50349701</guid></item><item><title><![CDATA[New comment by calf in "Efficient algorithms, the Exponential Time Hypothesis, and losing the plot"]]></title><description><![CDATA[
<p>I don't think the author's criticism of "Big-O Cabal" is very nuanced, but to the second half of the essay it is funny/concerning/sobering to find that the OpenAI proof is doing brute-force search for all instances below some super-astronomic threshold. It kind of buries the lede if the proof did not mention this clearly and the author has to comb through it to find out (I asked ChatGPT the same on the pdf file, but it came up with some other threshold number).</p>
]]></description><pubDate>Tue, 03 Nov 2026 07:34:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=50349143</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50349143</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50349143</guid></item><item><title><![CDATA[New comment by calf in "Egoless Mathematics in the AI Era"]]></title><description><![CDATA[
<p>See, any serious Platonist would point out your line of reasoning is incoherent, because the conceit contained within such an accusation just covertly satisfies your own ego through a clever meta-discursive rhetorical maneuver. And they would be right<p>The truth of the matter is somewhere else and if only people were actually a bit better rounded philosophically and politically they would not be rehashing such talking points on either side of the controversy.</p>
]]></description><pubDate>Tue, 03 Nov 2026 05:32:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=50348469</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50348469</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50348469</guid></item><item><title><![CDATA[New comment by calf in "Mathematics has changed. Let's act like it"]]></title><description><![CDATA[
<p>And the material conditions for this "great man" narrative is again the particular form of intellectual clerisy.<p>In other words, the move to <i>experience</i> and <i>cultural relativist</i> statements about "math culture" is exactly the cynical ideological move that an academic cleric does. It deflects from examination of where these narratives come from and attribute it to e.g. "math history" or "math culture" or just "something specific to math itself" etc, etc.<p>Neoliberal intellectuals love to attribute toxicity to the Enlightenment. They can't help it.</p>
]]></description><pubDate>Mon, 02 Nov 2026 06:39:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=50333773</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50333773</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50333773</guid></item><item><title><![CDATA[New comment by calf in "Mathematics has changed. Let's act like it"]]></title><description><![CDATA[
<p>It's inaccurate because nothing about math or CS is "existentially" toxic. Or "distinctly" as the other commenter.<p>If you accept that as a premise then obviously you agree with their truth.<p>If you don't accept toxicity as somehow intrinsic to the subject but rather the structural conditions, say, of post-neoliberalized academia at large, and certain faculties being only a bit more susceptible (if even, or just different, say compare humanities vs STEM reactions in the future), then the whole comment reads as a conflation.<p>Instead the simpler answer is that academia at large values freedom of inquiry and other Enlightenment notions which are privileged compared to outside of academia. But that is not toxicity, it's just intellectual integrity and the academic autonomy in pursuit of one's interests <i>avocationally</i>. The toxicity comes from the intellectual profession having to function as a modern clerisy for socioeconomic reasons under post-neoliberal capitalism.<p>People may conflate the two attributions and that is a deep mistake, in my opinion. In fact the conflation due to internalized oppression easily creates and explains this kind of resentful, dismissive tone response that is a distortion of the true situation.</p>
]]></description><pubDate>Mon, 02 Nov 2026 00:34:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=50331530</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50331530</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50331530</guid></item><item><title><![CDATA[New comment by calf in "Patrick Stewart has died"]]></title><description><![CDATA[
<p>Read JMS's eulogy for Koenig this week if you haven't already.</p>
]]></description><pubDate>Fri, 30 Oct 2026 04:10:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=50299784</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50299784</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50299784</guid></item><item><title><![CDATA[New comment by calf in "Patrick Stewart has died"]]></title><description><![CDATA[
<p>and Bester in Babylon 5, what a performance.</p>
]]></description><pubDate>Thu, 29 Oct 2026 21:44:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=50296529</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50296529</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50296529</guid></item><item><title><![CDATA[New comment by calf in "Patrick Stewart has died"]]></title><description><![CDATA[
<p>Mods obviously Star Wars people</p>
]]></description><pubDate>Thu, 29 Oct 2026 21:42:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=50296513</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50296513</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50296513</guid></item><item><title><![CDATA[New comment by calf in "Patrick Stewart has died"]]></title><description><![CDATA[
<p>Progressive neurological diseases suck. I would like to understand though since Stewart was filming up until this year? What was the time frame like, was it a more sudden onset or was he able to manage somewhat while continuing to film and work?</p>
]]></description><pubDate>Thu, 29 Oct 2026 20:02:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=50294968</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50294968</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50294968</guid></item><item><title><![CDATA[New comment by calf in "MacBook Pro with PROLED XDR Display and Touch"]]></title><description><![CDATA[
<p>Macs are highly recommended by people in the know, like people in computer science departments over the last decade, by HN commenters and specialty magazines, etc. Those are better signals than the superficial market picture you paint.<p>They are great devices but they cost more. So you would not see them "recommend" in those industries you cite. Also it is reductive to accuse Apple of marketing.<p>What's much more plausible is that despite being a great product it also costs more. Not marketing nor the fact of being a minority.<p>It's also weird because your argument disingenuously ignores the wealth of HN commentary in the past about how great the M-chip MacBooks are. It's like ignoring actual reasons and doing this kind of armchair technical market analysis to prove one's point. It's a troll intellectual move to attribute success to marketing and failure to "because it is unpopular". Seeing your other replies in this thread suggests a common pattern of bias, not a one-off.</p>
]]></description><pubDate>Thu, 29 Oct 2026 18:27:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=50293712</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50293712</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50293712</guid></item><item><title><![CDATA[New comment by calf in "MacBook Pro with PROLED XDR Display and Touch"]]></title><description><![CDATA[
<p>You must be trolling if half dozen replies in this thread you want me to think that Marvel films are better than art films because they have a bigger market share. This is not worthy of serious reply and it seems the problem is your worldview, not the merit of any argument about Apple.</p>
]]></description><pubDate>Thu, 29 Oct 2026 18:14:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=50293494</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=50293494</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50293494</guid></item></channel></rss>