<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: AdieuToLogic</title><link>https://news.ycombinator.com/user?id=AdieuToLogic</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 09 Apr 2026 12:16:31 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=AdieuToLogic" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by AdieuToLogic in "Solod – A subset of Go that translates to C"]]></title><description><![CDATA[
<p>> I do like Go's syntax but I can't help thinking the best language for C interop is C.<p>SWIG[0] is a viable option for incorporating C code as well.<p>0 - <a href="https://swig.org/Doc4.4/Go.html#Go" rel="nofollow">https://swig.org/Doc4.4/Go.html#Go</a></p>
]]></description><pubDate>Tue, 07 Apr 2026 02:46:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=47670160</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47670160</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47670160</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "Microsoft: Copilot is for entertainment purposes only"]]></title><description><![CDATA[
<p>Other products which have a disclaimer similar to Copilot's:<p><pre><code>  Copilot is for entertainment purposes only.
</code></pre>
- Magic 8 Ball[0]<p>- Tarot cards[1]<p>- Reality TV shows<p>- Psychic hotlines<p>Caveat emptor.<p>0 - <a href="https://en.wikipedia.org/wiki/Magic_8_Ball" rel="nofollow">https://en.wikipedia.org/wiki/Magic_8_Ball</a><p>1 - <a href="https://en.wikipedia.org/wiki/Tarot" rel="nofollow">https://en.wikipedia.org/wiki/Tarot</a></p>
]]></description><pubDate>Wed, 01 Apr 2026 03:55:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=47596615</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47596615</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47596615</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "Copilot edited an ad into my PR"]]></title><description><![CDATA[
<p>The fact that Copilot injected an ad is burying the lede IMHO, as evidenced by the opening sentence:<p><pre><code>  After a team member summoned Copilot to correct
  a typo in a PR of mine ...
</code></pre>
Using Copilot "to correct a typo" is the epitome of "jumping the shark"[0].<p>0 - <a href="https://en.wikipedia.org/wiki/Jumping_the_shark" rel="nofollow">https://en.wikipedia.org/wiki/Jumping_the_shark</a></p>
]]></description><pubDate>Tue, 31 Mar 2026 00:42:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=47581460</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47581460</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47581460</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "Transformers Are Bayesian Networks"]]></title><description><![CDATA[
<p>> NNs are as close to continuous as we can get with discrete computing.<p>This is incorrect. For example, fuzzy logic[0] can model analog ("continuous") truth beyond discrete digital representations, such as 1/0, true/false, etc.<p>0 - <a href="https://en.wikipedia.org/wiki/Fuzzy_logic" rel="nofollow">https://en.wikipedia.org/wiki/Fuzzy_logic</a></p>
]]></description><pubDate>Wed, 25 Mar 2026 03:29:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=47512901</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47512901</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47512901</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "The FCC Just Banned the Sale of New Wi-Fi Router Models Made Outside US"]]></title><description><![CDATA[
<p>Perhaps a more applicable description is "consumer routers", as most routers in this category are WiFi routers. An interesting question is whether this policy is applicable to data center network equipment or not.</p>
]]></description><pubDate>Wed, 25 Mar 2026 03:15:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=47512803</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47512803</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47512803</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "Why AI systems don't learn – On autonomous learning from cognitive science"]]></title><description><![CDATA[
<p>>> Algorithm implementations are programmatic manifestations of mathematical models and, as such, are not what they model by definition.<p>> Rofl. Someone hasn't discovered Functionalism or the identity of indiscernables. Must be hard laboring under such a poverty of reasoning.<p>First, the correct spelling is "indiscernibles" not "indiscernables".<p>Second, thank you for motivating me to research the origin of the quote:<p><pre><code>  Better to remain silent and be thought a fool than to speak 
  and to remove all doubt.[0]
</code></pre>
As it is superbly applicable in this context.<p>0 - <a href="https://quoteinvestigator.com/2010/05/17/remain-silent/" rel="nofollow">https://quoteinvestigator.com/2010/05/17/remain-silent/</a></p>
]]></description><pubDate>Mon, 23 Mar 2026 01:39:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=47484480</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47484480</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47484480</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "Why AI systems don't learn – On autonomous learning from cognitive science"]]></title><description><![CDATA[
<p>>> Algorithm implementations are programmatic manifestations of mathematical models and, as such, are not what they model by definition.<p>> This is false for constructs of information, ie. a "manifested model" of a sorted list is a sorted list and a "manifested model" of a sorting algorithm is a sorting algorithm.<p>Specious. Constructs existing strictly within a mathematical model are not concepts external to what they model by definition. Constructs of information qualify as same as they are subject to assessment traditionally performed by stakeholders (humans). Continuing with the example provided, sorting algorithms exist as well-defined mathematical concepts and can be applied to other model concepts, yet do not transcend their manifestation in program logic.<p>> To wit, an accurate algorithmic model of moral reasoning is moral reasoning ...<p>A model of moral reasoning can only produce results to which an entity external to the model determines correctness. The model, in and of itself, has no capability to assert same beyond what it has been modeled to process.</p>
]]></description><pubDate>Mon, 23 Mar 2026 00:20:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=47483884</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47483884</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47483884</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "Why AI systems don't learn – On autonomous learning from cognitive science"]]></title><description><![CDATA[
<p>> There are plenty of ethical frameworks grounded in pure logic (Kant), or game theory (morality as evolved co-operation). These are both amenable to algorithmic implementations.<p>Algorithm implementations are programmatic manifestations of mathematical models and, as such, are not what they model by definition.<p>To wit, NOAA hurricane modelling[0] are obviously not the hurricanes which they model.<p>0 - <a href="https://www.aoml.noaa.gov/hurricane-modeling-prediction/" rel="nofollow">https://www.aoml.noaa.gov/hurricane-modeling-prediction/</a></p>
]]></description><pubDate>Thu, 19 Mar 2026 02:49:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=47434281</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47434281</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47434281</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "What is agentic engineering?"]]></title><description><![CDATA[
<p>I get the appeal and respect the study you are engaging.<p>A meta-question I posit is; at what point does the investment in trying to get "LLMs to usefully write software despite their non-deterministic nature" become more than solving the problems at hand <i>without</i> using those tools?<p>For the purpose of the aforementioned, please assume commercial use as opposed to academic research.</p>
]]></description><pubDate>Thu, 19 Mar 2026 02:39:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=47434190</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47434190</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47434190</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "Why AI systems don't learn – On autonomous learning from cognitive science"]]></title><description><![CDATA[
<p>> ELIZA couldn't write working code from an English-language prompt though.<p>Neither can commercial LLM-based offerings.</p>
]]></description><pubDate>Thu, 19 Mar 2026 02:26:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=47434078</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47434078</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47434078</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "Why AI systems don't learn – On autonomous learning from cognitive science"]]></title><description><![CDATA[
<p>> If this was done well in a way that was productive for corporate work, I suspect the AI would engage in Machievelian maneuvering and deception that would make typical sociopathic CEOs look like Mister Rogers in comparison.<p>Algorithms do not possess ethics nor morality[0] and therefore cannot engage in Machiavellianism[1].  At best, algorithms can simulate same as pioneered by ELIZA[2], from which the ELIZA effect[3] could be argued as being one of the best known forms of anthropomorphism.<p>0 - <a href="https://www.psychologytoday.com/us/basics/ethics-and-morality" rel="nofollow">https://www.psychologytoday.com/us/basics/ethics-and-moralit...</a><p>1 - <a href="https://en.wikipedia.org/wiki/Machiavellianism_(psychology)" rel="nofollow">https://en.wikipedia.org/wiki/Machiavellianism_(psychology)</a><p>2 - <a href="https://en.wikipedia.org/wiki/ELIZA" rel="nofollow">https://en.wikipedia.org/wiki/ELIZA</a><p>3 - <a href="https://en.wikipedia.org/wiki/ELIZA_effect" rel="nofollow">https://en.wikipedia.org/wiki/ELIZA_effect</a></p>
]]></description><pubDate>Wed, 18 Mar 2026 04:48:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=47421692</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47421692</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47421692</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "What is agentic engineering?"]]></title><description><![CDATA[
<p>> That's why I'm writing a guide about how to use this stuff to produce good code.<p>Consider the halting problem[0]:<p><pre><code>  In computability theory, the halting problem is the problem
  of determining, from a description of an arbitrary computer
  program and an input, whether the program will finish
  running, or continue to run forever. The halting problem is
  undecidable, meaning that no general algorithm exists that
  solves the halting problem for all possible program–input
  pairs.
</code></pre>
Essentially, it identifies that mathematics cannot prove an arbitrary program will or will not terminate based on the input given to it.  So if math cannot express a solution to this conundrum, how can any mathematical algorithm generate solutions to arbitrary problems which can be trusted to complete (a.k.a. "halt")?<p>Put another way, we all know "1 + 2 = 3" since elementary school.  Basic math assumed everyone knows.<p>Imagine an environment where "1 + 2" 99% of the time results in "3", but may throw a `DivisionByZeroException`, return NaN[1], or rewrite the equation to be "PI x r x r".<p>Why would anyone trust that environment to reliably do what they instructed it to do?<p>0 - <a href="https://en.wikipedia.org/wiki/Halting_problem" rel="nofollow">https://en.wikipedia.org/wiki/Halting_problem</a><p>1 - <a href="https://en.wikipedia.org/wiki/NaN" rel="nofollow">https://en.wikipedia.org/wiki/NaN</a></p>
]]></description><pubDate>Wed, 18 Mar 2026 03:38:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=47421370</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47421370</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47421370</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "Why I love FreeBSD"]]></title><description><![CDATA[
<p>> Documentation certainly is not gold standard. I'm a former doc tree committer, familiar with many of the bugs …<p>As "a former doc tree committer", I am sure you are aware that no set of documentation artifacts are without error of some sort.  To be exact, you provided two examples of your identifying what you believe to be same.<p>I stand by my statement that the cited FreeBSD resources are "a gold standard" while acknowledging they are not perfect.  What they are, again <i>in my humble opinion</i>, is vastly superior to what I have found to exist in the Linux world.  Perhaps your experience contradicts this position; if so, I respect that.</p>
]]></description><pubDate>Tue, 17 Mar 2026 03:49:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=47408383</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47408383</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47408383</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "Why I love FreeBSD"]]></title><description><![CDATA[
<p>>> … stable … about every 6 months.<p>> Maybe slightly optimistic.<p>The longest without rebooting two prod FreeBSD servers I was once responsible for, including applying userland patches, was roughly 3000 days (just over 8 years).</p>
]]></description><pubDate>Tue, 17 Mar 2026 03:37:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=47408306</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47408306</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47408306</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "What is agentic engineering?"]]></title><description><![CDATA[
<p>> Good journalism would include ...<p>The link you provided begins with the declaration:<p><pre><code>  Written by Amazon Staff
</code></pre>
I am not a journalist and even I would question the "good journalism would include" assertion given the source provided.<p>> I find it somewhat overblown.<p>As I quoted in a peer comment:<p><pre><code>  Dave Treadwell, Amazon's SVP of e-commerce services, told 
  staff on Tuesday that a "trend of incidents" emerged since 
  the third quarter of 2025, including "several major" 
  incidents in the last few weeks, according to an internal 
  document obtained by Business Insider. At least one of 
  those disruptions were tied to Amazon's AI coding assistant 
  Q, while others exposed deeper issues, another internal 
  document explained.
  
  Problems included what he described as "high blast radius 
  changes," where software updates propagated broadly because 
  control planes lacked suitable safeguards. (A control plane 
  guides how data flows across a computer network).
</code></pre>
If the above is "overblown", then the SVP has done so.  I have no evidence to believe this is the case however.<p>Do you?</p>
]]></description><pubDate>Tue, 17 Mar 2026 03:29:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=47408258</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47408258</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47408258</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "Why I love FreeBSD"]]></title><description><![CDATA[
<p>>  I use FreeBSD at work every since day and while I don't hate it, I do wish we just used Linux. There are more guides, tools, etc for Linux than for FreeBSD.<p>Regarding guides specifically, FreeBSD has exceptional resources:<p><pre><code>  FreeBSD Handbook[0]
  FreeBSD Porter's Handbook[1]
  FreeBSD Developers' Handbook[2]
  The Design and Implementation of the FreeBSD Operating System[3]
</code></pre>
Not to mention that the FreeBSD man pages are quite complete.  Granted, I am biased as I have used FreeBSD in various efforts for quite some time and am a fan of it.  Still and all, the project's documentation is a gold standard IMHO.<p>0 - <a href="https://docs.freebsd.org/en/books/handbook/" rel="nofollow">https://docs.freebsd.org/en/books/handbook/</a><p>1 - <a href="https://docs.freebsd.org/en/books/porters-handbook/" rel="nofollow">https://docs.freebsd.org/en/books/porters-handbook/</a><p>2 - <a href="https://docs.freebsd.org/en/books/developers-handbook/" rel="nofollow">https://docs.freebsd.org/en/books/developers-handbook/</a><p>3 - <a href="https://books.google.com/books/about/The_Design_and_Implementation_of_the_Fre.html?id=KfCuBAAAQBAJ" rel="nofollow">https://books.google.com/books/about/The_Design_and_Implemen...</a></p>
]]></description><pubDate>Tue, 17 Mar 2026 01:18:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=47407407</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47407407</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47407407</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "What is agentic engineering?"]]></title><description><![CDATA[
<p>> You appear to be confusing "produce working code" with "exclusively produce working code".<p>The confusion is not mine own.  From the article cited:<p><pre><code>  Dave Treadwell, Amazon's SVP of e-commerce services, told 
  staff on Tuesday that a "trend of incidents" emerged since 
  the third quarter of 2025, including "several major" 
  incidents in the last few weeks, according to an internal 
  document obtained by Business Insider. At least one of 
  those disruptions were tied to Amazon's AI coding assistant 
  Q, while others exposed deeper issues, another internal 
  document explained.
  
  Problems included what he described as "high blast radius 
  changes," where software updates propagated broadly because 
  control planes lacked suitable safeguards. (A control plane 
  guides how data flows across a computer network).
</code></pre>
It appears to me that "Amazon's SVP of e-commerce services" desires producing working code and has identified the ramifications of not producing same.</p>
]]></description><pubDate>Mon, 16 Mar 2026 04:41:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=47395287</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47395287</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47395287</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "What is agentic engineering?"]]></title><description><![CDATA[
<p>> If you haven't seen coding agents produce working code you've not been paying attention for the past 3-12 months.<p>If you believe coding agents produce working code, why was the decision below made?<p><pre><code>  Amazon orders 90-day reset after code mishaps cause
  millions of lost orders[0]
</code></pre>
0 - <a href="https://www.businessinsider.com/amazon-tightens-code-controls-after-outages-including-one-ai-2026-3?op=1" rel="nofollow">https://www.businessinsider.com/amazon-tightens-code-control...</a></p>
]]></description><pubDate>Mon, 16 Mar 2026 03:43:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=47394995</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47394995</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47394995</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "What is agentic engineering?"]]></title><description><![CDATA[
<p>The premise is flawed:<p><pre><code>  Now that we have software that can write working code ...
</code></pre>
While there are other points made which are worth consideration on their own, it is difficult to take this post seriously given the above.</p>
]]></description><pubDate>Mon, 16 Mar 2026 03:17:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=47394831</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47394831</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47394831</guid></item><item><title><![CDATA[New comment by AdieuToLogic in "I made a programming language with M&Ms"]]></title><description><![CDATA[
<p>That is too cool, thanks again for sharing your exploration.<p>I suppose the only question remaining is if peanut M&Ms are higher-kinded when contrasted with the chocolate-only nullary type.<p>:-D</p>
]]></description><pubDate>Tue, 10 Mar 2026 02:09:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=47318347</link><dc:creator>AdieuToLogic</dc:creator><comments>https://news.ycombinator.com/item?id=47318347</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47318347</guid></item></channel></rss>