Alastair Reid adreid@mastodon.social
Researcher at Intel Strategic CAD Labs. Formal methods, security, computer architecture, ... He/him. Tweets are my own. https://alastairreid.github.io
Omar Rizwan @omar@social.omar.website
"we are makers, not agents / we make them all"