▲ 12 pointsMike Gordon and hardware verification (2023)lawrencecpaulson.github.ioby sebg·8mo ago·0 comments·view on hn ↗