My curriculum vitae (CV) written using LaTeX.

Compact and Minimal LaTeX Resume Template

Easily fine tune GPT-2 to fill in missing text

EEG Experiments in Python

反中共政治宣传库。Anti Chinese government propaganda. 住在中国真名用户的网友请别给星星，不然你要被警察请喝茶。常见问答集，新闻集和饭店和音乐建议。卐习万岁卐。冠状病毒审查郝海东新疆改造中心六四事件法轮功 996.ICU709大抓捕巴拿马文件邓家贵低端人口西藏骚乱。Friends who live in China and have real name on…

Algorithmic Information Theory, using Binary Lambda Calculus

Implementation of Papers on Adversarial Examples

Some fun examples of solving problems with symbolic execution

BetaGo: AlphaGo for the masses, live on GitHub.

An automated theorem prover for first-order logic.

Study materials for SE/CS technical interviews

[ARCHIVED] this is ancient history