bss03

I thought ObGyns were already fleeing Idaho. Maybe the pathologists and/or immunologists will soon follow.

I don't know what you mean by "like murder".

Do I think we need more capital punishment? Absolutely not. We should never kill person that's already restrained from doing harm, even if their intent is clear.

Do I think there could be more meaningful liability? Yes. I think restorative justice means not just MUCH heavier fines (large percent of gross income for the entire period they are in violation) that are earmarked for environment restoration / pollution control efforts, but also time spent doing the work, on-site to restore / clean / contain for everyone in the decision/authority chain, across organizations.

I also think anyone that has been convicted/punished from wrong environment decision/action more than once could be subject to monitoring, publication, and shaming. Whatever education is part of the restorative justice is not enough, and society has to engage in prevention as a defense.

They should be treated more as "crimes against persons" than "property crimes": probably.

I think co-ops are the way to go, but I can understand that someone "just" wanting to purchase the good/service might not see the difference between a co-op and corporation like Amazon.

I don't think it's a size issue really, but co-ops generally stay smaller in part due to how they are internally organized compared to a "median" corporation.

I also think that the government actually does a pretty good job at managing things; it's just their failures are public. Private boondoggles might drive many people into bankruptcy, but they aren't publicized any more than absolutely necessary.

Same here, but I can understand why someone might want to. For many people, even those that are comfortable on the command line, a GUI is a more comfortable experience. And, I have (rarely) needed to do some filesystem management as not my primary user account.

I think "graded" in the name is there in contrast to "quantitative" type theory, which doesn't have modalities/quantities at the type-level.

The "modal" is borrowed from modal logic. If you pick the correct semiring, you can recover linearity and affine-ity and the other substructural logic pieces.

The quantitative semiring I've been working with is 0, 1, ?, n, +, *, which I think will let me use static analysis to do very precise non-strictness and precise/early resource tracking/release. (But, my progress is so slow, that if this were an academic project, I don't think I'd be getting any more grant funding.)

Graded Modal Dependent Type Theory, but that's mostly because only "dozens of" people know it exists.

I think sabotage is best done in labor positions, but Oscar Schindler showed it can be done from management positions as well. I don't remember much advice from the simple sabotage field manual that would be useful in the position he is leaving.

I don't think copyright is currently serving it's purpose "To promote the Progress of Science and useful Arts". And it should be eliminated anywhere it is not doing that.

Closest to my pocketbook is software (I'm a programmer), and I think we'd almost certainly be better off without copyright of any kind on software. It would mean exercise of some of our freedom around software would have to be implemented via reverse engineering, but it would make that route much more available / less risky for software that is current not Free Software. But, maybe I'm extra jaded because software is almost always done as "work-for-hire" so the author doesn't actually hold the copyright, the Capitalist employer does.

I will support the elimination of copyright. But, as long as copyright exists, I will reject and resist AI.

That said, there are a number of other reasons I think AI sucks, it's not limited to copyright.

Nien! Blockade must be impenetrable. Nien! Nien! Nien!

/s

No one every sung, “Fuck the firemen!”

https://www.youtube.com/watch?v=wKKMMP3U-Sk

(But, point taken.)

I agree that John was the problem, but I think it was management responsibly to fix. Either through some coaching or as you say, before he became business-critical.