robertothais 的提交内容

Two-dimensional context free grammars [pdf]

Ruby internals: “This is some roflscale crazy stuff”

Who Is Publishing NSA and CIA Secrets, and Why?

With H-1B under threat, Alphabet ramps up immigration lobbying

The Operation and Demise of the Bretton Woods System

Learn to Fly by Crashing

Consciousness as a State of Matter (2014)

HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics (2016)

Intuitive Understanding of Euler's formula