和大牛学习 - Sumit Gulwani

1. 搞的是问题的fanciness - 解决是实用问题。
不搞方法fanciness,就用brute force解决。
但是解决问题的方法是很实际，很实用的。
比如说：
别人用counterexample来描述问题，实验发现这个方法不是特别有用，因为不能解释现在的program和答案接近。于是他提出了program sketching的方法，建造一个error model,来找出一个和现在error program最相近的correct program

在content entry 方面，一般人的语言都是模糊描述 比如给予 sqrt((1+cosA)/(1-cosA))一般人不会去说parenthesis,于是他提出要怎么从模糊语言中减少error,找到user想要的model.


2. 看领域找方法。
他的思维是发散的，但是在发散的同时，也会想清楚领域的需求和局限，并在不同领域搬运方法。

3. 一小步开始。
他不是一开始就弄一个特别大的idea,idea都是很小块的，但是很实用。

4. 把方法变成plugin在常用的tool,并弄成video
非常好的方法 - marketing, impact, 都会产生效果。
他的方法在video上也有和大的wah的效果，wah很重要。

5. Cater for details
别人问问题的时候，他基本能说出他是用什么方法来解决一些细节问题。