I've decided I need two blogs: one a "work" blog to talk about Verilab, verification, consulting and so on; the other a "personal" blog to rant about everything else. In practice, I don't have a clear line between work and personal, so who knows what will end up where. But let's try, shall we. Hmm, yes, let's.
To make the split, I've duplicated the entire blog up to and including this, the fork entry. If you are reading this at https://www.darklingwood.com, you are on my personal blog. If you are reading it at https://blogs.verilab.com/tommyk, you are on my work blog. Until now, which you chose made no difference. From now on, it will.
If you're on the personal and would rather be on the work, unsubscribe from Darkling Wood via https://feeds2.feedburner.com/DarklingWood and subscribe to Tommy's Veriblog via https://feeds2.feedburner.com/TommysVeriblog. If you want the opposite, do the opposite. Or you can do both. And of course, it's not too late to come to your senses and do neither. And anyway, if you're lucky I'll be caught up by the paradox of choice, and end up never making a single post ever again.