neokantian

When we compare the performance of two equivalent programs in two different programming languages, we may still be able to test whether the one is faster than the other. That would be epistemically even sound. Still,…

As a software engineer, I have always sold a set of software revisions ("commits") that attempt to implement requirements/specifications. It is important to talk about the actual delivery/product that you ship to your…

Imagine that you have four parties to a deal: 1. buyer 2. seller 3. delivery firm 4. bank. When the buyer has paid the seller in US dollars, the buyer will provide a digital proof of payment to the delivery firm who…

This question, about Lisp's macros, has been asked over and over again: -- https://stackoverflow.com/questions/267862/what-makes-lisp-macros-so-special -- https://www.quora.com/What-is-so-special-about-Lisps-macros --…

For example, a transaction may contain proof that the private key associated to the address mentioned in a previous transaction has signed this new transaction. A blockchain is an axiomatic system with a growing list of…