Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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

[2]: https://github.com/ilya-klyuchnikov/ttlite



Are we already calling it 'Meta' unironically?


No one should ever call that thing Meta. We have to draw the line somewhere. Facebook needs to be gratuitously dead named.


To be fair, people who work on supercompilers have been in the meta space long before it was ironic.


Supercompilation has also been known as metacompilation for decades.


In this case by Meta I think they mean Facebook. Name change today in case you missed thar.


Whom? Metaface?




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: