This article on the interesting Wave Transactional File System inspired me to look up an earlier file system that also used copy on write semantics.
Read morePaxos and other consensus algorithms and the unaccountable love for asynchrony
I’ve been looking at Paxos and Raft and Zab and other algorithms that can loosely be called “consensus” algorithms because we want to see where we can
Read moreKeynes apology
The composition of this book has been for the author a long struggle of escape, and so must the reading of it be for most
Read moreProcess algebra is based on a misunderstanding of automata theory
See the current pdf in Arxiv Robin Milner’s book Communication and Concurrency involves a take on state machines that is fundamentally incorrect. “Now in standard
Read moreMore on Fischer, Lynch, Patterson and the parrot theorem.
I’m thinking about distributed consensus algorithms, timestamping, and databases and if you read that literature you will see many references to the Fischer, Lynch, Paterson
Read moreESMA clarifies time sources for MiFID II
ESMA just released guidelines that reinforce what was already clear in the MiFIDII regulation – that GPS time is a perfectly acceptable source of “traceable”
Read morePractical State Machines for Computer Software and Engineering
Download paper. [gview file=”https://www.yodaiken.com/wp-content/uploads/2016/01/practical.pdf”]
Read moreTheories of abstract automata – Arbib
We have said that automata theory deals with the realization of partial functions F: X* —» Y* by some finitely specifiable substrate. Before we specify
Read moreMiFID II, GPS and UTC time
I have a post up on FSMLabs web site about the use of GPS and other satellite time for MiFID II timestamp compliance. It’s fascinating
Read moreKirkhart’s conjecture
Is that there is some insight into the nature of primes that comes from considering the classes of numbers that share the same set of
Read more