Our great sponsors
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
One of the authors of this work, who apparently now works on supercompilers at Meta, open sourced some nice tools for equivalence testing based on graph rewriting [1] and MLTT [2]. If you're interested in that kind of stuff I recommend checking out his work:
[1]: https://github.com/ilya-klyuchnikov/mrsc
[2]: https://github.com/ilya-klyuchnikov/ttlite
One of the authors of this work, who apparently now works on supercompilers at Meta, open sourced some nice tools for equivalence testing based on graph rewriting [1] and MLTT [2]. If you're interested in that kind of stuff I recommend checking out his work:
[1]: https://github.com/ilya-klyuchnikov/mrsc
[2]: https://github.com/ilya-klyuchnikov/ttlite