Keynes apology

January 23, 2016 | 0 Comments

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 readers if the author’s assault upon them is [...]

Process algebra versus state machines part 1

January 20, 2016 | 0 Comments

Robin Milner’s influential book Communication and Concurrency involves a take on state machines that has always puzzled me. “Now in standard automata theory, an [...]

ESMA clarifies time sources for MiFID II

January 7, 2016 | 0 Comments

ESMA just released guidelines that reinforce what was already clear in the MiFIDII regulation – that GPS time is a perfectly acceptable source of “traceable” time. [...]

Theories of abstract automata – Arbib

December 12, 2015 | 0 Comments

We have said that automata theory deals with the realization of partial functions F: X* —» Y* by some finitely specifiable substrate. Before we specify in more detail the [...]

MiFID II, GPS and UTC time

November 24, 2015 | 0 Comments

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 how much effort has recently [...]

Kirkhart’s conjecture

November 23, 2015 | 0 Comments

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 prime factors. For example 2x3x5 = 30, [...]

Relaxed memory order

November 16, 2015 | 0 Comments

Two interesting posts on the order in which reads and writes happen and are made visible on shared memory multi-processors.  X86 has a strong memory model in which if X=Y=0 [...]
1 3 4 5 6 7 41