<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>Tue, 21 Jul 2026 21:03:27 +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 "China’s open-weights AI strategy is winning"]]></title><description><![CDATA[
<p>Yes, one might call these… evolutionary algorithms…</p>
]]></description><pubDate>Mon, 20 Jul 2026 22:58:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=48985940</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48985940</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48985940</guid></item><item><title><![CDATA[New comment by calf in "How to stop Claude from saying load-bearing"]]></title><description><![CDATA[
<p>I never said anything like that, but if you're making a simplistic appeal to information theory then I rest my case.</p>
]]></description><pubDate>Mon, 20 Jul 2026 03:48:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=48974151</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48974151</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48974151</guid></item><item><title><![CDATA[New comment by calf in "Mathematicians still don't know the fastest way to multiply numbers"]]></title><description><![CDATA[
<p>Jesus, I took 4 years of Electrical Engineering and at no point did any professor make this brilliant analogy. It would have helped many students, including myself.</p>
]]></description><pubDate>Sun, 19 Jul 2026 22:12:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=48972126</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48972126</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48972126</guid></item><item><title><![CDATA[New comment by calf in "How to stop Claude from saying load-bearing"]]></title><description><![CDATA[
<p>That's not fair. To most users this would not be an obvious thing to do, unlike software/scientific/analytic uses of LLMs.<p>So it's not a matter of inability but rather awareness and know-how.<p>Then secondly, humans learn to write intuitively and heuristically (for example "paragraphs should align sentence subjects with an identifiable flow of conceptual main characters/actors" is an entire chapter of expert writing advice traditionally taught at the undergrad level). The act and teaching the act are different beasts. The way to specify would have no objective, clear best practice to do so: Even an English teacher or a language expert would be challenged to come up with a concise list of instructions to set up an LLM to output something of sufficient quality.</p>
]]></description><pubDate>Tue, 14 Jul 2026 21:17:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=48913075</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48913075</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48913075</guid></item><item><title><![CDATA[New comment by calf in "Mechanistic interpretability researchers applying causality theory to LLMs"]]></title><description><![CDATA[
<p>One plausible reason I thought of that we may <i>not</i> understand neural nets is that by their nature their power grows with ever-more complex connections and weights.<p>So it is like the opposite of logical systems, in that the very design of neural net architecture is a mess of parameter "spaghetti code" which renders the entire thing a metaphorical encrypted black box. The more powerful an AI/AGI the more this would be the case, and this is analogous a complexity curve.<p>And so any effort to make sense of such black box computation would be like trying to reverse entropy, analogous to trying to recover information lost in waste heat. And that could be one fundamental barrier to understanding both human and artificial brains alike, relative to their internal complexity.<p>(Just thinking aloud my handwavy pet theory recently, I am not an expert and could be totally mistaken on this)</p>
]]></description><pubDate>Sun, 12 Jul 2026 19:44:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=48884005</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48884005</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48884005</guid></item><item><title><![CDATA[New comment by calf in "Apple sues OpenAI, accuses ex-employees of stealing trade secrets"]]></title><description><![CDATA[
<p>No it's because they think they're saving the world.</p>
]]></description><pubDate>Sat, 11 Jul 2026 04:08:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=48868635</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48868635</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48868635</guid></item><item><title><![CDATA[New comment by calf in "GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]"]]></title><description><![CDATA[
<p>Is this what the prompt means by proof strength gap, or is that something else entirely? (Sorry not a mathematician.)</p>
]]></description><pubDate>Fri, 10 Jul 2026 23:33:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=48866728</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48866728</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48866728</guid></item><item><title><![CDATA[New comment by calf in "The revenge of the philosophy majors"]]></title><description><![CDATA[
<p>Your comment is clever but plainly unkind. If you truly care about philosophy you would say something more constructive. It is in no comparison to my explicit criticisms, whatever you may disagree with about them.<p>My general opinion is the same: saying "philosophy > math", and variations thereof, is generally an uneducated, absurd, stupid, unwise comment. I won't mince words with that. Nor am I being paid to write a proper article as to why such a view is deeply misled. It's an online forum.</p>
]]></description><pubDate>Wed, 08 Jul 2026 12:39:30 +0000</pubDate><link>https://news.ycombinator.com/item?id=48831172</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48831172</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48831172</guid></item><item><title><![CDATA[New comment by calf in "The revenge of the philosophy majors"]]></title><description><![CDATA[
<p>I'm not going to waste my brain cells trying to prove a negative that my comment doesn't have fallacies, but I will say that I meant every word of what I wrote <i>while on my phone commenting casually in an online forum, not for a research paper</i> and perhaps what is more likely is that you don't realize that commonsense context and/or have not fathomed / fill-in-the-blanks as to actual valid reasons as to why I said those things that to you seem to be fallacies.<p>For example if you knew about STEM-elitism, it is not many mental steps to "philosophy-elitism" of the sort of sentiment "Philosophy >_hard Math". Why exactly does omitting this explication make my opinion a fallacy? It doesn't. It's an online forum with people handwaving their opinions, just as the people above me were <i>already doing</i>.</p>
]]></description><pubDate>Wed, 08 Jul 2026 12:22:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=48831011</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48831011</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48831011</guid></item><item><title><![CDATA[New comment by calf in "The revenge of the philosophy majors"]]></title><description><![CDATA[
<p>Why is refusal to carefully and patiently explain the wrongness of prestige theater, "physics envy"-type conversations an example of not being well-versed in philosophy?</p>
]]></description><pubDate>Wed, 08 Jul 2026 10:54:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=48830309</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48830309</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48830309</guid></item><item><title><![CDATA[New comment by calf in "The revenge of the philosophy majors"]]></title><description><![CDATA[
<p>1. I never claimed philosophy was easier. The previous commenter blankly claimed the opposite <i>on the basis that they are a teacher</i>. I am making a simple meta-observation that if they get to do that, then I get to claim I was literally born with philosophical tendencies in that such an ad hominem is entirely transparent except to the teacher. This argument itself is an example of rigorous, critical argumentation. If they get to use an ad hominem, then they break the rules of good faith argumentation, hence the whole illustrative point about people having philosophical personality traits.<p>2. The fact that you completely failed to read this exchange context carefully, such casual prejudice toward the argument from authority ("I am a teacher, take it from me, philosophy > math blah blah blah"), also raises doubt in the quality of actually existing philosophy education. It is a lot more like court philosopher behavior than any regard for close reading and actual research-level rigor.<p>3a. There's an objective, rational argument as to why philosophy is "hard" (emphasis on the quotes). A lot of it has to do with the fact that it is about speculatively complex questions. See for example Noam Chomsky's elaboration on this, he generally philosophy as a field as having deflationary characteristic in relation to scientific progress.<p>3b. What this also means is that "hardness" is not a good measure at all of a human discipline being actually a good discipline--astrology can also be very "hard", so can Derrida, etc. Simply writing a good piece of fiction is also cognitively hard. But where is this nuance, I ask you, in the OP comments? I do not see it. Where is the impact of philosophy, then?<p>All of these ought to part and parcel of students who actually learned philosophy well. The fact that multiple top comments do not evince this level of learning, at least on a tech social media forum, says a lot and it should trouble you.<p>(Having written all this, I think there is a further elaboration on 3a that makes the question/issue much more interesting, but it does not excuse the attitude of philosophy-chauvinism which is well known as  thing in academia, analogous to how math/physics has their share of hardness chauvinists over other disciplines, ad infinitum.)</p>
]]></description><pubDate>Wed, 08 Jul 2026 10:04:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=48829970</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48829970</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48829970</guid></item><item><title><![CDATA[New comment by calf in "The revenge of the philosophy majors"]]></title><description><![CDATA[
<p>As a counterargument, it is a bad degree if philosophy led you to jump a foregone conclusion that "AI will surely render knowledge specialization by humans useless".<p>It is literally very badly taught if four years of such an undergrad degree program creates such students with lack of technical background to evaluate AI. It is like vibe coding except the soft sciences departments were already doing it all along. And I suspect it is part of the way philosophy as a program has to work, it is essentially pre-scientific so students that specialize in philosophy, of either the analytic or continental kind, don't actually do enough scientific research and/or some kind of real-world moral and social testing to balance that out. In that sense philosophy as an institution is medieval and for society to go back to that way due to AI would be an intellectual regression.<p>Basically the mistake here was to conflate the purpose of the university with philosophy, they are very different things. A philosocratic university would be incredibly problematic for humanity. Truth and knowledge in isolation, under a philosophical quarantine, was precisely one of things that thinkers of the scientific revolution like Noam Chomsky warned against.</p>
]]></description><pubDate>Tue, 07 Jul 2026 22:02:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=48824555</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48824555</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48824555</guid></item><item><title><![CDATA[New comment by calf in "The revenge of the philosophy majors"]]></title><description><![CDATA[
<p>I was born a philosopher, people were telling me to study philosophy when I was in high school. But instead my formal education choices took a more circuitous route that included the fine arts, physics, electrical engineering, computer engineering, and eventually theoretical computer science.<p>However even I can see that philosophy as a field is flawed and generic advice to tell students to go philosophy is incredibly problematic. As someone with philosophical tendencies this is incredibly obvious to me but and I must suggest that those who keep endorsing philosophy as a professional discipline for "success reasons" are putting forth a deeply prejudiced argument due to certain blinders.<p>For example as soon as you claimed "philosophy is harder than math", then I cannot take this line of argument seriously. The entire statement is a bad and unphilosophical statement. Anyone with an <i>intuition</i> for good philosophy, who is well read and has the wisdom of life experience, who is scientifically literate, should have known that before saying it. It actually offends me. It is intellectually insulting.</p>
]]></description><pubDate>Tue, 07 Jul 2026 21:31:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=48824133</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48824133</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48824133</guid></item><item><title><![CDATA[New comment by calf in "The revenge of the philosophy majors"]]></title><description><![CDATA[
<p>But then how is analytic philosophy a philosophy.</p>
]]></description><pubDate>Tue, 07 Jul 2026 17:51:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=48821176</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48821176</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48821176</guid></item><item><title><![CDATA[New comment by calf in "Markets are competitive if and only if P != NP"]]></title><description><![CDATA[
<p>Sorry, what's the significance of finiteness? The upper bound on an NFA is exponential steps of state transition splitting, thus P ⊆ NP ⊆ EXP, the class of exponential time algorithms.</p>
]]></description><pubDate>Sat, 04 Jul 2026 12:02:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=48784787</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48784787</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48784787</guid></item><item><title><![CDATA[New comment by calf in "Global review confirms mRNA vaccines are safe, effective and full of promise "]]></title><description><![CDATA[
<p>You are being too patient. Reading this, just look at their contradictory behavior, one one hand they thrice called you lazy, curious, and upset (all ad hominems, attacks on motive), meanwhile they outwardly frame themselves as a steward of science institutional literacy/legitimacy and passive-aggressively "shoulding" everyone else, twisting that expressing any critique is just failing to use "information". There's two reasons someone will act this way, either they are afraid of the antivaxxers (certainly, a serious problem) and think a hostile approach works (it does not), or they have vested interests in the current institutional/bureaucratic order -- which goes back to the problem you were trying to point out. It's the 21st century version of scientism.</p>
]]></description><pubDate>Thu, 02 Jul 2026 23:50:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=48768910</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48768910</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48768910</guid></item><item><title><![CDATA[New comment by calf in "Most arguments are about ego, not ideas"]]></title><description><![CDATA[
<p>Well that's the basis of rationalism. Many important truths don't depend on the details of someone's state or someone's life history. To require it is to commit an ad hominem and destroys rationalism.<p>For example whether to drink alcohol is entirely unsafe at any level, according to the WHO. Expressing this as common knowledge is a counterexample of the popular heuristic to "listen to people's context".<p>Communicative empathy is still a heuristic, it is not an absolute rule. There are times when the message really is more important than how it is being conveyed. And actually people who run out of spoons know that all too well.</p>
]]></description><pubDate>Thu, 02 Jul 2026 20:12:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=48766730</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48766730</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48766730</guid></item><item><title><![CDATA[New comment by calf in "Most arguments are about ego, not ideas"]]></title><description><![CDATA[
<p>Why can't it be the other way around, you don't know that I am out of spoons too and rather than talk about why I am out spoons I should not be expected to validate other people's vibes or spoonfeed them... And so forth.<p>As an exhausted person the issue is not being given advice. It is being given wrong, ignorant, or inappropriate advice.</p>
]]></description><pubDate>Wed, 01 Jul 2026 19:28:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=48751938</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48751938</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48751938</guid></item><item><title><![CDATA[New comment by calf in "You Don't Know Jack About Formal Verification"]]></title><description><![CDATA[
<p>I don't understand your argument,  why precisely is contemporary app development thought to be so simple that it is not even worth thorough property testing, let alone FV? Isn't that attitude (on the part of the industry as a whole) a type of self-fulfilling prophecy?</p>
]]></description><pubDate>Mon, 29 Jun 2026 22:30:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=48726191</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48726191</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48726191</guid></item><item><title><![CDATA[New comment by calf in "Making Sense of Proof by Contradiction [pdf]"]]></title><description><![CDATA[
<p>See, that's the thing. If you are saying Law of Excluded Middle matters for justification of using proof by contradiction, then we are suddenly really talking about the justification or not of classical versus non classical logics. That's kind of the author's point in the last paragraph of his article, that there's a metamathematical thing going on even if the student cannot quite articulate it. The real problem is not LEM's place in propositional logic but the cognitive move of hypothetical reasoning. Even the article leaves the question open ended.<p>To make this less abstract, note that in your own example you used a proof by contradiction to justify the technique of proof by contradiction. That is inherently problematic.</p>
]]></description><pubDate>Sat, 27 Jun 2026 07:43:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=48696086</link><dc:creator>calf</dc:creator><comments>https://news.ycombinator.com/item?id=48696086</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48696086</guid></item></channel></rss>