November 16, 2020
The Agency for the Legal Deposit Libraries (ALDL) has requested a printed copy of the book, which I've fulfilled. This agency operates on behalf of the Bodleian Library Oxford University, The Cambridge University Library, National Library of Scotland, National Library of Wales and Trinity College Dublin.
August 15, 2020
I fixed a typo on page 173.
August 4, 2020
I've been meaning to distribute the book's LaTeX source and assets for the benefit of anyone who wants to edit, remix, or print it in volume, but years of accumulated customizations to my environment have lately overcome my ability to work around the inevitable breakage introduced by each major TeX Live distribution update. (Not to disparage the work of the maintainers, I take full responsibility for tampering with forces I don't understand.) It looks as if the only way to typeset the book going forward will be inside this virtual machine image that replicates the last compatible version my LaTeX environment, never to be updated again unless some TeXpert figures out how to clean it up. The machine hosts a minimal Manjaro Linux desktop in VirtualBox format. The user account has no password and the root password is root. It's available through the torrent file linked above or this magnet link.
April 25, 2020
The latest video is now also posted on youtube. Comments there are welcome.
March 30, 2020
My presentation to the British Computer Society was scheduled for the end of May but was cancelled due to coronavirus. I'm preparing a video instead that will be posted here and on youtube. My grant application was unsuccessful. The assessors' feedback is here.
January 9, 2020
I've agreed to give a talk for the British Computer Society Formal Aspects of Computing Science group. It will probably be in April or May but no date has been set. Watch this space.
I've applied for an Innovate UK Smart Grant to develop software for DI circuit design and verification. Normally grant applications make boring reading, but I've posted an excerpt of mine here in case anyone wants a non-technical overview of the subject and my two cents about its potential impacts. (tl;dr The UK semiconductor sector is losing ground to the big boys and could do with some "game changing".)
November 9, 2019
A recent announcement about the book on the asynchronous mailing list has attracted some interest and ongoing email correspondence, and this site is currently the top hit on duckduckgo.com for "delay insensitive circuits". A couple of printed copies of the book have now found a home, one with the British Library and another at an American university. I'm scheduled to give a talk at Imperial college on November 18, for which I plan to post the slides and a video afterwards.