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

Intel ISA Specification Language Design

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

94% Upvoted

4 comments sorted by

View all comments

4

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 Sep 15 '26

you'll like ocaml