Evidence is often contradictory, especially in the social sciences--that is not a terribly damning charge in this case. Additionally, there is evidence that relationship between social media use and anxiety/depression is not just an association, see Meta's own internal research from 2019: https://metasinternalresearch.org/#block-2e15def2e67a803a83e....
"Meta’s own researchers found — in an experiment they believed was better designed than any external study done thus far — that reducing time on their platforms improved mental health and well-being, specifically depression, anxiety, loneliness, and social comparison."
Ok, they have changed their pricing. Currently they are capping the number of concurrent agents. At one point, they introduced minutes cap and that was very big step down.
The ad is hilariously bad but McDonald’s has done many terrible ads over the years where “creatives” were involved eg the infamous random red couch ad.
I would like this to be true, but am a bit skeptical.
I am what the article calls an "industrial software engineer" and I work on "low- to medium-assurance" projects, but have used various formal methods (alloy and TLA+) in my work to prevent and discover bugs.
I've experimented with using LLMs to generate both Alloy and TLA+ a couple times over the past years, and the problems I see are:
- They have gotten better over the last few years, but still can only produce useful results in the hands of someone who is moderately competent. Becoming moderately competent requires many hours of investment in these tools, and you will lose much of this competence if you don't keep it up. For example, I can still read TLA+ and Pluscal but can't write them without lots of referring to the docs because I only write them like once or twice a year.
- They suffer even more from GIGO than other aspects of software development. If you can't really rigorously define your problem you will get a bad model/output that only gives you false confidence. A large part of the value of doing formal methods is building the muscle for thinking rigorously. Hillel Wayne says this in several places, that doing enough TLA+ (e.g.) work gives you a much better innate sense for where there will be race conditions.
- There will still be a cultural and technical problems with integrating formal methods, and their artifacts, into the rest of your codebase and team. For example, how do you prevent drift? Will you have a CI automation that uses an LLM to detect when the spec has diverged from the code?
I'm not saying it is impossible that this will happen, and I would love to be wrong, but the general tendency I see with LLM use is to make software developers less intimately familiar with their tools, and less invested in deeply understanding their code. That bodes ill for formal methods even more than regular programming.
What would you suggest as a reference problem (a benchmark of sorts) to try to play with formal methods for someone with just a bit of formal verification background but not in the field of software verification? Can you suggest some helpful materials?
I've come across TLA+ multiple times, but it seems it was more targeted towards distributed systems (Lamport being the creator, that makes sense). Is it correct, that it would be useless in other domains?
Roll back is not always the right answer. I can’t speak to its appropriateness in this particular situation of course, but sometimes “roll forward” is the better solution.
Like the other poster said, roll back should be the right answer the vast majority of the time. But it's also important to recognize that roll forward should be a replacement for the deployment you decided not to roll back, not a parallel deployment through another system.
I won't say never, but a situation where the right answer to avoid a rollback (that it sounds like was technically fine to do, just undesirable from a security/business perspective) is a parallel deployment through a radioactive, global blast radius, near instantaneous deployment system that is under intense scrutiny after another recent outage should be about as probable as a bowl of petunias in orbit
Is a roll back even possible at Cloudflare's size?
With small deployments it usually isn't too difficult to re-deploy a previous commit. But once you get big enough you've got enough developers that half a dozen PRs will have been merged since the start of the incident and now. How viable is it to stop the world, undo everything, and start from scratch any time a deployment causes the tiniest issues?
Realistically the best you're going to get is merging a revert of the problematic changeset - but with the intervening merges that's still going to bring the system in a novel state. You're rolling forwards, not backwards.
The short answer is "yes" due to the way the configuration management works. Other infrastructure changes or service upgrades might get undone, but it's possible. Or otherwise revert the commit that introduced the package bump with the new code and force that to rollout everywhere rather than waiting for progressive rollout.
There shouldn't be much chance of bringing the system to a novel state because configuration management will largely put things into the correct state. (Where that doesn't work is if CM previously created files, it won't delete them unless explicitly told to do so.)
That will depend on how you structure your deployments, on some large tech companies, while thousands of changes little are made every hour, and deployments are mande in n-day cycles. A cut-off point in time is made where the first 'green' commit after that is picked for the current deployment, and if that fails in an unexpected way you just deploy the last binary back, fix (and test) whatever broke and either try again or just abandon the release if the next cut is already close-by.
You want to build a world where roll back is 95% the right thing to do. So that it almost always works and you don't even have to think about it.
During an incident, the incident lead should be able to say to your team's on call: "can you roll back? If so, roll back" and the oncall engineer should know if it's okay. By default it should be if you're writing code mindfully.
Certain well-understood migrations are the only cases where roll back might not be acceptable.
Always keep your services in "roll back able", "graceful fail", "fail open" state.
This requires tremendous engineering consciousness across the entire org. Every team must be a diligent custodian of this. And even then, it will sometimes break down.
Never make code changes you can't roll back from without reason and without informing the team. Service calls, data write formats, etc.
I've been in the line of billion dollar transaction value services for most of my career. And unfortunately I've been in billion dollar outages.
Cloudflare is supposed to protect me from occasional ddos, not take my business offline entirely.
This can be architected in such a way that if one rules engine crashes, other systems are not impacted and other rules, cached rules, heuristics, global policies, etc. continue to function and provide shielding.
You can't ask for Cloudflare to turn on a dime and implement this in this manner. Their infra is probably very sensibly architected by great engineers. But there are always holes, especially when moving fast, migrating systems, etc. And there's probably room for more resiliency.
I don't know much about Franklin, but this strikes me as a gross oversimplification of Rousseau, to the point where I wonder whether the author has actually read much Rousseau, rather than just other lightweight "thinky pieces" on Rousseau. For example The Social Contract is significantly concerned with how people can and will act in accordance with the general will.
Also the idea that these philosophies are "almost entirely incompatible" reveals the author's complete ignorance of one of the most important influences in Western philosophy, Aristotle, for whom concordance of action and "intention" (arguably not an ancient Greek concept, but close enough for an hn comment) must be united in ethically good action.
But if your goal is not actually to understand anything and merely to sound smart on a causal reading, and perhaps try to get people to "not think so damn much and just do stuff" I guess this piece achieves its goal.
> concordance of action and "intention" .... must be united in ethically good action
Yeah, I had to disagree with how TFA brought "fake it till you make it" into this very discussion.
Yes, one can have "faking" that ultimately ends up creating the thing it promised....but I fear that for each such benign or constructive "fake" there are so many cases of Theranos et al that I could ever remove what you called intention and ethically good action from the calculation.
Alice is a horrible sociopathic monster that fakes being good because of the social utility it provides.
Bob is authentically, genuinely a "good" person (however you define it).
If the two are indistinguishable from an outsider's perspective, and arrived at a similar level of social status and "success" (intentionally vaguely defined), the path they got there may not matter to you. At least, it might not at a glance? If you don't think about it too long? Or deal with them for too long?
You are changed by the intention behind your decisions. Someone who continually chooses to do things out of greed turns into a greedier person. Someone who continually chooses compassion becomes a more compassionate person.
Even if the external outcome is the same, the direction towards which the person evolves is vastly different. And when lifted out of a narrow thought experiment, in real life, who you are does determine all the great and small ways you behave, and the methods you are willing to employ.
That’s why in the Sermon on the Mount, Christ says “It was said to those of old, you shall not murder, and whoever murders will be liable to judgement. But I say to you that everyone who is angry with his brother will be liable to judgement.”
You will find similar principles expressed in Buddhist teachings, or the Bhagavad Gita, or Confucian ethical philosophy. In this instance, anger on its own is merely a seed. But if left to grow, and it grows by you watering it, then eventually it expresses itself in a much more destructive way.
Maybe this is how it works, but how can we know this?
It could also be that doing good things for selfish reasons creates habits of doing good things, and after a while that is who you are and what you do.
There’s some real research into relevant topics and evidence-based models of how and why people change.
Generally, a period of ambivalence precedes change (most of the time, though there are documented cases of “quantum change” where a person undergoes a difficult change in a single moment without the usual intermediate stages and never relapses).
Ambivalence exists when a person knows in their mind reasons both for and against a change, and gives both more or less an equal mind share.
When that person begins to give an outsized share of their attention to engaging with thoughts aligned with the change, it predicts growing commitment and ultimately follow-through on the change.
The best resource I know of on this topic is “Motivational Interviewing” in its 3rd or 4th edition. It has a very extensive bibliography and the model of change it presents has proven itself an effective predictor of change in clinical practice.
Based on my understanding of that research, I’m inclined to agree with GP.
The main resource that I recommend is the one towards the bottom of the comment: “Motivational Interviewing” by W.R. Miller and Stephen Rollnick. I’ve read the third and fourth editions. The third edition is more concrete but also more complex, and more focused on the field of clinical psychology, while the fourth edition is a shorter book where it’s been generalized more to be more applicable to all kinds of helping relationships, but contains fewer specific examples of clinical practice.
In the second edition they had not yet broken up the concept of “resistance” into “sustain talk” and “discord,” which I found to be a helpful distinction.
About 10% of the book is its bibliography, so if you want more information about a specific claim you can usually find the primary source by following the reference.
Miller and Rollnick are the ones who developed the technique of motivational interviewing, so they have a strong connection to much of the research cited.
There are multiple ways, all of which are useful for you to decide whether it's true or not.
First, you can trust in the wisdom of those who came before you, i.e. scripture. Second, you could trust in tradition, which may say such things. Third, you can use reason yourself. Fourth, you could rely on personal experience.
If you tend to engage in suspicious behavior, you'll probably start regarding others with suspicion. Essentially, your actions will engender your world view.
This is a good take, and I agree that habits can do that to people.
On the other hand, the intention behind the habit/action easily twists it in actuality to something else.
I think the “fake it till you make it” I brought up upthread a great example of this. Yeah, it might end up with the fake becoming something valuable, or you building character, or whatever.
Or, the habit that is getting built isn’t positive hustle and tenacity, but just a habit of outright lying, constantly reinforcing itself.
Sometimes it’s impossible to see from the outside what is which until it breaks down.
It's a fair question, but would you trust them equally in an unanticipated crisis, where doing the right thing might be costly in hard-to-predict ways?
Yes, then there is no way to elevate Bob above Alice, but in practice I think the assumption of external indistinguishability is too strong, and even the suspicion that Alice is sketchy (i.e. without hard proof) is meaningful.
The trouble is, you can think you're dealing with a Bob, but you're actually dealing with an Alice, even after enduring multiple crises that didn't trigger their specific type of badness.
But as fun as this line of thinking is, my initial charitable post was only asking for a kind of "superficial" indistinguishability. As long as you don't think about it too hard, y'know?
My stance on this is: Try to find a way to do good that doesn't make you miserable. Lying is to yourself is a form of oppression, and lying to others is a tactic for enduring oppression. (Ask a queer person about their time in the closet if you don't understand what I mean here.) Oppression makes you miserable, and misery tends to result in vapid thinkpieces that don't scratch below the surface of the referenced source material.
But also: Be honest with yourself about what you want and why you want it. Whether for good or for ill. That way, at least you can have a modicum of peace. I wrote more about this train of thought recently, if anyone's curious: https://soatok.blog/2025/10/15/the-dreamseekers-vision-of-to...
But that’s not how it plays out.
What we see time and again is people who profess beliefs in positive philosophies and actions that don’t match. Look at any religion you like. Now look at how members of that religion actually behave. They’re people who profess a positive philosophy without the actions to match.
I’ll take someone who consistently does good but without a coherent positive philosophy over someone who talks a good game and behaves badly all day every day.
Exactly. I have been (forced) in catholic circles in my youth because of my mother and it's absolutely frightening how bad those people can act/talk, often openly.
Similarly, I have some far-left friends who constantly advocate for things close to communism but they are (by far) the stingiest and least sharing people I know.
I think there is some sort brain gymnastic that protects them against the incoherence.
This presupposes a constantly stable and omnipresent and benevolent society. Which it is not. Society always has reprehensible things in it, sometimes systematically sometimes sporadically. Society is not omnipresent or omniscient. And things go up and down over time. And one is never exposed to the whole society.
the only reason Alice's intentions matter is their ability to predict her future behavior. if we assume for the sake of argument her behavior will always be identical to bob's then not only does it not matter what her internal motivations are it's arguable that her internal motivations don't actually differ from bob's. Thinking is, after all, an action, and all of their actions are identical. Therefore it seems like your example assumes Alice's behavior both is and isn't identical to Bob's.
> Thinking is, after all, an action, and all of their actions are identical. Therefore it seems like your example assumes Alice's behavior both is and isn't identical to Bob's.
By your logic, I was heterosexual for my entire young adult life when I actively worked to deceive people from realizing my actual orientation :P
People employ dishonesty for lots of reasons, and in myriad ways. Sure, in this thought experiment, perfect indistinguishability means the difference is inconsequential. But you can use crises as an oracle to observe different behaviors, and thus undermine its indistinguishability.
To keep the cryptography going, this is like an active vs passive attack. Sure, it's IND-KPA, but is it IND-CPA or IND-CCA? Perhaps not!
that's the contradiction i'm talking about. deception requires effort and planning, it's not just casually doing something. I think that as I explore this I might fundamentally be arguing that saying the same words when you believe them true vs when you believe them false are measurably different, and that the only way for someone to say something falsely in exactly the same way they do truthfully is for them to believe that they're true. You said yourself, you actively tried to deceive people.
As far as using crises to undermine indistinguishability, that was another part of my point: if actions are indistinguishable between two actors we only care about the actors' motivation as an attempt to guess how likely they are to remain indistinguishable. If a crisis causes the two actors to distinguish themselves then, once again, we've undermined the original premise of the experiment.
then it follows that if their thinking is the same then their intentions are the same. given that thinking is an action, and the description says their actions are the same, then their thinking must be the same and therefore their intentions the same. it's meaningless to think of someone who only does what's right but only does it for wrong reasons as someone can only arrive at right actions through right thought, to allude to buddhism. if alice's motivations are truly different then her actions must diverge from bob's at some point (or we just assume that alice's actions and motivations have no relationship which, again, renders the question meaningless).
Well said, this sort of oversimplified dichotomy is used by people to get out of responsability. "We have to choose between X and Y, so I just choose X because it's better".
No wonder the author is a Facebook exec that want to be ignorant of ultimate intent, instead of reconciling them.
It is an over simplification but Rousseau does paint this picture of humanity's natural goodness corrupted by society, or what the author calls circumstance. This idea is a cornerstone of the Discourse on Inequality and Émile.
Discourse on the Origin and Foundations of Inequality among Men (1755)
- “Nothing is more gentle than man in his primitive state… he is restrained by natural pity from doing harm to others.”
Émile, or On Education (1762)
- “Everything is good as it leaves the hands of the Author of things; everything degenerates in the hands of man.”
Confessions (1782–89)
- “I have displayed myself as I was, vile and despicable when I was so, good, generous, sublime when I was so; I have unveiled my interior being.”
For Rousseau, humans possess innate moral sentiment, society corrupts through things like comparison, and the good life is maintained by being true to one's natural self.
I also think the focus of this little essay is about contrasting two modern identities, the expressive self and the performative and productive self, and isn't steeped in moral psychology. Bringing Aristotle into this is wholly anachronistic and misses the point.
I didn't know this about Ben Franklin until reading it here, but his theory strikes me as the only one (out of the thinkers/theories you referenced) that can be operationalized in a justice system, or by individuals to judge others.
Until "intention" can be measured with a brain scan, it's a good bet that actions come from successfully actualizing intentions more often than not. It is ultimately about actions though, and the assertion with any intention based theory is that intentions better predict future actions than past actions do. If there was a mysterious 3rd thing that predicted future actions better than intentions or previous actions, then we would be interested in that instead of intentions.
I only have a cursory understanding of Franklin (as in, I vaguely paid enough attention in American History class in public high school to get a passing grade), and this still struck me as odd, too.
Character is destiny. The content of your character is your choice. Day by day, what you choose, what you think and what you do is who you become. -- Heraclitus
I have no position on the OP, but this comment has more shame than content. The couple fig leaves of quibbling over dubiously relevant points doesn't really clarify whether the OP's point is incorrect. I have no reason to take your opinion as more authoritative than the OP's when you don't even really engage with what the OP says.
Here are the article's main points, as I see them:
1. The "modern American self" is best defined by (the tension between) Franklin and Rousseau.
2. Rousseau believes X and Franklin believes Y.
3. "Modern America" (society? politics? government?) flip flops between these two, though they are "almost entirely incompatible".
4. The author claims one of them scales, and says he likes it.
I engage directly with claims 2 and 3.
I think 1 is another completely absurd simplification. I do not address it, or claim 4. I don't see how that constitutes lack of engagement or quibbling. Perhaps I could have written an essay refuting OP with many citations, but I don't think that level of work is required to constitute legitimate engagement.
I guess you're probably right that my comment is more shame than content, maybe 60/40 shame to content, I should have dialed that down a bit. Fwiw I think it's fine to be simple-minded and ignorant, I am both of those things about many topics, but then your writing and argumentation should reflect your lack of knowledge and certainty. OP's article is, otoh, full of hot air.
Okay, so, leaving the shame thing behind us, the two gaps that I see:
1. If someone thinks the human self is essentially good and society makes it bad, they could still be concerned with how people can behave well in society. So the fact that Rousseau wrote about that in The Social Contract doesn't seem to contradict OP.
2. If it's possible to unite intent and action in a model of a good person, there could still be philosophies that are incompatible by virtue of how they overemphasize one or the other. So again, I don't see how this contradicts the OP.
I agree that the OP is probably full of hot air, but it's a common gloss on Rousseau I think. And definitely supported by the Discourse on Inequality, which says that people have good animal instincts, but their natural expression of these is inhibited by social constructs like language-based reasoning and property.
I don't agree that the comment is empty, it did remind me of some philosophy classes, and it did entice my curiosity enough to search about Rousseau again. Your comment though, in poethic irony, doesn't bring anything to the table besides complaining about the top comment.
Does anyone know if the benchmarking tool the author uses, plow, avoids coordinated omission (https://www.scylladb.com/2021/04/22/on-coordinated-omission/)? I didn’t see any mention in the docs, and haven’t been able to peruse the source code yet.
There are a lot of big claims here and literally not a single reference to anthropological research or even anything resembling it. This article is very badly argued.
I think there's something about the way this is written that's endemic to our time -- it basically feels right because it gives a possible explanation of current events that has some internal consistency. It doesn't mean it's right, but neither the author nor (most of) the audience care about that part.
Specify what argument is bad? I don't think it needs references. If after "The reason modern individuals agree to give up their right to personal protection is due to their belief in institutions" there was a footnote that said something like "Bigbeard, 1983" how would that help?
"Meta’s own researchers found — in an experiment they believed was better designed than any external study done thus far — that reducing time on their platforms improved mental health and well-being, specifically depression, anxiety, loneliness, and social comparison."
reply