Readit News logoReadit News
instig007 commented on The Isolation Trap: Erlang   causality.blog/essays/the... · Posted by u/enz
instig007 · 2 days ago
GHC Haskell has the best concurrency story among high-level programming languages. SMP parallelism, structured concurrency with M:N multicore mapping, STM transactions for data structures including members of collections (https://hackage.haskell.org/package/stm-containers), and OTP-like primitives (https://haskell-distributed.github.io/). All fit nicely into native binaries on x86_64 and arm64.
instig007 commented on The United States and Israel have launched a major attack on Iran   cnn.com/2026/02/28/middle... · Posted by u/lavp
AlexeyBelov · 16 days ago
> they aren't obliged to devote themselves to the US preferences at the US-preferred pace

Of course they are not. But then you know what happens: it's on every front page.

instig007 · 15 days ago
Ok, there's clarity on the side approaching negotiations in bad faith then. "Do as I say and when I say" is not a reasonable negotiating track, it's the final ultimatum and there's clarity on who's the aggressor too.
instig007 commented on The United States and Israel have launched a major attack on Iran   cnn.com/2026/02/28/middle... · Posted by u/lavp
JumpCrisscross · 16 days ago
> I'm waiting for you to apply your previously stated principle, that you admitted to be general, to Iranian diplomats' negotiating track

I've applied it. (That's why you asked for a general principle. Because I'd applied it to this specific case.) They have not been negotiating in good faith.

A case you've sustained by being unable to find any credible sources arguing Iran was negotiating in good faith.

instig007 · 16 days ago
> I've applied it. (That's why you asked for a general principle. Because I'd applied it to this specific case.) They have not been negotiating in good faith.

> My understanding is there was a genuine desire for diplomacy on the American side.

> A case you've sustained by being unable to find any credible sources

Correction: you were unable to find any credible sources, that could be your intentional bias though, as there are other patterns in your replies that suggest it too.

Also, you didn't apply the principle, you sought external validation to your preferred understanding. You appeal to external voices because there's the evident apprehension to come to inconvenient conclusions if you begin applying the principle uniformly by using your own mind.

Actually, let's see it live. Please provide the line of reasoning, starting with "If the US diplomats' job is to stall and never make any actual concessions to Iran, then ..."

> there was a genuine desire for diplomacy on the American side

By the way, how does that "genuine desire" manifest in reality? I hope it's not "I got those people in front of me extra five minutes to get lost and free my way home"

instig007 commented on The United States and Israel have launched a major attack on Iran   cnn.com/2026/02/28/middle... · Posted by u/lavp
JumpCrisscross · 16 days ago
> I asked specifically about generality of the principle, you kept saying "the US did this, Iran did that". You're stalling and refusing to tell the actual answer on the question I asked

Uh sure, yes, it generalizes. Not sure what that does for you, but yes.

> get better with search

...do you have a source? The fact that nobody in this subthread has an answer to this and is instead, as you put it, evading the question by getting distracted by whether America is negotiating in good faith should speak volumes to anyone reading this.

instig007 · 16 days ago
> Uh sure, yes, it generalizes. Not sure what that does for you, but yes.

ok, let's see

> do you have a source? The fact that nobody in this subthread has an answer to this and is instead, as you put it, evading the question by getting distracted by whether America is negotiating in good faith should speak volumes to anyone reading this.

No it shouldn't, there's no substance in your position, let alone volumes of any meaning to derive from it: "the other side must be acting in bad faith, because I don't like getting home late".

First off, I'm waiting for you to apply your previously stated principle, that you admitted to be general, to Iranian diplomats' negotiating track. And right after that, let's discuss why you did omit commenting on the other part with the substitutions around "giving in to America or Iran" and the respective interest groups having to save face.

I, as a barefoot landlord, am still wondering: why do you think your timings and preferences are the only ones to be respected?

instig007 commented on The United States and Israel have launched a major attack on Iran   cnn.com/2026/02/28/middle... · Posted by u/lavp
JumpCrisscross · 16 days ago
> Only according to you, based on the premise that someone didn't meet random timings that only exist in your head

I literally opened the top comment asking for any credible analysis that said the Iranians were negotiating in good faith. I haven't seen anything in any English, European or Asian sources that seemed to suggest they were.

So far, the only one I'm seeing arguing Iran was ready to do anything material is the Omani foreign minister. (I'm keeping an eye out for his substantiation on this point.)

