<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: voidhorse</title><link>https://news.ycombinator.com/user?id=voidhorse</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 13 Aug 2026 21:36:34 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=voidhorse" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by voidhorse in "Principia Mathematica is modern and insightful"]]></title><description><![CDATA[
<p>I have a copy and like it much. However, i was always partial to Frege's Begriffschrift. His notation was really creative. It's a shame Russel's deflation of that project has sentenced it to the rubbish heap of history.</p>
]]></description><pubDate>Thu, 13 Aug 2026 01:42:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=49280897</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49280897</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49280897</guid></item><item><title><![CDATA[New comment by voidhorse in "AI is removing the middle class of software engineering?"]]></title><description><![CDATA[
<p>Eh, not all software engineering is made equal.<p>To work on engineering real time communications systems, banking systems, or transit systems and low level infrastructure, you definitely need some chops. To design and build out core network infra at the web giants, chops also certainly required.<p>To build out a basic crud app, pwa, or the next feature in the massive products that major companies ship? Yes you need some understanding but it really isn't that difficult or onerous. TBH if you ask me the profession always had a problem where the term "engineer" was a tad over applied. The boot camps are mostly churning out people who can write basic apps, not (hopefully) anyone being placed into a a senior IC and systems design role.</p>
]]></description><pubDate>Wed, 12 Aug 2026 23:44:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=49280055</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49280055</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49280055</guid></item><item><title><![CDATA[New comment by voidhorse in "How I use LLMs to learn complex topics"]]></title><description><![CDATA[
<p>Yes, you're on the money. And this is a perfect example of how people <i>should</i> use llms. Use them to deepen your own research and understanding rather than use them to glaze and implement the first naive idea that comes into your head (or the first idea they suggest as a response to a vague prompt, which typically is substantially worse than if you get them into the right vector space using jargon)</p>
]]></description><pubDate>Wed, 12 Aug 2026 13:02:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=49271769</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49271769</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49271769</guid></item><item><title><![CDATA[New comment by voidhorse in "How I use LLMs to learn complex topics"]]></title><description><![CDATA[
<p>The "Socratic Method" (aka maieutic) skills annoy me, precisely because when you read them they are the kind of low-effort, low-expertise crap someone who over relies on AI would naively come up with when tasked with the problem of coming up with skills for learning. "Hey the Platonic dialogues are pretty cool and smart, let's do that".<p>The body of literature on learning theory, and beyond that on specific types of learning and specific mediums such as learning from text is so rich there are <i>way</i> more useful models to draw from. Believe it or not, prellm, researchers in the textual learning field had already demonstrated you can achieve performance equal or better than novice tutors using pretty basic computer aids that follow specific hint/pump interaction structures. Guiding an LLM to use these findings has evidence backing it and is way better than telling it "i guess be like socrates". The problem is, to realize there might be richer more effective and highly researched ways of tackling the problem beyond the first fart of a thought you had one afternoon requires the deep respect for expertise and specialization that precisely basically everyone in the AI space right now fundamentally lacks.</p>
]]></description><pubDate>Mon, 10 Aug 2026 00:11:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=49237683</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49237683</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49237683</guid></item><item><title><![CDATA[New comment by voidhorse in "How I use LLMs to learn complex topics"]]></title><description><![CDATA[
<p>This. This is exactly how I use them and I have had no issues so far. I read the book myself, then I point the LLM at it to ask questions about notions I might be struggling with.</p>
]]></description><pubDate>Mon, 10 Aug 2026 00:05:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=49237640</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49237640</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49237640</guid></item><item><title><![CDATA[New comment by voidhorse in "Pareto Front"]]></title><description><![CDATA[
<p>Ugh, you're right! I read too quickly. Please disregard me OP. I'll leave the comment here just in case it clarifies things for poor readers such as myself lol.</p>
]]></description><pubDate>Fri, 07 Aug 2026 13:29:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=49210108</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49210108</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49210108</guid></item><item><title><![CDATA[New comment by voidhorse in "Mario Meets Pareto"]]></title><description><![CDATA[
<p>I would say start with software architecture books for large or highly distributed systems. This will get you thinking beyond code level to system component level with subject matter that's familiar.<p>From there I would round things out with general systems theory books and even dabble in some non-software engineering texts just to get a sense of how people reason about designing systems and evaluating trade-offs. That's just my two cents on it.</p>
]]></description><pubDate>Fri, 07 Aug 2026 13:28:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=49210097</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49210097</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49210097</guid></item><item><title><![CDATA[New comment by voidhorse in "Pareto Front"]]></title><description><![CDATA[
<p>So, while it's true that your runs with high speed <i>and</i> distance when both are considered are Pareto points, your max speed run and max distance run overall are <i>also</i> Pareto points. So calling these high distance+speed runs "Pareto" doesn't actually distinguish them completely from other runs.<p>A point is Pareto so long as it is <i>non-dominated</i>—that is, you're not looking for dominating points, you're looking for points that are "no worse" than all others, in all criteria, <i>when you consider that point as a reference</i>.<p>So your Pareto Runs are indeed Pareto points. However, your run with your fastest possible speed, even if your distance was really bad, is also still a Pareto efficient point.<p>(Taking >= as more efficient here) By definition, the point A is Pareto if there is no point B such that in all criteria, B >= A, and for at least one criteria B > A. Take the run with the best speed. It is Pareto because we cannot find a single point B that satisfies both of these conditions. Your "Pareto Run" doesn't satisfy this set of conditions because it is worse in terms of speed, even if it has better distance than the max speed point.<p>The only way your Pareto runs would be the only Pareto points in your record is if they simultaneously hit maxima for distance and speed when compared <i>to all other points</i>. So, for them to be the sole Pareto point, the clause ""I've run farther before, and I've run faster before..." would have to be false! The point would have to break both your all time records to be the solitary Pareto point. With running, because of how speed and distance are related this will basically never happen.<p>The definition of Pareto efficiency is essentially <i>negative in nature</i>--it's not about finding specific dominating points, it's about finding points that are <i>not dominated by any others</i> on any criterion, period. All criteria are weighted equally in the search for Pareto points. It doesn't build in any weighting like considering maximum across criteria as "better" than points that only maximize one criteria. For a "biobjective" problem like your runs, the Pareto set will always contain the points (MAX, -) and (-, MAX)--they may not be unique over the criteria but there will always be at least one representative for each, I believe.</p>
]]></description><pubDate>Fri, 07 Aug 2026 02:00:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=49205111</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49205111</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49205111</guid></item><item><title><![CDATA[New comment by voidhorse in "Mario Meets Pareto"]]></title><description><![CDATA[
<p>Yes, the difference between coding (writing software) and engineering (making informed trade offs about system design) is effectively bound up in analyses like those supported by concepts like pareto efficiency.<p>One should keep in mind though that not all problems have a neat solution. Many spaces have multiple efficient points that still need to be chosen from, and many pareto optimization problems actually become NP hard computationally when the problem is large enough.</p>
]]></description><pubDate>Thu, 06 Aug 2026 13:48:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=49196663</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49196663</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49196663</guid></item><item><title><![CDATA[New comment by voidhorse in "Pareto Front"]]></title><description><![CDATA[
<p>One nuance that people sometimes miss is that pareto optimality in the continuous case and discrete case are distinct. Using continuous case algorithms on discrete feasible set optimization problems will make you miss the interior optimal points--only extremal/supported points on the positive orthant hull are identified by the continuous algos.<p>Matthias Ehrgott's books on multicriteria optimization explain Pareto efficiency very well without sacrificing rigor. I think they do a better job than this article.</p>
]]></description><pubDate>Thu, 06 Aug 2026 13:27:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=49196377</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49196377</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49196377</guid></item><item><title><![CDATA[New comment by voidhorse in "Prevent cognitive debt by manually retyping LLM-generated code"]]></title><description><![CDATA[
<p>I don't think it's possible to eliminate cognitive debt when using LLMs, but you can definitely minimize it. Part of this means recognizing that you will only get, say, a 2x productivity boost instead of a mythical 100x increase, the benefit is, you'll actually know what you're doing versus being a brain addled zombie.<p>First, use the LLM to understand the problem thoroughly. They can be great research aids. I've speed up tons of learning using LLMs. It is essential you ground the discussion in existing texts or code. Ping pong with the LLM asking it to challenge your understanding, how you direct citations for explanations, clarify things, etc.<p>After you've understood, plan. Develop a plan with the LLM/agent by steering it hard. Read the slop text thoroughly. Give it direct feedback. Don't proceed until you have a complete expectation of what you think the agent will do when implementing the plan.<p>Let the agent do all the implementation.<p>Review the agent's work. Again, engage with it and leave direct feedback. Ask for clarification and alternatives if needed. If it was totally off mark, start the process again.<p>You won't be moving at warp speed with this approach but you'll know a lot more than the one shot prompting loop cowboys out there.</p>
]]></description><pubDate>Mon, 03 Aug 2026 21:35:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=49161757</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49161757</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49161757</guid></item><item><title><![CDATA[New comment by voidhorse in "Don't credit the LLM"]]></title><description><![CDATA[
<p>#3 just means the person is going to stop asking <i>you</i> when they realize that:<p>a. You bring no expertise beyond asking an LLm for the answer.
b. They can just do that themselves.<p>If someone is asking you something and you tell them "this is what the LLM said" you're doing it wrong. If they are asking you they assume <i>you</i> possess some kind of acumen you can use to do better than they can blindly following an LLM and if you can't, well, why are you even involved in this interaction?</p>
]]></description><pubDate>Sun, 02 Aug 2026 05:32:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=49141416</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49141416</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49141416</guid></item><item><title><![CDATA[New comment by voidhorse in "Don't credit the LLM"]]></title><description><![CDATA[
<p>I think there is a clear distinction to make in the case of communications.<p>Yes, if you are writing a longer piece of communication and you just verbatim ship whatever the LLM spits out, it is important that you note that in the communication. This obviously applies to deepfakes as well.<p>But this quickly gets slippery. If an LLM generates an initial draft of a paragraph, and I edit it 10 times making mostly stylistic changes, do I need to cite the LLM for that passage? How much personal touch is enough to absolve one of LLM citation? We don't require filmmakers to present a "this is CGI" banner during films (only occasionally in trailers), if a filmmaker uses an LLM to generate 20% of the contents of a film, much in the manner of CGi usage, do they need to add a disclaimer?<p>The text produced by an LLM really doesn't function the same way text produced by humans does. The cited human is a stable entity that exists, not a stateless machine. You can ask them about their quoted work, look up their history, etc. There is a stable participant in the field with a stable identity that you can talk to. Not so for LLM produced text.<p>At the end of the day whatever it is your present is coming from you. Own it. If you feel the need to hedge that such and such was from an LLM it probably means that it's bullshit that you'd better rework or at least understand much better before you pass your slop off to some poor coworker</p>
]]></description><pubDate>Sun, 02 Aug 2026 05:26:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=49141387</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49141387</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49141387</guid></item><item><title><![CDATA[New comment by voidhorse in "Don't credit the LLM"]]></title><description><![CDATA[
<p>Pragmatically, the range of application for a fuzzer and for an LLM are so widely different that I'm not sure it makes any kind of pragmatic sense to compare the two.<p>Also, I don't hear a lot of people credit fuzzers. I do hear a lot of people say things like "we are fuzzing the code"'just like they say "we are hammering the nails" and not "wow hammer great job getting that nail in place"</p>
]]></description><pubDate>Sun, 02 Aug 2026 05:16:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=49141341</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49141341</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49141341</guid></item><item><title><![CDATA[New comment by voidhorse in "Don't credit the LLM"]]></title><description><![CDATA[
<p>I completely agree. All crediting LLMs does is give the companies that built them precisely the kind of ego stroking feedback they want. I bet Dario giggles with excitement every time he sees "Claude" as the author of a git commit. People are feeding directly into y heir narrative that these tools are not tools but somehow replacements for human beings.<p>You piloted the LLM, you are responsible for the code. I don't sign my commits with "autocompletions by Intellij". This whole thing is nonsense.<p>As for the possibilities listed in TFA, I personally think the most common one is people just blaming the tool or hoping to use citation as cover for slop work. It's basically an admission of "I didn't look into this as thoroughly as I myself think I should have to really understand what I'm doing". Don't be that person. If you don't understand what you are doing prompt the LLM with questions until you do understand. It isn't difficult.</p>
]]></description><pubDate>Sun, 02 Aug 2026 05:11:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=49141305</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49141305</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49141305</guid></item><item><title><![CDATA[New comment by voidhorse in "Diátaxis"]]></title><description><![CDATA[
<p>I don't have a problem with Diataxis itself but every time it comes up it saddens me because it is a reminder of how bad the technical writing community (by which, here I mean people who have technical writer as a job title) has been about popularizing and sharing their institutional knowledge, to the point that diataxis is far more popular and what a lot of people in tech think about when they think about technical writing.</p>
]]></description><pubDate>Sun, 02 Aug 2026 05:02:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=49141275</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49141275</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49141275</guid></item><item><title><![CDATA[New comment by voidhorse in "Nvidia, Microsoft, Meta warn against overregulating open-weight models"]]></title><description><![CDATA[
<p>Yeah, this letter is just proof of (the by now long standing fact) of corporate power/corporate capture of American governance. Tons of popular protests against big AI? Makes no difference. Joint corporate letter about big AI? Possibly the government will do something.</p>
]]></description><pubDate>Fri, 24 Jul 2026 15:10:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=49036840</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=49036840</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49036840</guid></item><item><title><![CDATA[New comment by voidhorse in "Agent swarms and the new model economics"]]></title><description><![CDATA[
<p>Yes because the keystrokes aren't free and the world is finite. We need to pay these monkeys in bananas.</p>
]]></description><pubDate>Mon, 20 Jul 2026 21:51:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=48985323</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=48985323</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48985323</guid></item><item><title><![CDATA[New comment by voidhorse in "Claude Code uses Bun written in Rust now"]]></title><description><![CDATA[
<p>Probably because claude suggested some kind of wack react based setup early on (because react dominates the training data) and it's be blasphemy worthy of termination for the Anthropic employees to question the sacred pronouncements of the llm.</p>
]]></description><pubDate>Sun, 19 Jul 2026 15:47:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=48969182</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=48969182</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48969182</guid></item><item><title><![CDATA[New comment by voidhorse in "DSLs Enable Reliable Use of LLMs"]]></title><description><![CDATA[
<p>> to be more specific, i'd argue LLMs “understand” awfully similarly to a brilliant (polymath) with early dementia or Alzheimer'<p>At which point i'd argue that you're kind of refuting your own claim as most humans are not brilliant polymaths with early onset alzheimer's.<p>Even admitting these kinds of comparisons to edge case human mental experience, there are more differences than similarities, and the similarities are misleading and superficial. There are still a lot of differences, even when it comes to the physical structure of the brains neurons as compared to digital neural nets, and i think it's far more beneficial to try to understand these machine in their uniqueness and for what they are than to draw hasty and shallow comparisons. You could be forgiven for that, though, because computing is rife with people who love to draw hasty unjustified analogies for some reason (example: people were already likening the brain to a computer when we didn't even have working implementations of neural nets yet and a computer was literally just a small number of logic gates lol)</p>
]]></description><pubDate>Thu, 16 Jul 2026 17:56:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=48937907</link><dc:creator>voidhorse</dc:creator><comments>https://news.ycombinator.com/item?id=48937907</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48937907</guid></item></channel></rss>