Hacker News: pastel8739

New comment by pastel8739 in "Discovery of a new OpenAI agent message board"

pastel8739 — Fri, 04 Sep 2026 15:35:52 +0000

I hardly see how the Dow Jones in relevant here, that’s finance

New comment by pastel8739 in "Tooltips need a delay, and then they need to skip it"

pastel8739 — Wed, 26 Aug 2026 03:13:05 +0000

Because every single application rebuilds their own operating system

New comment by pastel8739 in "Anthropic's best AI model struggles to attract users as cheaper tools thrive"

pastel8739 — Mon, 24 Aug 2026 02:10:20 +0000

I don’t think they were complaining about literally flipping tabs but rather just needing to context switch so often. This doesn’t sound like it helps with that.

New comment by pastel8739 in "How Bluesky draws its logo on screenshots"

pastel8739 — Tue, 18 Aug 2026 01:45:11 +0000

Or, in the case of X, into the outside of the wall of the garden with no way through

New comment by pastel8739 in "The Case Against Formal Verification, 50 Years Later"

pastel8739 — Mon, 17 Aug 2026 01:12:10 +0000

do you have a reference to anywhere that discusses this further? It seems pretty trivial to me

New comment by pastel8739 in "The Case Against Formal Verification, 50 Years Later"

pastel8739 — Mon, 17 Aug 2026 01:10:06 +0000

Ok, I’ll bite, why is this wrong?

For a list of items I and an operator LEQ which returns bool for any pair of items in I, SORT() returns a list S such that:

1. Every item in I is present exactly once in S

2. For each consecutive pair of items (S_i, S_j) in S, LEQ(S_i, S_j) is true.

New comment by pastel8739 in "Protobuf has LSP support. You're welcome"

pastel8739 — Sun, 16 Aug 2026 20:36:16 +0000

Is this because load is lighter on their JSON endpoints that their gRPC ones?

New comment by pastel8739 in "What happens if an entire class of workers loses faith in their careers"

pastel8739 — Fri, 07 Aug 2026 19:54:35 +0000

Aren’t quants and what you would usually refer to as “investment bankers” pretty different groups of people?

New comment by pastel8739 in "AMD acquires Taalas to boost inference performance by etching models in silicon"

pastel8739 — Fri, 07 Aug 2026 04:02:32 +0000

This is the same pitch that people make about AI today. Speed isn’t the differentiator, quality is

New comment by pastel8739 in "Apple is getting this wrong"

pastel8739 — Tue, 04 Aug 2026 06:38:02 +0000

They are definitely trying to get you to think that Apple (the company perhaps single-handedly responsible for developing Chinese manufacturing) is racist

New comment by pastel8739 in "AI poster wins Ohio State Fair contest"

pastel8739 — Mon, 03 Aug 2026 04:11:02 +0000

You would never put an Oxford comma in a list of two items

New comment by pastel8739 in "AI poster wins Ohio State Fair contest"

pastel8739 — Mon, 03 Aug 2026 00:24:35 +0000

It actually says “celebrating Ohio and America’s 250th” (not Ohio’s) so this works ok

New comment by pastel8739 in "Keychron announces first open-source firmware for gaming mice"

pastel8739 — Thu, 30 Jul 2026 05:07:09 +0000

> QWERTY is hard to quit

Is your moonlander not QWERTY? Can’t you just change the layout, if not? Or do you mean the Ortholinear layout is hard to get used to?

I’ve been wanting to buy a moonlander…

New comment by pastel8739 in "Show HN: How far do I have to go to run into 100k people?"

pastel8739 — Wed, 29 Jul 2026 01:23:26 +0000

What does “distance to 100k people mean”?

New comment by pastel8739 in "Our position on open-weights models"

pastel8739 — Tue, 28 Jul 2026 02:42:13 +0000

The parent is, to my reading, arguing that Anthropic is indeed advocating for a ban. I do not see them making any judgement on whether that ban is justified or not. I don’t think that claim is hardline libertarian.

New comment by pastel8739 in "Our position on open-weights models"

pastel8739 — Tue, 28 Jul 2026 02:33:46 +0000

Formally verified against what spec?

New comment by pastel8739 in "Our position on open-weights models"

pastel8739 — Tue, 28 Jul 2026 02:23:29 +0000

Doesn’t this “adaptive system” just become part of the static defense? The same way that a bit of code that checks passwords against a db is “dynamic”, the options are either to beat the dynamic system (guess/phish a password, trick the AI) or find a way around it (use “forgot your password”, find a place that isn’t covered by the endpoint protection feeding the AI). I don’t see how inserting an agent somewhere fundamentally changes anything

New comment by pastel8739 in "Our position on open-weights models"

pastel8739 — Tue, 28 Jul 2026 02:14:20 +0000

I find “bad at comms” to be such a cop out. As if it’s saying that the company is so troubled and misunderstood, but really, you would see, is good if only they could figure out how to _communicate_ all their complex thoughts

New comment by pastel8739 in "The whole premise of checking for human writing is daft"

pastel8739 — Sat, 25 Jul 2026 17:00:33 +0000

If you’re working on it for 2 weeks, why not just write it yourself (perhaps chatting with an AI on the side to develop your thoughts)?

New comment by pastel8739 in "If coding has been solved, why does software keep getting worse?"

pastel8739 — Sat, 25 Jul 2026 06:36:14 +0000

I’ve had a little bit of this excitement when an update comes out with Zed. Updates are frequent, and while it’s totally usable it’s still immature enough as a full IDE that the improvements are often something that will directly improve how I use it. So that’s been nice. But this is the only example I’ve had where I’ve felt this in years and years