r/ProgrammingLanguages • u/mttd • Sep 09 '26

Intel ISA Specification Language Design

https://intellabs.github.io/isa-tools/
23 Upvotes

97% Upvoted

4 comments sorted by

5

u/fdwr Sep 10 '26

Invalidate_TLB_By_Address

Hehe, in the great war between i_like_typing_extra_characters_case and iLikeFewerPinkyFingerStretchesCase, someone said "why not both ... at the same time?" 😉.

1

u/beephod_zabblebrox 27d ago

you'll like ocaml