<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: movpasd</title><link>https://news.ycombinator.com/user?id=movpasd</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Tue, 27 Oct 2026 22:12:39 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=movpasd" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by movpasd in "How big are factorials?"]]></title><description><![CDATA[
<p>Stirling's approximation is also used a lot in statistical mechanics, because you often have to calculate logs of state space sizes, which means lots of combinatorics and thus lots of factorials. Plus it's continuous so you can do calculus.</p>
]]></description><pubDate>Wed, 16 Sep 2026 14:32:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=49727662</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=49727662</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49727662</guid></item><item><title><![CDATA[New comment by movpasd in "How well do agents use test/verification techniques?"]]></title><description><![CDATA[
<p>This is significantly more thorough than any testing I've done, and in a totally different domain, but my anecdotal experience getting agents to use Hypothesis was quite poor.<p>The agent really, really struggled to bridge the gap between the code and the actual business rules it was meant to be modelling. It also struggled to work out which functions at which layer were appropriate to write tests for. So, its tests tended to be very brittle to changes to domain logic.<p>Essentially, agents have always seemed to struggle with modularity and problem decomposition. Good testing is about finding the right things to test, which means working out how to subdivide the input state into an appropriate product state, and checking each behaviour independently. IMO, this is the most difficult and complicated thing about programming, so I won't say it struggled _more_ than a human would --- but humans have the advantage of being able to sleep on it?<p>One minor thing I observed was that it tended to get really hung up on floating point edge cases (NaNs, infinities). Maybe floating point edge cases are over-represented in the property-testing training data, but it's essentially irrelevant for my usecase, at least as far as the business rules go.</p>
]]></description><pubDate>Tue, 08 Sep 2026 09:11:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=49607691</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=49607691</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49607691</guid></item><item><title><![CDATA[New comment by movpasd in "Programming is Art"]]></title><description><![CDATA[
<p>I don't know. I have a fascination with code structure which is definitely primarily aesthetic, not practical --- which is a compulsion I have to suppress when doing code professionally for practical reasons. (Sometimes you have to deliver.)<p>I find it incredible when the concepts in a system fall into place and start lining up and you get these unexpected relationships that "just work". It's beautiful in the same way mathematics is beautiful. It's lovely when something is made of lots of pieces at first and then suddenly collapse and simplify into a single structure.<p>I also enjoy other bits of programming. I like the flow state, I like the act of creation, I like feeling like I have an impact, I like being paid. So it's not like people fall into one category or another, and it's not like programming is one single thing. There's room within any discipline for creativity and for art.<p>I think many professional artists probably spend much of their time problem-solving, too --- authors trying to fit plot points together, sculptors working out which materials will work with which ones.</p>
]]></description><pubDate>Mon, 07 Sep 2026 09:32:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=49596110</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=49596110</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49596110</guid></item><item><title><![CDATA[New comment by movpasd in "Salad Theory"]]></title><description><![CDATA[
<p>I love the amount of effort that went into this, and find it very amusing. I've had similar forays into defining sandwiches, ravioli, soups, and so on, but never in such meticulous detail.<p>But taking it seriously, a word like "salad" is best understood, IMO, as a family resemblance [0]: a group of inconsistently overlapping properties. Or, you could understand it functionally/pragmatically (a salad is what I order when I want a salad), where the meaning is not derived from an internal property but from the social system that produced it.<p>For salad or sandwich, it's all rather unimportant, naturally. But I do think taking this step back and questioning what it even means for an utterance to have meaning can help dissolve some serious and otherwise contentious philosophical issues. ("Intelligence" seems to be a rather relevant example.)<p>Mathematical definition is enchanting to those of us with an inclination towards abstraction. But just because it's a noun doesn't mean it's a thing --- or at least, not a thing independently of the speaker and their community of speakers.<p>[0] <a href="https://en.wikipedia.org/wiki/Family_resemblance" rel="nofollow">https://en.wikipedia.org/wiki/Family_resemblance</a></p>
]]></description><pubDate>Wed, 02 Sep 2026 07:32:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=49532975</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=49532975</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49532975</guid></item><item><title><![CDATA[New comment by movpasd in "Sol loves to cheat"]]></title><description><![CDATA[
<p>I would absolutely love to see the transcript of that, if it's available to publish!</p>
]]></description><pubDate>Thu, 20 Aug 2026 12:14:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=49373556</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=49373556</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49373556</guid></item><item><title><![CDATA[New comment by movpasd in "How do functions like alloca allocate memory from the stack?"]]></title><description><![CDATA[
<p>How would one start learning about it?</p>
]]></description><pubDate>Tue, 18 Aug 2026 06:38:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=49342133</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=49342133</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49342133</guid></item><item><title><![CDATA[New comment by movpasd in "What Happened to HackerOne?"]]></title><description><![CDATA[
<p>It's just economics. VCs dump large amounts of money into early-stage platforms with the express purpose of exploiting it later. This is an inevitable part of the lifecycle of high capital, low margin industries with strong network effects.<p>This is not VCs being evil and corrupting a pristine engineer- or hacker-defined concept of true value. The VCs are all following the rules and are trying to make money off of risky investments (it's "venture" capital, after all). But the incentive structure just forces the market into either an oligopoly of largely extractive services (or into everything being free: that's why open source is also a stable point for software).<p>My hope is that in time, basic software services, like for communication, socialising, community hosting, and so on, will eventually become seen as core social infrastructure. I don't really think this can happen via existing institutions, even open source, because the fixed costs of making software are really high. You really need _tax_ to support this. But it's very difficult to do because the internet cuts across borders.</p>
]]></description><pubDate>Mon, 10 Aug 2026 13:20:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=49243267</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=49243267</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49243267</guid></item><item><title><![CDATA[New comment by movpasd in "Taste Is All That's Left"]]></title><description><![CDATA[
<p>It's LLM-like in the details, but there are certain patterns of repetition and idiosyncrasies, also certain analogies I don't think an LLM would make (like the aliens thing), that make me believe that it's written by a human.</p>
]]></description><pubDate>Fri, 07 Aug 2026 06:27:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=49206615</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=49206615</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49206615</guid></item><item><title><![CDATA[New comment by movpasd in "The Shape of Things to Come"]]></title><description><![CDATA[
<p>Forgive me if a dumb question, but is there no compaction? Do you ever run out of context?</p>
]]></description><pubDate>Mon, 03 Aug 2026 14:54:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=49156616</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=49156616</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49156616</guid></item><item><title><![CDATA[New comment by movpasd in "The Economic Benefit of Refactoring"]]></title><description><![CDATA[
<p>Me as well. One of my formative experiences was reading Refactoring (Fowler). At the time I felt skeptical that it could make a difference --- I had mostly written scientific/research code at this point. I decided as an experiment to apply it to a dissatisfaction I had with the structure of a codebase and it was a revelation. It really made it really concrete what people meant by "a codebase is a system", made me see code from a higher level, almost like a continuous tissue or web you could pull and prod.<p>It's quite sad to think this experience might be on its way out, and it really highlights that "junior problem" from AI. There is just no way around diving in to get an intuition for things. Naur warned us of this 40 years ago but the lesson never seems to get learned.</p>
]]></description><pubDate>Fri, 31 Jul 2026 09:10:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=49120776</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=49120776</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49120776</guid></item><item><title><![CDATA[New comment by movpasd in "Some thoughts about Anthropic's new cryptanalysis results"]]></title><description><![CDATA[
<p>I feel like the development of AI has really shown what a gigantic spectrum intelligence actually is.</p>
]]></description><pubDate>Thu, 30 Jul 2026 09:17:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=49107641</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=49107641</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49107641</guid></item><item><title><![CDATA[New comment by movpasd in "The Productivity Mirage"]]></title><description><![CDATA[
<p>There's an "expert trap" in here I think, at least this is something I experience. When you are good at something, it's a lot less effort to draw on that stuff, and you usually get instant easy positive feedback from non-experts. So, for an engineer, that's code and tools and the like, but also productivity systems and other abstract thinking modes that are useful in programming. On the flipside, actually thinking about your product and domain is hard. So, it becomes psychologically easy to get caught up in technical things that are comparatively easy mental and social reward per unit effort, and you feel productive. But it's not always objectively the best use of time.</p>
]]></description><pubDate>Thu, 30 Jul 2026 09:01:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=49107534</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=49107534</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49107534</guid></item><item><title><![CDATA[New comment by movpasd in "Anthropic's Method to Losing Goodwill in a Few Easy Steps"]]></title><description><![CDATA[
<p>I don't expect technology companies to do the right thing by the consumer. There is a niche for companies or NGOs that manage to stick to their core mission, but the incentive structure for software (very high capital cost, near zero marginal cost, huge opportunities for rent-seeking) is just always going to push them to these behaviours. It's not a conspiracy theory, either. VCs deliberately bank on this --- they have to if they want to get return on investment.<p>By all means, put pressure on companies who are doing this. Public opinion does matter. But the fundamentals are just not going to change without regulation. It is a tough nut to crack.</p>
]]></description><pubDate>Mon, 06 Jul 2026 15:54:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=48806428</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=48806428</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48806428</guid></item><item><title><![CDATA[New comment by movpasd in "Odin, Wikipedia and engagement farming"]]></title><description><![CDATA[
<p>You're talking about the material of the Twitter discussions where I'm more discussing the article itself, which is about the community and discourse surrounding it.<p>If you want my opinion on that, Odin seems pretty notable to me, and I would expect there to be a Wikipedia article for it, and I'd be all for engaging with the editors on that. I wouldn't expect Wikipedia moderators to be plugged into the world of programming languages the way I am, though. Like the article says, this seems like subject-specific notability guidelines could help. It's definitely true that the programming world is missing the kind of institutional material that works well for, say, science or news.</p>
]]></description><pubDate>Sat, 04 Jul 2026 13:32:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=48785286</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=48785286</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48785286</guid></item><item><title><![CDATA[New comment by movpasd in "Odin, Wikipedia and engagement farming"]]></title><description><![CDATA[
<p>I despise the "what's true is true" attitude exhibited by Casey and Bill in these tweets. I find it to be an instant flag of unreliability. The smartest human alive is still a human. We have a stake in every conversation, we bring our baggage and our allegiances.<p>So often, this attitude is couched as a desire for truth and objectivity. Do you know what somebody does when they _actually_ love the truth? They work hard to find it, they examine their own assumptions, they try to build systems that extract truth from an unbelievably complex world of unreliable narrators. And most importantly, they are curious: for example, curious about how other communities operate and what they can learn from them.<p>It is the hypocrisy that I find unbearable. The language of truth and objectivity wielded to win arguments which are fundamentally emotional in nature. There is nothing wrong with being frustrated that a community dear and significant to you, clearly notable, seems to be overlooked by a figure of (informational) authority. Let's take that frustration and work together to improve our truth-seeking institutions.</p>
]]></description><pubDate>Sat, 04 Jul 2026 11:08:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=48784512</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=48784512</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48784512</guid></item><item><title><![CDATA[New comment by movpasd in "Most arguments are about ego, not ideas"]]></title><description><![CDATA[
<p>I think an important realisation for me was this: peoples' egos being involved in their arguments, people being irrational, and so on, these are not merely deviations from an ideal rational self that we could reach were we to put enough effort in. It is just how people are. There's a word for it: politics.<p>Once I started looking for it, I started noticing some of my colleagues' abilities to navigate their way through meetings and disagreements and getting their way without things even becoming arguments, the ability of some people to just put a room at ease or to communicate. And the inability of others to do so.<p>"Politics" is an unsavory term for somebody with engineering predilections. It evokes backhandedness and self-interest. But you can't actually both be a human being and be "above it". Every sentence, no matter how concrete and technical, is a social act with social ramifications.<p>I've come to have a lot of respect for people who are actually able to lead and make things happen. It is not a skill I am terribly practiced with.</p>
]]></description><pubDate>Thu, 02 Jul 2026 09:03:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=48758533</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=48758533</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48758533</guid></item><item><title><![CDATA[New comment by movpasd in "I used Claude Code to get a second opinion on my MRI"]]></title><description><![CDATA[
<p>Not GP, but I'd argue that over-rationalism and underestimating both the complexity of the real world and the theory-ladenness of one's perspective is just as dangerous. The point is not to be paralysed by complexity, but to acknowledge it and acknowledge the reality of unknowable unknowns in our decision-making. I don't consider that defeatist in the least. Epistemic humility is the rational response to a complex world; courage is to act anyway.</p>
]]></description><pubDate>Mon, 29 Jun 2026 10:12:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=48717225</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=48717225</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48717225</guid></item><item><title><![CDATA[New comment by movpasd in "Local Qwen isn't a worse Opus, it's a different tool"]]></title><description><![CDATA[
<p>I've not done particularly rigorous testing, but I've done this a lot with Claude to get a feel. What I've noticed is for certain open-ended tasks, Claude is extremely primeable: it will pick up on minor differences in wording in your prompt and run with them hard.<p>It can be frustrating. The AI pretends to be a human, and so a part of my brain expects them to commit and have a "parti pris" like a human, so the exercise is a good reminder of the feedback loop. My mental model is that before the first three or four messages, the model has many finer points of its personality still underdetermined. I'd suggest that as the mechanism for "role-based prompting". And it explains the "savant sleeper agent" thing you describe. You want to get the state in the right attractor on the manifold.<p>These machines are pretty incredible, but for conversation-driven workflows you really have to be in the driver's seat. A human has a property that the AI does not have, at least under current architectures: we are regulated by the outside world. A bit of a tangent, but I can see how AI psychosis arises from these dynamics.</p>
]]></description><pubDate>Thu, 18 Jun 2026 09:13:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=48582825</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=48582825</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48582825</guid></item><item><title><![CDATA[New comment by movpasd in "Perlisisms (1982)"]]></title><description><![CDATA[
<p>> If you want to go out of your way to interpret things as uncharitably as possible, you'll find yourself missing out on a lot of potential wisdom.<p>Thank you for that line --- I may steal it :)</p>
]]></description><pubDate>Sun, 14 Jun 2026 22:10:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=48533366</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=48533366</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48533366</guid></item><item><title><![CDATA[New comment by movpasd in "Dopamine Fracking"]]></title><description><![CDATA[
<p>The original sin is the idea that the profit motive on a free market will solve all our resource allocation problems, and that consumption demand should be the ultimate arbiter of social value. Markets are pretty freaking amazing things. But their efficiency relies on assumptions that knowledge economies and software break on pretty much every front. So, it's really no surprise that we're in this mess. I don't really know what would work better, though, in a way that can practically evolve from our existing systems.</p>
]]></description><pubDate>Mon, 08 Jun 2026 10:04:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=48443339</link><dc:creator>movpasd</dc:creator><comments>https://news.ycombinator.com/item?id=48443339</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48443339</guid></item></channel></rss>