<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: trealira</title><link>https://news.ycombinator.com/user?id=trealira</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Mon, 06 Apr 2026 00:22:08 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=trealira" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by trealira in "How to rig elections [video]"]]></title><description><![CDATA[
<p>> steps the RNC didn't even take, in this case.<p>What steps are you referencing? I don't get your comment.<p>Also, the DNC and RNC just choose people and fundraise. It's strange to me how people refer to the parties like this.</p>
]]></description><pubDate>Fri, 15 Aug 2025 07:33:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=44909583</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44909583</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44909583</guid></item><item><title><![CDATA[New comment by trealira in "Can You Gerrymander Your Party to Power?"]]></title><description><![CDATA[
<p>> I'm really not sure why Democrats don't just let Trump shoot himself in the foot.<p>That had been their strategy, to just let Trump do things and become unpopular without drawing attention to themselves, but while Trump and Republicans have become less popular, Democrats' approval ratings have been sliding down as well (although they have a lead in the generic ballot) and polling indicates most Democratic voters think they're not doing enough to stop Trump. So, making a big show of "playing dirty" (threatening to gerrymander back in retaliation), and publicly saying that they'll no longer tie their hands behind their back, probably brings satisfaction to those people they're polling badly with. It's the kind of sentiment I've heard for years from online Democratic voters, and from people I know, but never was validated by the actual Democrats until now.</p>
]]></description><pubDate>Thu, 14 Aug 2025 23:05:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=44906766</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44906766</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44906766</guid></item><item><title><![CDATA[New comment by trealira in "US national debt reaches a record $37T, the Treasury Department reports"]]></title><description><![CDATA[
<p>2 years ago, Wharton predicted that the U.S. debt would be defaulted on in twenty years [0].<p>> Under current policy, the United States has about 20 years for corrective action after which no amount of future tax increases or spending cuts could avoid the government defaulting on its debt whether explicitly or implicitly (i.e., debt monetization producing significant inflation). Unlike technical defaults where payments are merely delayed, this default would be much larger and would reverberate across the U.S. and world economies.<p>My prediction is that the deficit will continue to increase, and so the default will come by then or sooner.<p>[0]: <a href="https://budgetmodel.wharton.upenn.edu/issues/2023/10/6/when-does-federal-debt-reach-unsustainable-levels" rel="nofollow">https://budgetmodel.wharton.upenn.edu/issues/2023/10/6/when-...</a></p>
]]></description><pubDate>Wed, 13 Aug 2025 22:12:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=44894486</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44894486</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44894486</guid></item><item><title><![CDATA[New comment by trealira in "Try and"]]></title><description><![CDATA[
<p>Funnily enough, this has resulted in people saying things like "見てみましょう" and "見てみてください", which confused me at first. But I suppose this is like non-native English speakers being confused by the extra "do" in phrases like "I already did do my work."</p>
]]></description><pubDate>Sun, 10 Aug 2025 18:49:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=44857307</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44857307</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44857307</guid></item><item><title><![CDATA[New comment by trealira in "Poorest US workers hit hardest by slowing wage growth"]]></title><description><![CDATA[
<p>Yeah, firing the labor statistics head because Trump say she's been faking the numbers to make him look bad actually makes it seem both obviously politically motivated and casts whatever comes after into doubt. Now their credibility is degraded.<p>That's different from just saying the numbers are obviously being faked under Biden or whatever with no real evidence because you just feel like the economy is bad and assume corruption. Now there actually does seem to be corruption!</p>
]]></description><pubDate>Mon, 04 Aug 2025 03:56:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=44782001</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44782001</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44782001</guid></item><item><title><![CDATA[New comment by trealira in "The United States withdraws from UNESCO"]]></title><description><![CDATA[
<p>Because he talks like them, and they know he's a scumbag, but he's their scumbag, which they sic on the people they hate most: the vermin liberals, the immigrants poisoning the blood of the country, the parasitic federal workers whose lives they want to make miserable, the trans people they deem as all predatory groomers, the academics and scientists they're defunding because it's all woke. It's about taking their lump of flesh. They excuse the open corruption as at least being open corruption, since they assume everyone else is ten times as corrupt behind closed doors. That's why they were fine withholding disaster relief from blue states in 2020.<p>It makes me angry as hell. They hate us and you can't say anything about it because if you're not nice enough to them, they act like you're being mean to them and the personal reason they'll continue to vote for people that demonize and hate you.</p>
]]></description><pubDate>Tue, 22 Jul 2025 15:56:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=44648815</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44648815</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44648815</guid></item><item><title><![CDATA[New comment by trealira in "“Reading Rainbow” was created to combat summer reading slumps"]]></title><description><![CDATA[
<p>>This is clearly dog whistle langauge and not intended to be taken literally, but it is starting to be a common trope and it makes me very curious as to how this industry operates?<p>It's clearly just dismissive language that doesn't have to make sense. The only purpose is to make climate change seem like a fake concept thought of by groups with nefarious intentions. It's like asking the author of a short story what the main character's favorite color is. That detail simply wasn't considered because it's not needed in the short story.</p>
]]></description><pubDate>Fri, 18 Jul 2025 04:07:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=44601105</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44601105</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44601105</guid></item><item><title><![CDATA[New comment by trealira in "A Rust shaped hole"]]></title><description><![CDATA[
<p>> "C is the language that combines raw power of assembly with expressiveness of assembly."<p>The most expressive part of C is the syntax oriented around writing terse, side-effectful expressions that manipulate buffers, pointers and counters, with the array of precedences and the pre- and post-increments and assignment operators and short-circuiting operators.
You can write stuff like this:<p><pre><code>  while (--n > 0 && (c = getchar()) != EOF && (*s++ = c) != '\n')
      ;
  *s = '\0';
</code></pre>
Or these snippets (taken from K&R):<p><pre><code>  // Parsing flags for command line arguments
  while (--argc > 0 && (*++argv)[O] == '-')
      while (c = *++argv[O])
          switch (c) {
          // ...
          }

  // Last line of a buffered `getchar()` implementation 
  return (--n >= 0) ? (unsigned char) *bufp++ : EOF;
</code></pre>
You can write other programs in C, like GUI programs and compilers, but it's not as nearly tailor made for such programs and it's basically just like assembly, like you said.</p>
]]></description><pubDate>Thu, 17 Jul 2025 15:58:30 +0000</pubDate><link>https://news.ycombinator.com/item?id=44594777</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44594777</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44594777</guid></item><item><title><![CDATA[New comment by trealira in "To be a better programmer, write little proofs in your head"]]></title><description><![CDATA[
<p>Yeah, it would have to be something like this if you wanted to avoid the signed integer overflow at the end of the loop:<p><pre><code>  assert(i <= j);
  for (;;) {
      do_something_with(i);
      if (i == j)
          break;
      i++;
  }</code></pre></p>
]]></description><pubDate>Wed, 16 Jul 2025 17:15:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=44584677</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44584677</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44584677</guid></item><item><title><![CDATA[New comment by trealira in "To be a better programmer, write little proofs in your head"]]></title><description><![CDATA[
<p>> I did consider that, but I wrote "in general" for a reason. It works very specifically in the case of "add one" or "subtract one", but it doesn't work with anything more complicated, like chasing pointers or adding/subtracting more than one at a time.<p>You're reminding me of the book "Modern Compiler Design." The author goes over how to compile a general Pascal-style for-loop correctly, accounting for increasing or decreasing ranges, differing step sizes, and accounting for overflow. It was written using just goto statements, so I adapted a version of it to C. Just replace "intN_t" with an actual integer size. It works by calculating the number of times the loop will run. If "from" is equal to "to," it's still going to run at least once. Again, this is not mine, just adapted from the author's code (Dick Grune's).<p><pre><code>  // enumerate: print out numbers from "from" to "to", inclusive, with step size "by"
  void enumerate(intN_t from, intN_t to, intN_t by) {
      uintN_t loop_count;
      intN_t i;
      if (by > 0) {
          if (from > to) return;
          loop_count = (to - from) / by + 1;
      } else if (by < 0) {
          if (from < to) return;
          loop_count = (from - to) / -by + 1;
      } else /* (by == 0) */ {
          // Maybe some kind of error
          return;
      }
      for (i = from; ; i += by) {
          printf("%d\n", i);
          if (--loop_count == 0) break;
      }
  }
</code></pre>
You can see it's more complicated than the idiomatic C for-loop, haha. But that's just a general solution. Like you guys noted, it could be simpler for step sizes of 1.</p>
]]></description><pubDate>Wed, 16 Jul 2025 05:22:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=44578945</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44578945</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44578945</guid></item><item><title><![CDATA[New comment by trealira in "To be a better programmer, write little proofs in your head"]]></title><description><![CDATA[
<p>It's true that theorem provers can be just sufficiently advanced type systems (the Curry Howard correspondence), but not all theorem provers operate that way. Isabelle/HOL operates on higher order logic. Imperative ones like SPARK or Dafny just rely on encoding preconditions and postconditions and things like loop invariants and just use SMT solvers for verification, IIRC.<p>Having an advanced type system does seem to encourage this sort of informal proof oriented thinking more than imperative and somewhat typeless languages do, though, since preconditions and postconditions and loop invariants and inductive proofs on loops are things you have to do yourself entirely in your head.</p>
]]></description><pubDate>Tue, 15 Jul 2025 18:27:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=44574347</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44574347</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44574347</guid></item><item><title><![CDATA[New comment by trealira in "Strategies for Fast Lexers"]]></title><description><![CDATA[
<p>Perhaps it's that you never have to read the whole file into memory at once if it's with a `FILE *` rather than a string. I'm not that person, this is just my assumption.</p>
]]></description><pubDate>Tue, 15 Jul 2025 12:15:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=44570344</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44570344</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44570344</guid></item><item><title><![CDATA[New comment by trealira in "Supreme Court's ruling practically wipes out free speech for sex writing online"]]></title><description><![CDATA[
<p>>I have not taken any position on whether or not children should be targeted with messages across the spectrum, ranging from the extreme on one end "It's okay for boys to play with dolls", to the extreme on the other "You will be happier after castration".<p>Mere gender non-conformity isn't enough for a diagnosis of gender dysphoria, despite what you're claiming. These are the DSM criteria for diagnosis of gender dysphoria in children:<p>---<p>A. A marked incongruence between one’s experienced/expressed gender and assigned gender, of at least 6 months’ duration, as manifested by at least six of the following (one of which must be Criterion A1):<p>1. A strong desire to be of the other gender or an insistence that one is the other gender (or some alternative gender different from one’s assigned gender).<p>2. In boys (assigned gender), a strong preference for cross-dressing or simulating female attire; or in girls (assigned gender), a strong preference for wearing only typical masculine clothing and a strong resistance to the wearing of typical feminine clothing.<p>3. A strong preference for cross-gender roles in make-believe play or fantasy play.<p>4. A strong preference for the toys, games, or activities stereotypically used or engaged in by the other gender.<p>5. A strong preference for playmates of the other gender.<p>6. In boys (assigned gender), a strong rejection of typically masculine toys, games, and activities and a strong avoidance of rough-and-tumble play; or in girls (assigned gender), a strong rejection of typically feminine toys, games, and activities.<p>7. A strong dislike of one’s sexual anatomy.<p>8. A strong desire for the primary and/or secondary sex characteristics that match one’s experienced gender.<p>B. The condition is associated with clinically significant distress or impairment in social, school, or other important areas of functioning.<p>---<p>> If you had any faith that your message was the correct one you wouldn't be on the internet arguing for access to other people's children.<p>Classy as ever implying that trans people are grooming children to be trans.<p>It seems like the opposite happens to me: parents with attitudes like yours will attempt to keep the existence of trans people secret in an attempt to groom their child to be cis, but if their child is gender dysphoric, it's not going to work and they're just going to suffer worse dysphoria-induced distress during puberty and transition as adults.</p>
]]></description><pubDate>Sun, 13 Jul 2025 16:36:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=44551596</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44551596</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44551596</guid></item><item><title><![CDATA[New comment by trealira in "Why English doesn't use accents"]]></title><description><![CDATA[
<p>If it were just a soft C, then "ocean" would sound more like "oh-see-in" or "oce-yin". But it's also been palatalized to sound like "oshin" in typical pronunciation. People might not have understood them because they didn't know this.</p>
]]></description><pubDate>Thu, 10 Jul 2025 14:18:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=44521406</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44521406</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44521406</guid></item><item><title><![CDATA[New comment by trealira in "Phrase origin: Why do we "call" functions?"]]></title><description><![CDATA[
<p>> since haskell is non-strict, if can be implemented as a function, and iirc it is<p>"If" can be implemented as a function in Haskell, but it's not a function. You can't pass it as a higher-order function and it uses the "then" and "else" keywords, too. But you could implement it as a function if you wanted:<p><pre><code>  if' :: Bool -> a -> a
  if' True x _ = x
  if' False _ y = y
</code></pre>
Then instead of writing something like this:<p><pre><code>  max x y = if x > y then x else y
</code></pre>
You'd write this:<p><pre><code>  max x y = if' (x > y) x y
</code></pre>
But the "then" and "else" remove the need for parentheses around the expressions.</p>
]]></description><pubDate>Wed, 09 Jul 2025 16:43:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=44512138</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44512138</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44512138</guid></item><item><title><![CDATA[New comment by trealira in "US Court nullifies FTC requirement for click-to-cancel"]]></title><description><![CDATA[
<p>More important than the Heritage Foundation is the Federalist Society in the case of getting more conservative judges.</p>
]]></description><pubDate>Wed, 09 Jul 2025 16:30:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=44511975</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44511975</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44511975</guid></item><item><title><![CDATA[New comment by trealira in "Adding a feature because ChatGPT incorrectly thinks it exists"]]></title><description><![CDATA[
<p>You're right. Those languages have morphological passive voice conjugations for their verbs. That, combined with their flexible word order, offers expressivity.<p>I was just pointing out that English, due to its strict word order, is more reliant on the passive voice to change word order than less inflexibly-ordered languages.<p>To borrow from a sentence I used in an earlier comment, here's a fragment of Spanish.<p>"...sólo porque te impresionó un espectáculo de magia barato."<p>The equivalent English would be "...just because you were impressed by a cheap magic show."<p>The English sentence has to use the passive voice to put the verb "impress" at the beginning of that phrase, whereas you still use the active voice in Spanish, just with the word order putting the verb first.</p>
]]></description><pubDate>Tue, 08 Jul 2025 21:27:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=44504202</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44504202</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44504202</guid></item><item><title><![CDATA[New comment by trealira in "Why English doesn't use accents"]]></title><description><![CDATA[
<p>> But but but the creator himself said it is gif like in gin and giraffe... right?<p>Yeah, that's what the creator said, and that's actually how I pronounce it, too. Just pointing out that "gi-" words can have both hard and soft Gs.<p>> TIL: gimp is gimp and not gimp? I always pronounced this like gin.<p>You learn something new every day!</p>
]]></description><pubDate>Tue, 08 Jul 2025 16:07:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=44501319</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44501319</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44501319</guid></item><item><title><![CDATA[New comment by trealira in "Why English doesn't use accents"]]></title><description><![CDATA[
<p>There's also Finnish.</p>
]]></description><pubDate>Tue, 08 Jul 2025 14:00:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=44500055</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44500055</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44500055</guid></item><item><title><![CDATA[New comment by trealira in "Adding a feature because ChatGPT incorrectly thinks it exists"]]></title><description><![CDATA[
<p>The passive voice just switches the roles so that the patient is the subject and the agent is the object (e.g. in "The ball was kicked by John," the ball is still the patient despite being the subject). It's just that with English word order, it also switches the places of the things in the sentence.<p>In languages with more flexible word order, you could just switch the two without passive voice. You could just say the equivalent of "The ball kicked John," with it being clear somehow that the ball is the grammatical object and John the subject, without needing to use the passive voice at all.</p>
]]></description><pubDate>Tue, 08 Jul 2025 12:29:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=44499346</link><dc:creator>trealira</dc:creator><comments>https://news.ycombinator.com/item?id=44499346</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44499346</guid></item></channel></rss>