A preview of the future Intel Architecture documentation (via bakkot) — discussion
#formalmethods #hardware
