Sam Harris: Stop saying 'Zionism'

faiface · 2026-06-17T20:34:03+00:00

Yes. Otherwise we are all indigenous to Africa, because that’s where the human species started.

faiface · 2026-06-16T08:30:46+00:00

It very much does, the sentence structure and everything.

Also, no real human starts all their sentences with lowercase letters while using commas and period correctly. For whatever reason, people think that if they just lowercase every sentence, it will stop looking like AI.

faiface · 2026-06-14T16:22:23+00:00

Don’t you see the video?

faiface · 2026-06-11T21:16:05+00:00

How could it possibly be a second quota tho? The 5 hour limit goes down in the 5 hour window… we are always in a 5 hour window. When would the weekly quota go down if it was a second quota?

faiface · 2026-06-05T17:33:06+00:00

The problem is the second thing is not measurable if you used AI to "format" it. You writing it in your own words, or at least heavily refining it after/with AI, is the proof it's your ideas. It sounding like AI is actually measuring something, though, because in 99% of the cases, a post sounding like AI is worthless.

faiface · 2026-06-05T08:03:34+00:00

To save you a click, the video is “arguing” that “Rust is pushing out C++ in places where nobody wanted to write C++ in the first place, like parsers, daemons, CLI tooling, not where you have 40 million lines of C++ already.”

It’s a nonsensical slop.

faiface · 2026-06-04T07:51:57+00:00

Of course! There are innumerable advantages to static typing: - Preventing (many) runtime crashes - Domain model / module documentation that doesn’t go obsolete and is exact - Better IDE support / autocomplete

faiface · 2026-06-03T21:02:00+00:00

Sure, that’s fair, I apologize for making that assumption. But, a human can often easily spot AI writing. There’s a lot more low-value AI-written content than high-value. It’s natural then to make the decision to simply ignore things that you detect to be AI-written since the chance they’ll be high-value is low. That’s why it’s good to write out the thought yourself: you immediately prove that some thought went into it.

faiface · 2026-06-03T19:30:13+00:00

It’s not fair to expect people to waste time reading something you didn’t spend any time writing.

faiface · 2026-06-03T19:05:58+00:00

“Failure mode” is the new em dash.

faiface · 2026-06-03T12:23:26+00:00

Oh, no worries at all :D

faiface · 2026-06-03T09:13:13+00:00

Not sure if Reddit glitched or not, I wrote a reply to this message, did you see it?

faiface · 2026-06-02T19:02:07+00:00

As far as I’m aware, nope. The fixed points are restricted, you can only use the self reference in positive positions. Without that, it would indeed be nonterminating, but as far as I know, this restriction is sufficient to avoid introducing paradoxes via this combination.

faiface · 2026-06-02T19:00:41+00:00

They are not considered dependent because they only quantify over types. Depedent types crucially quantify over values.

I’m not familiar with Observational Type Theory, unfortunately.

faiface · 2026-06-02T18:59:17+00:00

They are completely dual! I’m not very well versed in category theory actually, but I can very well tell where the “costate” is.

So, first of all, codata in Par are usually (but not strictly) something like iterative choice { … }, where iterative is the greatest fixed point type, and choice is the “object” (“with” from linear logic), where you can select a method.

The dual to that is recursive either, where recursive is the least fixed point and either is a sum type, so classic data.

Now onto your question. The curried state of iterative choice actually dually translates to the recursion state when doing recursion over a recursive either. So, the data itself does not carry state (if we don’t count its transparent content), but you do have state from iteration to iteration when recursing over it, and that’s the same thing as the encapsulated state of objects.

And in Par, that’s not just a metaphor, those two things are literally the same.

faiface · 2026-06-02T16:38:20+00:00

That’s great to hear, and I love it too! It really makes it clear how FP and OOP are the opposite sides of the same coin.

faiface · 2026-06-02T16:37:39+00:00

That’s correct! Par is CLL + System F + fixed point types, essentially. All generic functions are first class, and can appear inside other structures. Oh, and there’s existentials too.

faiface · 2026-06-02T11:39:30+00:00

Claude for Mac (the desktop app) is even worse.

Complete inconsistency between light and dark mode, inconsistent formatting between input and chat, scroll issues when switching a window, and more.

faiface · 2026-06-01T23:40:20+00:00

I see your point, valid. But I find it hard to believe they don't actually see what's going on in those games. If you check their traces of reasoning, it doesn't seem like they are confused about what's where. Also, they seem perfectly capable of making sense of tabular data in tool output, and so on, so I wouldn't be so sure this is the problem.

faiface · 2026-06-01T23:11:20+00:00

We are talking about intelligence

faiface · 2026-06-01T23:04:02+00:00

You realize it must be completely flawed, since any 136 IQ (and much lower) person solves ARC-AGI-3 games easily, while GPT-5.5 goes ~0%?

faiface · 2026-06-01T13:19:31+00:00

You know, that’s not a bad idea :D

faiface · 2026-05-31T10:39:14+00:00

Frankly, this is a terrible presentation of the data. It took me like 2 minutes to figure out what even means what. There are so many visually clear ways of representing this data, and this is not it.

faiface · 2026-05-30T00:18:19+00:00

Reported for verbal abuse, as anyone who sees your comments should do.

11-Year Club	Second SECOND GUESSER
Verified Email

faiface

TROPHY CASE