layer8

The real problem though is not preserving the rich-text-ness of the quoted message when replying, and the inability to have inline images. I use Outlook at work and mutt for private email. Using mutt …

In Java, there is Locale.ROOT, which can be used in a similar way. In particular, it is useful when performing locale-dependent operations in locale-independent contexts (e.g. working with case-insens…

Actually, my aim was to give a broader perspective and draw attention to the fact that the inference rules as presented in the article are not limited to constructors, but can apply to any function. T…

What the article describes is a simple consequence of the Curry-Howard equivalence, that function types correspond to logical implication, and constructors are just a special case of function types.

Let me rephrase maybe: Given the state of affairs I described above, I don’t understand what is the convincing argument that entropy does indeed increase in the long run. Any argument given should als…

That still doesn’t answer the question how, if the laws of physics are time-symmetric, the universe as a whole can have a time-asymmetric evolution of entropy. I.e., if something forces entropy to inc…

I use Ctrl+Space, C instead of Alt+F4 because, while it is one key more, it flows much better and doesn't cause me RSI.

If you know how many iterations are sufficient, the unbounded loop could have been written as a bounded loop in the first place. For truly unbounded loops, you’re still stuck.

The problem is that "4.0" sorts before "4.0-alpha.1". Not saying that 3.99 is better, but something's gotta give.

Imagine a form that is split into two sections, each of which has to be filled out and signed by a differemt person. The first person filling and signing will implicitly also sign the empty fields of …

That is not quite what is happening. PDF has a feature called "incremental update", where changes to the document are not done in-place in the PDF object structure, but instead are appended …

Email and Usenet

The main takeaway from the article is that abstractions which have become inadequate should be corrected (removed and/or replaced by adequate ones) as soon as possible. A corollary is that abstra…

They are described in the linked article: https://en.m.wikipedia.org/wiki/Multiservice_tactical_brevit... …

As the sibling notes, it is Ctrl+Shift+Esc, which was probably chosen as a variant of the Ctrl+Esc that opens the Start menu.

On Windows, you can effectively use Win+1-9 for that by pinning the applications to the taskbar. I use that all the time.

Part of the reason may be that the visible light spectrum only covers one "octave".

Country-specific keyboards may be s factor.

You can borrow a (badly scanned) copy on archive.org: https://archive.org/details/microsoftwindows00micr_0/page/63... …

Those vulnerabilities really have nothing to do with the PDF/A question. PDF signature validators have to check for them regardless of PDF/A, and the issue I raised above is independent of t…

The trick of retroactively declaring a PDF as PDF/A by appending an incremental update won't work well for signed PDFs, because the PDF reader would recognize the PDF as having been modified…

Usually the problem is that you can’t realistically change the interface, because too much other software relies on it, and having all that software rewritten would be too costly, and also risky. In a…

Of course, that approach is difficult to apply if the interface is a significant part of, or deeply entangled with, the pain points that the rewrite is intended to solve.

I wonder how many bit flips are to be expected on HDDs or in RAM for that amount of data.

While there is a thematic connection, SPOT is usually more of a design-time (or coding-time) principle. Caches still represent the same source, just time-delayed.

What they meant by DRY is otherwise known as SPOT — Single Point Of Truth — which is harder to misinterpret. The same “truth” — which can be data, values, behavior, policy, etc. — should not be define…