A preview of the future Intel Architecture documentation

6 points by bakkot

fanf

compare and contrast

bakkot

Same author, notably! (Alastair Reid.)
- fanf
  
  Oh, I suspected that! But I deleted the part of my comment where I observed that he has been at Intel for 5 years (and blogged a little on this topic since then) because I didn’t spot a clear indication of which Intel staff are involved… (I should have looked at the GitHub repo!)
  - bakkot
    
    Yeah it's surprisingly hard to find. I saw his name from the associated blog posts.
- abeyer
  
  I'm really not much a fan of burying documentation text behind a bunch of js navigation... seems to counter the goal "It is a webpage to promote easier searching and exploration."
  
  Further made worse by weird markup in the navigation that makes the mouse cursor behavior inconsistent and not aligned with normal web behavior.
- bakkot
  
  The interesting (to me) bit:
  
  The behavior of instructions and helper functions is described in a new specification language that enables us to test the specification which makes the specification more precise and accurate.