DPDmancul

Capitalism is so popular because it is really good at giving hope. The issue is that it give false hope.

Point 1 is particularly important nowadays: in the past months the majority of things I reported in code reviews are on LLM generated code, which was obviously never read by the human.

> Just throw the CEOs in jail for a few months

It's not that easy: with bail and well payed lawyers they spend quite no day in jail and it is no more than a fine

> We need the penalties to be something other than fines, which are ultimately treated by companies as routine costs of business.

It's true that fines are nothing more than predictable costs, so maybe an option would be fines in percentage of the incoming of the company: this way it could make a real impact. I know in some north Europe countries the speed limit fines are in percentage on the personal net worth.

Eliminators are undoubtedly the most difficult aspect of type theory. In this article we will try to make more clear how they work, but most importantly why we need them. This article will present some analogies between eliminators and constructs of programming languages (such Python, Rust, Scala, …) which can help who knows some basic of computer programming understanding eliminators.

Web version: https://dpdmancul.gitlab.io/blog/2023/01/eliminators

I'm Italian and I don't like pasta al dente. Obviously neither overcooked, but I like it cooked. In fact it's a drama that since some years they started making pasta which remains al dente: I usually cook it at least 5 minutes longer than what is written and it is still slightly al dente: very disappointing.

You can increase the guess accuracy a little by looking for the "tLS" characters , skipping the first 3 chars. Also this is a mnemonic about TLS and identifies all strings starting with 5 dashes, excluding so most of yaml documents

Theoretically only one operation is sufficient: both NAND and NOR are universal gates, meaning all boolean operations are expressible in terms of only NANDs (or equivalently only NORs). The downside is that the expressions became longer.