logoalt Hacker News

throwaway198846 • today at 12:50 PM • 1 reply • view on HN

I hope it will be possible to verify CPUs soon as well. Of course that is much harder because they are not open source and physical and you need to simulate physics to verify them fully.


Replies