There is a widely cited (over 1400 cites in CiteseerX ) result called the Fischer-Lynch-Patterson theorem about consensus – a key issue in distributed databases or
Read moreWhy is clock synchronization so important in big data
Distributed transactions have historically been implemented by the database community in the manner pioneered by the architects of System R* [22] in the 1980s. The primary mechanism
Read morePatents considered harmful, by some.
@vyodaiken This makes no sense. You don’t foster competition by handing out monopolies. — Timothy B. Lee (@binarybits) September 16, 2014 That’s not how it
Read moreA claimed validated operating system.
The claim: we have demonstrated the comprehensive formal verification of the seL4 microkernel, with a complete proof chain from precise, formal statements of high-level security
Read moreCassandra
Cassandra is quite interesting – and time sync seems increasingly critical to correct operation. Here are some resources: A paper on the storage model from
Read moreA hard theorem becomes easy over time.
The basic result of the incompleteness proofs is pretty simple. The proofs are complicated because the idea was literally unthinkable until programming was invented. The
Read moreFrom Jersey to Wall Street – or the equivalent
A common configuration for FSMLabs TimeKeeper customers is to cross-couple time sources in New Jersey and New York City or London and Slough or Chicago and
Read moreReal-time Linux
My opinion has always been that the Linux-RT project was based on an unfixable engineering error. A few words on the status and the
Read moreThe Horrors of Software Patents
US Patent Number 4701722 A is a perfect example of everything software patent opponents hate about software patents: It implements mathematical functions that are pretty
Read moreThe technology disconnect
What it did was reinforce a point about the sociology of management: From cars to space shuttles, from offshore oil wells to nuclear reactors, the people who
Read more