Blockchain explained through college basketball

Here is the original article the Loadstar referred me to.  It is a picture a bit too rosy, perhaps, but quite clear.

It doesn’t say that blockchain’s smart contracts will turn logistics people from a handful of paper shufflers to a handful of logicians whose job is to read and prove out the code of smart contracts.  That code will be embedded and executed in a transaction, without oversight, so it had better be right. How do we prove that?  The arguments will shift from arguing about how the actual contract matches with what happens, and goes wrong– to arguing about both that, and whether the smart contract program had a bug in it.

I think there’s a new frontier for provability software, that can read a program and match it with some specs to see if it matches.  The computer mathematicians already have software that can inspect theorem proofs and say if they are valid or not.  I think we need similar software.

Remember every program has bugs. 2018.02.21 07-36-08  Blockchain explained through college basketball — FreightWaves

logo  via Blockchain explained through college basketball – The Loadstar

Implementing Serialization of the Drug Supply Chain

via Implementing Serialization of the Drug Supply Chain

How to cash in on ELDs

I saw this thanks to 2018-01-29 09-45-53-153. It makes the point that use of a good ELD in trucks forces everyone– the firm, the trucker, support staff, and customers to focus on hitting the marks for serving the truck supply chain.  This should make customer service improve all around, but also will save considerable money in administrative costs if properly integrated with other systems to make visualization easy. The article below identifies some of the extended cost savings and service improvements that can be made. 2018-01-29 09-44-07-970via How to cash in on ELDs