DPDmancul

6 ms·

1.
by DPDmancul 9d ago
> 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
2.
by DPDmancul 9d ago
> 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 pe
3.
"A monad is a monoid in the category of endofunctors" But what does that mean? [video](youtube.com)
1 points by DPDmancul 22d ago|0 comments
4.
PHP and TypeScript Types Comparison(gitlab.com)
2 points by DPDmancul 3mo ago|0 comments
5.
Understanding Type Theory Eliminators(zenodo.org)
2 points by DPDmancul 3mo ago|1 comments
6.
by DPDmancul 3mo ago
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 cons
7.
by DPDmancul 1y ago
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 minute
8.
Regard Time Machines [pdf](philpapers.org)
3 points by DPDmancul 1y ago|0 comments
9.
by DPDmancul 1y ago
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 document
10.
by DPDmancul 1y ago
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.