<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: lalaithion</title><link>https://news.ycombinator.com/user?id=lalaithion</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Tue, 14 Apr 2026 22:58:00 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=lalaithion" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by lalaithion in "Typechecking is undecidable when 'type' is a type (1989) [pdf]"]]></title><description><![CDATA[
<p>System.Object is a type of all objects, NOT a type of all types. That is, all objects are System.Object. If one has a class Foo, then every object of type Foo is also of type System.Object. But what is the type of Foo itself? Not of an instance of Foo, but Foo itself. In the languages this paper is about, the type system can recurse upon itself, allowing types themselves to have type. It’s sort of like C#’s System.Type, except System.Type is a class that holds type information for runtime type inspection, whereas the type of types in this paper is for compile-time generics that can abstract over not just types but the types of types as well.</p>
]]></description><pubDate>Mon, 02 Feb 2026 06:02:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=46852920</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=46852920</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46852920</guid></item><item><title><![CDATA[New comment by lalaithion in "If you're going to vibe code, why not do it in C?"]]></title><description><![CDATA[
<p>This post mixes up “easy for compilers and assemblers to transform and easy for cpus to execute” with “easy for LLMs to understand” and assumes that anything in the first category must also be in the second category since they’re both computers. In reality, the tools that help humans think are also useful for LLMs.</p>
]]></description><pubDate>Tue, 09 Dec 2025 19:36:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=46209510</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=46209510</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46209510</guid></item><item><title><![CDATA[New comment by lalaithion in "The New AI Consciousness Paper"]]></title><description><![CDATA[
<p>Yes; because - is on the keyboard and — isn't. (Don't tell me how to type —, I know how, but despite that it is the reason, which is what the parent comment asks about.)</p>
]]></description><pubDate>Fri, 21 Nov 2025 17:12:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=46006413</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=46006413</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46006413</guid></item><item><title><![CDATA[New comment by lalaithion in "Redmond, WA, turns off Flock Safety cameras after ICE arrests"]]></title><description><![CDATA[
<p>[flagged]</p>
]]></description><pubDate>Mon, 10 Nov 2025 19:27:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=45879779</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=45879779</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45879779</guid></item><item><title><![CDATA[New comment by lalaithion in "4Chan Lawyer publishes Ofcom correspondence"]]></title><description><![CDATA[
<p>The US-UK Mutual Legal Assistance treaty imposes obligations on Ofcom which they have not met, 4chan claims:<p>“None of these actions constitutes valid service under the US-UK Mutual Legal Assistance Treaty, United States law or any other proper international legal process.”<p><a href="https://www.courtlistener.com/docket/71209929/1/4chan-community-support-llc-v-uk-office-of-communications/" rel="nofollow">https://www.courtlistener.com/docket/71209929/1/4chan-commun...</a></p>
]]></description><pubDate>Sat, 18 Oct 2025 03:43:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=45624717</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=45624717</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45624717</guid></item><item><title><![CDATA[New comment by lalaithion in "Protobuffers Are Wrong (2018)"]]></title><description><![CDATA[
<p>Protocol buffers suck but so does everything else. Name another serialization declaration format that both (a) defines which changes can be make backwards-compatibly, and (b) has a linter that enforces backwards compatible changes.<p>Just with those two criteria you’re down to, like, six formats at most, of which Protocol Buffers is the most widely used.<p>And I know the article says no one uses the backwards compatible stuff but that’s bizarre to me – setting up N clients and a server that use protocol buffers to communicate and then being able to add fields to the schema and then deploy the servers and clients in any order is way nicer than it is with some other formats that force you to babysit deployment order.<p>The reason why protos suck is because remote procedure calls suck, and protos expose that suckage instead of trying to hide it until you trip on it. I hope the people working on protos, and other alternatives, continue to improve them, but they’re not worse than not using them today.</p>
]]></description><pubDate>Fri, 05 Sep 2025 15:58:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=45140032</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=45140032</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45140032</guid></item><item><title><![CDATA[New comment by lalaithion in "Measuring the environmental impact of AI inference"]]></title><description><![CDATA[
<p>They didn’t account for training. From the paper:<p>> LLM training & data storage: This study specifically considers the inference and serving energy consumption of an Al prompt. We leave the measurement of Al model training to future work.<p>This is disappointing, and no analysis is complete without attempting to account for training, including training runs that were never deployed. I’m worried these numbers would be significantly worse and that’s why we don’t have them.</p>
]]></description><pubDate>Sat, 23 Aug 2025 04:49:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=44993248</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=44993248</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44993248</guid></item><item><title><![CDATA[New comment by lalaithion in "Dicing an Onion, the Mathematically Optimal Way"]]></title><description><![CDATA[
<p>A couple nits, since we're already going above and beyond the normal amount of nitpicking:<p>1. In Kenji's article on how to cut an onion, he shows a picture after doing the horizontal cuts; he did five of them, not just one or two. (<a href="https://www.seriouseats.com/knife-skills-how-to-slice-and-dice-an-onion" rel="nofollow">https://www.seriouseats.com/knife-skills-how-to-slice-and-di...</a>)<p>2. I'm pretty sure I do more than 10 vertical cuts; there's no easy image in the link above and the video cuts before he does all the vertical cuts, but I think he's doing at least 20.<p>3. In real life, an onion starts flexing and bending when you cut. With a very sharp knife, I'm sure you do get a bunch of the small pieces which throw off the standard deviation for the "more cuts" method, but a bunch of the small pieces won't actually be cut as a layer of the onion is pushed out of the way instead of a tiny piece cut off.</p>
]]></description><pubDate>Thu, 14 Aug 2025 16:11:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=44902199</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=44902199</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44902199</guid></item><item><title><![CDATA[New comment by lalaithion in "We shouldn't have needed lockfiles"]]></title><description><![CDATA[
<p>What if your program depends on library a1.0 and library b1.0, and library a1.0 depends on c2.1 and library b1.0 depends on c2.3? Which one do you install in your executable? Choosing one randomly might break the other library. Installing both _might_ work, unless you need to pass a struct defined in library c from a1.0 to b1.0, in which case a1.0 and b1.0 may expect different memory layouts (even if the public interface for the struct is the exact same between versions).<p>The reason we have dependency ranges and lockfiles is so that library a1.0 can declare "I need >2.1" and b1.0 can declare "I need >2.3" and when you depend on a1.0 and b1.0, we can do dependency resolution and lock in c2.3 as the dependency for the binary.</p>
]]></description><pubDate>Wed, 06 Aug 2025 15:59:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=44813775</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=44813775</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44813775</guid></item><item><title><![CDATA[New comment by lalaithion in "Most RESTful APIs aren't really RESTful"]]></title><description><![CDATA[
<p>Yeah but GET doesn’t allow requests to have bodies (yeah, I know, technically you can but it’s not very useful), and this is a legitimate issue preventing its use in complex APIs.</p>
]]></description><pubDate>Wed, 09 Jul 2025 16:05:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=44511719</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=44511719</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44511719</guid></item><item><title><![CDATA[New comment by lalaithion in "Understanding effective type Aliasing in C [pdf]"]]></title><description><![CDATA[
<p>How is this related to the linked article? Assemblers won’t delete your code for treating a register with a float in it like an integer.</p>
]]></description><pubDate>Wed, 07 May 2025 02:42:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=43911738</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=43911738</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43911738</guid></item><item><title><![CDATA[New comment by lalaithion in "Haskelling My Python"]]></title><description><![CDATA[
<p>It’s a pretty bad system since it takes O(n^2) time to produce n integers but ¯\_(ツ)_/¯. Haskell avoids the extra cost by immutable-self-reference instead of creating a new generator each time.</p>
]]></description><pubDate>Mon, 21 Apr 2025 13:43:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=43751942</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=43751942</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43751942</guid></item><item><title><![CDATA[New comment by lalaithion in "Haskelling My Python"]]></title><description><![CDATA[
<p>The first item yielded from ints() is 1.<p>For the second item, we grab the first item from ints(), and then apply the map operation, and 1+1 is 2.<p>For the third item, we grab the second item from ints(), and then apply the map operation, and 1+2 is 3.</p>
]]></description><pubDate>Mon, 21 Apr 2025 13:28:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=43751810</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=43751810</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43751810</guid></item><item><title><![CDATA[New comment by lalaithion in "Regex Isn't Hard (2023)"]]></title><description><![CDATA[
<p>The author says “any lowercase character” but they mean “any character between the character ‘a’ and the character ‘z’”, which happens to correspond to the lower case letters in English but doesn’t include ü, õ, ø, etc.</p>
]]></description><pubDate>Mon, 21 Apr 2025 11:13:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=43750586</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=43750586</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43750586</guid></item><item><title><![CDATA[New comment by lalaithion in "Regex Isn't Hard (2023)"]]></title><description><![CDATA[
<p>The author says “any lowercase character” but they mean “any character between the character ‘a’ and the character ‘z’”, which happens to correspond to the lower case letters in English but doesn’t include ü, õ, ø, etc.</p>
]]></description><pubDate>Mon, 21 Apr 2025 11:12:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=43750584</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=43750584</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43750584</guid></item><item><title><![CDATA[New comment by lalaithion in "I Cannot Be Technical"]]></title><description><![CDATA[
<p>I think I understand what the author is trying to get at, and if I’m right then I agree with them, but this seems purposefully written in a style that inhibits understanding by the exact group it purports to be addressing.</p>
]]></description><pubDate>Thu, 17 Apr 2025 12:51:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=43716067</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=43716067</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43716067</guid></item><item><title><![CDATA[New comment by lalaithion in "A Postmortem of a Startup"]]></title><description><![CDATA[
<p>One of the ways in which supply is artificially restricted is that getting planning permission is difficult, so you’re not actually disagreeing with OP</p>
]]></description><pubDate>Wed, 16 Apr 2025 11:37:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=43704080</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=43704080</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43704080</guid></item><item><title><![CDATA[New comment by lalaithion in "AI models miss disease in Black and female patients"]]></title><description><![CDATA[
<p>Most trans people have undergone gender affirming medical care. A trans man who has had a hysterectomy and is on testosterone will have a
very different medical baseline than a cis woman. A trans woman who has had an orchiectomy and is on estrogen will have a very different medical baseline than a cis man. It is literally throwing out relevant medical information to attempt to ignore this.</p>
]]></description><pubDate>Thu, 27 Mar 2025 19:35:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=43497239</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=43497239</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43497239</guid></item><item><title><![CDATA[New comment by lalaithion in "Video game workers in North America now have an industry-wide union"]]></title><description><![CDATA[
<p>How do you think unions start? Yes, an entire workplace can just up and decide some day to unionize but more often unions start as non-bargaining unions and then at some point get enough support to bargain with the companies.</p>
]]></description><pubDate>Wed, 19 Mar 2025 17:03:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=43414565</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=43414565</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43414565</guid></item><item><title><![CDATA[New comment by lalaithion in "“Normal” engineers are the key to great teams"]]></title><description><![CDATA[
<p>I once worked with a 10x engineer who I could hand new backend APIs to and have a brand new ui component that supported the behavior in less than a day, consistently. I have worked with 10x engineers who spend hours on calls walking junior engineers through problems they're having. That's part of being a 10x engineer – what this article is talking about is random 1x engineers with a chip on their shoulder and unshakeable arrogance.</p>
]]></description><pubDate>Thu, 13 Mar 2025 22:12:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=43357744</link><dc:creator>lalaithion</dc:creator><comments>https://news.ycombinator.com/item?id=43357744</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43357744</guid></item></channel></rss>