eggy Karma 4,176 Created 12 years ago Recent Submissions 1. ▲ Introduction to Formal Verification with Spark (youtube.com) 2 points · 2 months ago · 1 comment 2. ▲ Ask HN: Safe Fundraising for Hardware Startup 2 points · 5 months ago · 0 comments All submissions on HN · View profile on HN