This post will no longer show to you. Undo
2019-11-25T17:48:54+01:00 ·
1000 Cancel
Being Treated to Shenzhen
coltenjackson | 2015-10-09

[...]
A couple of friends and I went back the next day thanks to Yuheng opening the space for us to take advantage of the wifi and air conditioning. Here’s his github. He told us he’s writing a programming language with formal syntax to prove log...
Read More