ra’s avatarra’s Twitter Archive—№ 40,618

  1. progress on a language i am working on where names are not canonical. current prototype bottoms out in wasm via binaryen. left: my symbolic bytecode, right: binaryen IR. note the "name" of the function is ea034ca, the hash of its body.
    oh my god twitter doesn’t include alt text from images in their APIoh my god twitter doesn’t include alt text from images in their API
    On twitter.com Twitter logo ra’s avatar ♻️ 5 Retweets ❤️ 31 Favorites Mood +2 🙂
    1. …in reply to @ra
      im trying to figure out what removing names from code might look like, primarily to explore culturally neutral programming. the idea is that symbol tables that map hashes to human readable names would be decoupled from compiled code. there could be many names for the same hash.
      Permalink On twitter.com Twitter logo ra’s avatar ♻️ 2 Retweets ❤️ 18 Favorites Mood +2 🙂
      1. …in reply to @ra
        if your symbol table tells you "add" maps to ea034ca, then that's great. my symbol table might tell me that "جمع" maps to ea034ca. these ideas can coexist because names are not canonical. symbol tables can be distributed with compiled code and merged/extended locally.
        Permalink On twitter.com Twitter logo ra’s avatar ♻️ 1 Retweets ❤️ 16 Favorites Mood +3 🙂
        1. …in reply to @ra
          being able to have many names for the same thing is an important requirement, i think, otherwise someone's name, and as a result someone's written language, wins. that's the current idea, anyway. we will see if it turns out to make no sense.
          Permalink On twitter.com Twitter logo ra’s avatar ♻️ 1 Retweets ❤️ 10 Favorites Mood +5 🙂