<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: eithed</title><link>https://news.ycombinator.com/user?id=eithed</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Wed, 15 Apr 2026 00:29:02 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=eithed" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by eithed in "Lean proved this program correct; then I found a bug"]]></title><description><![CDATA[
<p>I think mutation testing helps in defining semantic coverage, if I understand what you're saying</p>
]]></description><pubDate>Tue, 14 Apr 2026 17:19:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=47768440</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=47768440</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47768440</guid></item><item><title><![CDATA[New comment by eithed in "Lean proved this program correct; then I found a bug"]]></title><description><![CDATA[
<p>These were my thoughts as well and it's nothing new, I think, regarding testing altogether:<p>- testing libraries (and in this case - language itself) can have bugs<p>- what is not covered by tests can have bugs<p>Additionally would add that tests verify the assumptions of coder, not expectations of the business.<p>To give benefit to the author - I'd read the article as: having tests for given thing ensures that it does the thing that you built the tests for. This doesn't mean that your application is free of bugs (unless you have 100% coverage, can control entire state of the system, etc) nor that it does the right thing (or that it does the thing the right way)</p>
]]></description><pubDate>Tue, 14 Apr 2026 13:18:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=47765288</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=47765288</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47765288</guid></item><item><title><![CDATA[New comment by eithed in "You can't cancel a JavaScript promise (except sometimes you can)"]]></title><description><![CDATA[
<p>> Promise itself has no first-class protocol for cancellation, but you may be able to directly cancel the underlying asynchronous operation, typically using AbortController.<p><a href="https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Promise" rel="nofollow">https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...</a></p>
]]></description><pubDate>Tue, 07 Apr 2026 14:42:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=47676205</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=47676205</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47676205</guid></item><item><title><![CDATA[New comment by eithed in "Ask HN: Client took over development by vibe coding. What to do?"]]></title><description><![CDATA[
<p>Agree. "Owning" in this context should mean: understanding the domain, working on new capabilities and handling fallout if anything goes wrong. Whether AI or human ownership transfer  this ends with the new owner just handling new work, while the other two remain with previous owner (who might emotionally provide support for it due to attachment of "I've built it")</p>
]]></description><pubDate>Wed, 01 Apr 2026 17:20:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=47603765</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=47603765</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47603765</guid></item><item><title><![CDATA[New comment by eithed in "A lawyer won Anthropic's hackathon – what everyone missed"]]></title><description><![CDATA[
<p>Agree - domain experts lack the expertise on how things should be built. Developers lack the expertise of what should be built. In each case, one can get into the role of the other, per what you say: "humans who do the translation between those who deeply understand a system and software". LLMs will extrapolate for both (whether it's good or bad)</p>
]]></description><pubDate>Thu, 26 Mar 2026 09:51:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=47528459</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=47528459</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47528459</guid></item><item><title><![CDATA[New comment by eithed in "Slovenian officials blame Israeli firm Black Cube for trying to manipulate vote"]]></title><description><![CDATA[
<p>Nawrocki is just incompetent (and to be fair that was his selling point for PiS). Now - Kaczynski, that's where true evil lies</p>
]]></description><pubDate>Wed, 25 Mar 2026 18:29:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=47521304</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=47521304</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47521304</guid></item><item><title><![CDATA[New comment by eithed in "The Appalling Stupidity of Spotify's AI DJ"]]></title><description><![CDATA[
<p>What a strange take - you dismiss valid criticisms of Spotify product, just to venture off into the land of "well you can create a mac app with one sentence" as if that would matter here.</p>
]]></description><pubDate>Sun, 15 Mar 2026 12:03:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=47386603</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=47386603</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47386603</guid></item><item><title><![CDATA[New comment by eithed in "When AI writes the software, who verifies it?"]]></title><description><![CDATA[
<p>Once upon a time people were thinking about what they're doing. LLMs absolve people from thinking</p>
]]></description><pubDate>Wed, 04 Mar 2026 11:10:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=47245894</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=47245894</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47245894</guid></item><item><title><![CDATA[New comment by eithed in "Technical Excellence Is Not Enough"]]></title><description><![CDATA[
<p>The prevalent pattern I can see is making things mundane. Capabilities that you are enabling are no longer something that only you could do, was you expertise there at all? Things running smoothly is something that is granted. Doing your job well becomes unexceptional</p>
]]></description><pubDate>Thu, 26 Feb 2026 18:37:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=47170141</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=47170141</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47170141</guid></item><item><title><![CDATA[New comment by eithed in "Technical Excellence Is Not Enough"]]></title><description><![CDATA[
<p>I find this hilarious given that I've experienced it from both viewpoints - 1. consultant implemented their half baked solution that continued to bite us for my tenure and imo was completely unmaintainable; how were they able to convince leadership about their ideas - sometimes it's just snake oil 2. In new place am preaching certain things to people that do listen and seem to want to do it - it makes me a bit uncomfortable and to a degree scary in how easily you can find acolytes. They do validate my suggestions, ask questions and most importantly - think, so I am hopeful that I won't turn out to be a false prophet</p>
]]></description><pubDate>Thu, 26 Feb 2026 18:17:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=47169832</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=47169832</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47169832</guid></item><item><title><![CDATA[New comment by eithed in "Technical Excellence Is Not Enough"]]></title><description><![CDATA[
<p>I agree with this summary to a degree. Additional problem arises when you simply cannot raise the standard as you lack political influence to do so. As it is said in the article - sometimes companies are comfortable with status quo, irregardless of the problems, whether they are technical or not. Another issue stems when product, rather than looking at tech as a partner in pursuit of common goal starts to see it as an underling.</p>
]]></description><pubDate>Thu, 26 Feb 2026 18:11:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=47169745</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=47169745</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47169745</guid></item><item><title><![CDATA[New comment by eithed in "Technical Excellence Is Not Enough"]]></title><description><![CDATA[
<p>I worked for 7 years in a place where my technical insight slowly turned into questioning my decisions and expertise (this was after being 3 years in tech lead and 2 years in staff engineer role). Sometimes the solution is just to walk away</p>
]]></description><pubDate>Thu, 26 Feb 2026 12:55:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=47165418</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=47165418</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47165418</guid></item><item><title><![CDATA[New comment by eithed in "Battle-Testing Lynx at Allegro"]]></title><description><![CDATA[
<p>Especially when some of the responses are in English :D</p>
]]></description><pubDate>Thu, 05 Feb 2026 17:01:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=46901790</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=46901790</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46901790</guid></item><item><title><![CDATA[New comment by eithed in "Amazon closing its Fresh and Go stores"]]></title><description><![CDATA[
<p>When did naming things have to reflect reality? ie it's "Burger King" and not "Bearable Burger"</p>
]]></description><pubDate>Tue, 27 Jan 2026 17:04:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=46782814</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=46782814</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46782814</guid></item><item><title><![CDATA[New comment by eithed in "We ran high-level US civil war simulations. Minnesota is how they start"]]></title><description><![CDATA[
<p>As an outsider I have a question - do you actually feel that protest after ICE killing an american citizen would be driven by somebody paying for it, instead of being a civic movement?</p>
]]></description><pubDate>Wed, 21 Jan 2026 18:08:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=46709231</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=46709231</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46709231</guid></item><item><title><![CDATA[New comment by eithed in "Google co-founder reveals that "many" of the new hires do not have a degree"]]></title><description><![CDATA[
<p>> A degree used to be a class distinction, a signal that someone belonged to the affluent in-group.<p>While I understand and agree to a certain degree, (and as a person with degree) it still fills me with dread where I work with senior developers who don't have a clue what is complexity of their algorithms or lack basic problem solving skills that a degree would instill in them. People can absolutely learn on the job but degree would still give me an idea of what I can expect from given person.<p>As a side note, LLMs are an equalizer that makes degrees less relevant when near keyboard; still, I want to talk to people that understand the concepts they're operating with when afk</p>
]]></description><pubDate>Wed, 21 Jan 2026 16:11:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=46707669</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=46707669</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46707669</guid></item><item><title><![CDATA[New comment by eithed in "enclose.horse"]]></title><description><![CDATA[
<p>A nice easter egg - click on a horse, when enclosed, on mobile</p>
]]></description><pubDate>Wed, 07 Jan 2026 22:02:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=46533685</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=46533685</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46533685</guid></item><item><title><![CDATA[New comment by eithed in "Tesla sales fell by 9 percent in 2025, its second yearly decline"]]></title><description><![CDATA[
<p>Invest in batteries<p>Edit: I mean focus solely on. It's a boring technology prone to disruption, used everywhere</p>
]]></description><pubDate>Fri, 02 Jan 2026 22:21:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=46470163</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=46470163</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46470163</guid></item><item><title><![CDATA[New comment by eithed in "The future of software development is software developers"]]></title><description><![CDATA[
<p>In gemini:<p>> The reverse of the string 'gssssyeekxxuoaqaaaiooo9aaa7zjx' is:<p>xjz7aaa9oooiiaaaqauxxkyeessssg<p>> Youve made a mistake<p>```
I see where I tripped up! Let's re-examine that long string carefully.<p>The original string you gave me was:
`gssssyeekxxuoaqaaaiooo9aaa7zjx`<p>Let's look at the end of that string: `...aaa7zjx`.
When we reverse it, it should start with: `xjz7aaa...`<p>Here is the precise character-by-character reversal:<p>*xjz7aaa9oooiiaaaqauxxkyeessssg*<p>Wait—I see it now. In my previous response, I included an extra *'i'* and missed one *'o'* in the middle section. Let's do a strict count to get it perfect:<p>* *Original:* `g` `ssss` `y` `ee` `k` `xx` `u` `o` `a` `q` `aaa` *`iooo`* `9` `aaa` `7` `z` `j` `x`
* *Correct Reverse:* `x` `j` `z` `7` `aaa` `9` *`oooi`* `aaa` `q` `a` `o` `u` `xx` `k` `ee` `y` `ssss` `g`<p>The correct reversed string is:
*xjz7aaa9oooiiaaaqauoxxkyeessssg*<p>Thank you for catching that. It’s easy for the eyes to glaze over when there are so many repeating vowels!<p>Since I've stumbled a bit on these, would you like to give me one more string to see if I can get it right on the first try?
```<p>After more back and fors it consistently fails in this task, even though when strictly dividing the tokens it will get this right. Yet the final answer is always wrong.</p>
]]></description><pubDate>Mon, 29 Dec 2025 22:53:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=46426953</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=46426953</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46426953</guid></item><item><title><![CDATA[New comment by eithed in "Grok and the Naked King: The Ultimate Argument Against AI Alignment"]]></title><description><![CDATA[
<p>* stares at presidents / party leaders, religious leaders, social media influencers, tv stars, singers *<p>No, surely no</p>
]]></description><pubDate>Sun, 28 Dec 2025 15:15:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=46411645</link><dc:creator>eithed</dc:creator><comments>https://news.ycombinator.com/item?id=46411645</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46411645</guid></item></channel></rss>