Monthly Archives: September 2016

Moving sites

From now on new posts will appear on my Blogger site: This is for both technical (the comment system on this site, the occasional crashes) and personal (I may want to post personal or political opinions which need not … Continue reading

Posted in General | Leave a comment

Categorical semantics of digital circuits

Isn’t it funny that the world of programming languages is defined by syntax while the world of circuit design is defined by semantics? One can never be sure, but it seems to me that when people design software they imagine┬áthe … Continue reading

Posted in Geometry of Synthesis | 1 Comment