Mastodon Feed
Boosted by cstanhope@social.coop ("Your weary 'net denizen"):
regehr ("John Regehr") wrote:
the Intel ISA, formalized, as a web site:
https://intel.github.io/SDM/sdm.htmlannouncement:
https://intel.github.io/SDM/announcement/2026/08/20/announce-preview.htmlsome blog posts:
https://intellabs.github.io/isa-tools/this is all Alastair Reid's work! he previously did similar work creating an executable formal spec for ARM's ISA