Blogs I like samuelcoward.co.uk - Samuel Coward (for hardware design and verification, egraphs, formal verif!) wheresyoured.at - Ed Zitron matklad - Alex Kladov ratfactor - Dave Gauer