In practice, I found it difficult for coworkers to read and understand so I dropped the idea.

Another limitation I found is that it breaks down when you start using inheritance. For example:

```

class _A: pass

A = NewType("A", _A)

class _B(_A): pass

B = NewType("B", _B)

def foo(a: A) -> None: pass

b = B(_B())

foo(b) # Mypy is not happy: Argument 1 to "foo" has incompatible type "B"; expected "A"

foo(A(b)) # Mypy is OK

```

I wish you were right but, IMHE, it requires a lot of communication once teams grow and many team member do not fully understand the consequences of what they do. It is nice to have something that helps when reviewing code.

> If you have members that users probably shouldn't touch, you prepend them with an underscore

Well, this is precisely what TFA does. It prepends the constructor with an underscore.

Rewriting in rust does makes things faster but if an algorithm is O(n²), the improvement won't take us much farther.

Similarly with AI, if complexity is not structurally adressed, the velocity gains are but temporary.

1. Does it matter, really? 2. Is it very different from previous computer-aided proofs, philosophically?

And tests, linter configuration, doc...

My point is: if you try to force people into inaction, chances are they will bypass you.

Ah! That's funny :)

In practice there are always ways to circumvent safety, especially when it is easier than the alternative.

In a Typescript codebase I work on, I configured the type-checker to fordbid `any`. Should be easy enough to use `object` When we don't know the type, right? Well then things started being serialized into `string` way more often than I'd like...

This is true. And I get sad every time it is used as an argument not to improve tooling. It feels like sort of a self-fulfilling prophecy: an organizational problem that prevents us from investing into technical improvements... is indeed an organizational problem.

"- prioritize objective facts and critical analysis over validation or encouragement - you are not a friend, but a neutral information-processing machine. - make reserch and ask questions when relevant, do not jump strait to giving an answer."

She could still go to her bank counter but service there degraded considerably for everyday things, and she was always told to do things online.

In the end the bank rep was kind enough to give her an old smartphone. But, for her, it sucked because it was much more complicated, had to be charged constantly and so on...

As a technologist, it is eye opening to do the tech support of loved ones...

Edit: typos

Same with LLMs. This is a race. Competent people are in demand.