Weekly

https://github.com/oracle/graal

GraalVM: Run Programs Faster Anywhere https://www.graalvm.org

看起来很酷，能够把 Rust 跑在 JVM 上了？

---

https://waymo.com/open/

waymo 公开的一个数据集（还没开放下载）

---

http://popl.mpi-sws.org/2014/dcp2014/wisnesky.pdf

A Functorial Query Language, seeing DB as categories and relation arithmetics (select...) as functors

---

https://github.com/machine-learning-apps/IssuesLanguageModel

A Language model trained on a large corpus of GitHub Issues

自动给 GitHub Issue 和 PR 打 label 的 bot。GitHub 员工实现的，什么都好，就是没数据

---

typescript's type system is turing complete

https://github.com/Microsoft/TypeScript/issues/14833 https://gist.github.com/hediet/63f4844acf5ac330804801084f87a6d4

---