3 ms·
One of the authors of this work apparently now works on supercompilers at Meta and open sourced some nice tools for equivalence checking based on graph rewritin
by bmc7505 5y ago
One of the authors of this work apparently now works on supercompilers at Meta and open sourced some nice tools for equivalence checking based on graph rewriting [1] and constructive type theory [2]. If you're interested in that kind of thing I would recommend checking out his work:
[1]: https://github.com/ilya-klyuchnikov/mrsc https://github.com/ilya-klyuchnikov/mrsc
[2]: https://github.com/ilya-klyuchnikov/ttlite https://github.com/ilya-klyuchnikov/ttlite
- ajkjk 5y agoAre we already calling it 'Meta' unironically?
- steego 5y agoTo be fair, people who work on supercompilers have been in the meta space long before it was ironic.
- rowanG077 5y agoSupercompilation has also been known as metacompilation for decades.
- guerrilla 5y agoIn this case by Meta I think they mean Facebook. Name change today in case you missed thar.
- mro_name 5y agoWhom? Metaface?
- noduerme 5y agoNo one should ever call that thing Meta. We have to draw the line somewhere. Facebook needs to be gratuitously dead named.