> please answer the initial question I asked

Read past "are you asking serious questions." I literally answer it.

> Exactly why?

Negotiating in good faith means negotiating with a genuine intent to reach a deal. That requires acknowledging what the other side is saying and respecting reality. Someone can intentionally bullshit. Or they can be forced to bullshit because their regime at home has to save face and doesn't think it can survive being seen as giving in to America. Either way, bad faith.

> You need to be home around 5 so anyone standing in front of you and blocking you in a traffic jam aren't acting in good faith?

Bad analogy. Here's a better one: you're my landlord and I'm your tenant. (Ignoring the power imbalance between Iran and America, particularly when America is parking warships, is delusional.) You say I have ten minutes to plead for not being evicted. I genuinely don't think I did anything wrong. But I spend ten minutes talking about why your shoes are stupid. That's not engaging in good faith.

instig007 · 16 days ago
> Read past "are you asking serious questions." I literally answer it.

ok, you evaded the answer, I asked specifically about generality of the principle, you kept saying "the US did this, Iran did that". You're stalling and refusing to tell the actual answer on the question I asked, so that's germane.

> I haven't seen anything in any English, European or Asian sources that seemed to suggest they were.

too bad, get better with search

> Negotiating in good faith means negotiating with a genuine intent to reach a deal. That requires acknowledging what the other side is saying and respecting reality. Someone can intentionally bullshit. Or they can be forced to bullshit because their regime at home has to save face and doesn't think it can survive being seen as giving in to America.

Negotiating in good faith means negotiating with a genuine intent to reach a deal. That requires acknowledging what the other side is saying and respecting reality. Someone can intentionally bullshit. Or they can be forced to bullshit because their political leaders at home have to save face before their donors and don't think they can survive elections being seen as giving in to Iran.

> Bad analogy. Here's a better one: you're my landlord and I'm your tenant. (Ignoring the power imbalance between Iran and America, particularly when America is parking warships, is delusional.) You say I have ten minutes to plead for not being evicted. I genuinely don't think I did anything wrong. But I spend ten minutes talking about why your shoes are stupid. That's not engaging in good faith.

Bad analogy, I walk barefoot and I don't talk to tenants, my representatives do and they end the contract with you on a legal basis of contractual terms and that's about it. That's my property after all.

Now, you in turn are still standing in a traffic jam and getting angry at me and people around you, you claim that we all don't respect your preferences and timings, so we must be acting in bad faith.

instig007 commented on The United States and Israel have launched a major attack on Iran   cnn.com/2026/02/28/middle... · Posted by u/lavp
JumpCrisscross · 16 days ago
> does this line of reasoning apply to the US only, or in general?

Are you asking serious questions? I think the evidence shows the U.S. was negotiating in good faith in the beginning (and I'm scoping to this round of negotiations only). And then it concluded there was no deal to be had, and we probably started bullshitting as well. At the same time, I think the evidence shows the Iranian side was mostly bullshitting the whole time.

> they had an option to do it and still continue a diplomatic track

Well sure. We also had the option to terminate negotiations, ratchet up sanctions and walk away. None of that changes that the Iranians weren't negotiating in good faith. (Again, based on what I've seen. Open to changing my mind. But the lack of any discussion of what Iran did in this subthread seems to underline my point.)

> they aren't obliged to devote themselves to the US preferences at the US-preferred pace

