Shengyi Qian JasonQSY

Research Scientist at Meta FAIR @facebookresearch | Computer Vision, NLP, Robotics | CS PhD @umich

JasonQSY / tq-install.md

Last active December 22, 2016 13:54

On mac, make sure you have homebrew.

brew --version

Install php (use php56 instead of php71 if you want PHP 5.6 instead of PHP 7.1.)

brew tap homebrew/php

JasonQSY / fix-ubuntu-gui.md

Created August 12, 2016 13:53

For my ubuntu desktop GUI

Fix GUI for Ubuntu

My computer often fails to update the GUI. To fix the problem, enter recovery mode and enter root model. Then

mount -o rw,remount /
login

After entering the admin account, find the *.run file offered by NVIDIA.

JasonQSY / ve280-final.md

Last active December 22, 2016 14:13

ve280-final-review

#Ve280 Final Review

the children S inherits the base type T (supertype), written as S<:T.

Add one or more operations. For MaxIntSet <: IntSet, we add a new method MaxIntSet::max().
Strengthen the postcondition of one or more operations. We can just print something (do something more than origin).