---
layout: post
title: Weekly
category: Weekly
author: 东岳

---

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

***