War is politics by other means. They aren't obligated to accept the other's timeline. But I wouldn't say that's negotiating either realistically or in good faith–you can't just ignore material variables because you don't like that they exist.

instig007 · 16 days ago
> Are you asking serious questions?

Just answer the question whether it applies in general as a principle. Don't "stall and never tell any actual" position on the matter.

> We also had the option to terminate negotiations, ratchet up sanctions and walk away. None of that changes that the Iranians weren't negotiating in good faith

Only according to you, based on the premise that someone didn't meet random timings that only exist in your head.

> But the lack of any discussion of what Iran did in this subthread seems to underline my point

not really, please answer the initial question I asked.

> They aren't obligated to accept the other's timeline. But I wouldn't say that's negotiating in good faith.

Exactly why? You need to be home around 5 so anyone standing in front of you and blocking you in a traffic jam aren't acting in good faith?

instig007 commented on The United States and Israel have launched a major attack on Iran   cnn.com/2026/02/28/middle... · Posted by u/lavp
JumpCrisscross · 16 days ago
> you don't need an analyst to see who strikes first (and the frequency of that pattern) while diplomats are still at the negotiating table

Of course you do. If the diplomats' job is to stall and never make any actual concessions, that's germane. My understanding is there was a genuine desire for diplomacy on the American side. But at least this round, Tehran never conceded on any material fronts.

instig007 · 16 days ago
> If the diplomats' job is to stall and never make any actual concessions, that's germane.

does this line of reasoning apply to the US only, or in general?

> My understanding is there was a genuine desire for diplomacy on the American side. But at least this round, Tehran never conceded on any material fronts.

they had an option to do it and still continue a diplomatic track, they aren't obliged to devote themselves to the US preferences at the US-preferred pace.

instig007 commented on The United States and Israel have launched a major attack on Iran   cnn.com/2026/02/28/middle... · Posted by u/lavp
instig007 · 16 days ago
you don't need an analyst to see who strikes first (and the frequency of that pattern) while diplomats are still at the negotiating table
instig007 commented on Technical Excellence Is Not Enough   raccoon.land/posts/techni... · Posted by u/bo0tzz
instig007 · 18 days ago
> Ignoring it costs more later, but later is someone else's problem.

and then the blame could be shifted to the future generations, it's their incompetence after all.

> Correctness wins when the cost of ignoring it becomes impossible to miss: an outage, a customer complaint, data loss. Until then, comfort wins every time.

Those who tolerate comfort-winning aren't engineers and shouldn't be admitted to stand close to engineering systems overall, especially outside the software industry.

instig007 commented on Parse, Don't Validate and Type-Driven Design in Rust   harudagondi.space/blog/pa... · Posted by u/todsacerdoti
qsera · 21 days ago
> but the crucial part is: the "validation" word is systematically pushed to the program boundaries

Yea, so again. Isn't that freaking obvious?! That author seem to be experienced in Haskell where this kind of thing is common knowledge and for some reason this seems to be some kind of revelation to them...

instig007 · 20 days ago
> Yea, so again. Isn't that freaking obvious?!

apparently not, as I always find snippets of patterns of this kind from my coworkers (and I've worked in many companies, including the ones that require precision for legal compliance):

    def do_business_stuff(data):
        orders = data.get("orders")
        if not orders:
            return
        for order in orders:
            attr = order.get("attr")
            if attr and len(attr) < 5:
                continue
            ...
The industry's awareness baseline is very low, and it's across tech stacks, Haskell is no exception. I've seen stuff people do with Haskell at 9 to 5 when the only thing devs cared about was to carry on (and preferably migrate to Go), and I wasn't impressed at all (compared to pure gems that can be found on Hackage). So in that sense having the article that says "actually parse once, don't validate everywhere" is very useful, as you can keep sending the link over and over again until people either get tired of you or learn the pattern.

u/instig007

KarmaCake day113September 15, 2024View Original