s*****e
发帖数: 115 | 1 最近在跟Microfocus的Fortify 和 Semmle在interview，感觉里面的人都好牛，但是钱
多不了多少
都是进去核心产品组做静态分析，面试的时候都是问compiler internals和dataflow
analysis相关的实现问题。这种工作以及类似compiler engineer的工作老了之后吃香
不？还是继续写pipeline写web services，感觉写不到50岁～～～，或者转去做cloud
相关的service比如写OLAP， database之类的组？ |
s*****e
发帖数: 115 | 2 其实这个工作不直接写compiler,但是compiler 很多ｃｏｎｃｅｐｔ都会用到。
主要感觉这个领域好像很敏感，我看galois和ｇｒａｍｍａ ｔｅｃｈ都是清一色白人
，而且接ＤＡＲＰＡ的ｐｒｏｊｅｃｔ |
T********i
发帖数: 2416 | 3 这种工作30年前被人当做不懂停机问题来嘲笑。
现在算力上去了，应该有无穷工作可做，也容易出成绩。
: 其实这个工作不直接写compiler,但是compiler 很多ｃｏｎｃｅｐｔ都会用到。
: 主要感觉这个领域好像很敏感，我看galois和ｇｒａｍｍａ ｔｅｃｈ都是清一
色白人
: ，而且接ＤＡＲＰＡ的ｐｒｏｊｅｃｔ
【在 s*****e 的大作中提到】
: 其实这个工作不直接写compiler,但是compiler 很多ｃｏｎｃｅｐｔ都会用到。
: 主要感觉这个领域好像很敏感，我看galois和ｇｒａｍｍａ ｔｅｃｈ都是清一色白人
: ，而且接ＤＡＲＰＡ的ｐｒｏｊｅｃｔ
|
g****t
发帖数: 31659 | 4 In my personal humble opinion:
(假设你是cs phd)
不看好静态分析的老方向。尤其是大公司。如果我所料不错，都一堆老流氓卡位置。往
往要好几年才能把你的技术变成产品。我觉得一般工程师还是要找机会往应用走。另外
现在的情况，我认为
中国人在国外搞底层技术没啥意思。
（以我个人经验为例。我技术秒以前公司做算法的。但是9年时间只有3个芯片装到手机
和laptop。期间鸡毛鸭血的事情无数。总共花在技术上的时间其实就几个月。）
另外从技术潮流上来讲。机器学习代码补全现在已经有好几家了。Kite.com只搞python
,就拿了17M投资。似乎静态分析也在往机器学习方向倾斜。（我没用过这个kite。但是
同类型的tabnine我在用，我认为未来没有机器学习自动补全，写码效率会很低。）
: 这种工作30年前被人当做不懂停机问题来嘲笑。
: 现在算力上去了，应该有无穷工作可做，也容易出成绩。
: 色白人
【在 T********i 的大作中提到】
: 这种工作30年前被人当做不懂停机问题来嘲笑。
: 现在算力上去了，应该有无穷工作可做，也容易出成绩。
:
:
: 其实这个工作不直接写compiler,但是compiler 很多ｃｏｎｃｅｐｔ都会用到。
:
: 主要感觉这个领域好像很敏感，我看galois和ｇｒａｍｍａ ｔｅｃｈ都是清一
: 色白人
:
: ，而且接ＤＡＲＰＡ的ｐｒｏｊｅｃｔ
:
|
s*****e
发帖数: 115 | 5 Semmle 就是在做了GOLANG的静态安全分析, 成功接了google和uber 的合同
python
【在 g****t 的大作中提到】
: In my personal humble opinion:
: (假设你是cs phd)
: 不看好静态分析的老方向。尤其是大公司。如果我所料不错，都一堆老流氓卡位置。往
: 往要好几年才能把你的技术变成产品。我觉得一般工程师还是要找机会往应用走。另外
: 现在的情况，我认为
: 中国人在国外搞底层技术没啥意思。
: （以我个人经验为例。我技术秒以前公司做算法的。但是9年时间只有3个芯片装到手机
: 和laptop。期间鸡毛鸭血的事情无数。总共花在技术上的时间其实就几个月。）
: 另外从技术潮流上来讲。机器学习代码补全现在已经有好几家了。Kite.com只搞python
: ,就拿了17M投资。似乎静态分析也在往机器学习方向倾斜。（我没用过这个kite。但是
|
g****t
发帖数: 31659 | 6 我前面本来有一句“假如你技术能秒golang这块的人...”
后来删了。看来我这算卦的水平与日俱增啊。
Golang本身hacker news 有人分析过，一年大概goog花费10M。那么静态安全分析这块
应该也没多少钱。我的意思是，假设你技术能秒own 做golang这块的人，那还是
很麻烦，这种项目应该都是最多1,2人own。那么要有斗争的。
所以分出来看这个path,似乎挺窄的。
我还是觉得现在ML engineer这个方向好。你看本版就知道。好多观念在过去的背景下
是对的。现在都是错的。例如什么叫一个软件可以scale up。过去都是不考虑cpu算力
的。
就是现在，本版还有不少人觉得写matlab的那就不是computer science 。
: Semmle 就是在做了GOLANG的静态安全分析, 成功接了google和uber 的
合同
: python
【在 s*****e 的大作中提到】
: Semmle 就是在做了GOLANG的静态安全分析, 成功接了google和uber 的合同
:
: python
|
s*****e
发帖数: 115 | 7 我看来确实也是比较窄，这个可能真的是个问题。
但是太主流的东西，比如ML Engineer,data scientist, 写pipeline和写web services
的，技术很容易普及。只要刚需到位了，哪怕一开始做不出来，也能用迭代的方法从慢
到快。对传统公司来说，甚至可以直接花钱找ＡＷＳ或者gcp来做cloud
transformation. 靠的是忽悠拿到project ownership，技术是非常次要的。三哥不就
这么垄断了non-tech ｃｏｍｐａｎｙ的吗？
【在 g****t 的大作中提到】
: 我前面本来有一句“假如你技术能秒golang这块的人...”
: 后来删了。看来我这算卦的水平与日俱增啊。
: Golang本身hacker news 有人分析过，一年大概goog花费10M。那么静态安全分析这块
: 应该也没多少钱。我的意思是，假设你技术能秒own 做golang这块的人，那还是
: 很麻烦，这种项目应该都是最多1,2人own。那么要有斗争的。
: 所以分出来看这个path,似乎挺窄的。
: 我还是觉得现在ML engineer这个方向好。你看本版就知道。好多观念在过去的背景下
: 是对的。现在都是错的。例如什么叫一个软件可以scale up。过去都是不考虑cpu算力
: 的。
: 就是现在，本版还有不少人觉得写matlab的那就不是computer science 。
|
s*****e
发帖数: 115 | 8 30年前为什么会被嘲笑？算力不够的话，以前也有heuristics近似解决NP问题，停机问
题这种undecidable problem现在也不能解决，信息不够，问题也不对
【在 T********i 的大作中提到】
: 这种工作30年前被人当做不懂停机问题来嘲笑。
: 现在算力上去了，应该有无穷工作可做，也容易出成绩。
:
:
: 其实这个工作不直接写compiler,但是compiler 很多ｃｏｎｃｅｐｔ都会用到。
:
: 主要感觉这个领域好像很敏感，我看galois和ｇｒａｍｍａ ｔｅｃｈ都是清一
: 色白人
:
: ，而且接ＤＡＲＰＡ的ｐｒｏｊｅｃｔ
:
|
h**********c
发帖数: 4120 | 9 这种老中很难拿到,本土出生亚裔都别想security clearance要求高,只要有人找你麻烦
铁定的替罪羊.webservice巴前端后端,点缀点机学深学量子学 |
h**********c
发帖数: 4120 | 10 美国现在主要问题是基础设施老化,银行医院学校飞机场发电站都包括在内,我认为这是
很大的生意.如果无年只内看不到改善,大家安好. |
|
|
g****t
发帖数: 31659 | 11 技术普及还要好多年吧。
以前的CS教育导致绝大多数马工无能力自己写个毛病少的求特
征根的库。以前是偏离散数学的。ML算法如今多是连续数学。
ML engineer不容易的。算法的步长干啥用的，光这一个参数。练到有经验认识也要不
短时间的琢磨。
另外要host一个算法作为web service。各种问题非常麻烦。例如你可以考虑下如何
host 一个google map为基础的router服务。找个现成的启发式NP算法。显然有很多工
作要做的。
我认为ML engineer有很多工作机会和岗位。
: 我看来确实也是比较窄，这个可能真的是个问题。
: 但是太主流的东西，比如ML Engineer,data scientist, 写pipeline和写
web
services
: 的，技术很容易普及。只要刚需到位了，哪怕一开始做不出来，也能用迭
代的方
法从慢
: 到快。对传统公司来说，甚至可以直接花钱找ＡＷＳ或者gcp来做cloud
: transformation. 靠的是忽悠拿到project ownership，技术是非常次要
的。三
哥不就
: 这么垄断了non-tech ｃｏｍｐａｎｙ的吗？
【在 s*****e 的大作中提到】
: 30年前为什么会被嘲笑？算力不够的话，以前也有heuristics近似解决NP问题，停机问
: 题这种undecidable problem现在也不能解决，信息不够，问题也不对
|
p***o
发帖数: 1252 | 12 你觉得新一代的马工有多少知道矩阵乘法不满足交换律？
【在 g****t 的大作中提到】
: 技术普及还要好多年吧。
: 以前的CS教育导致绝大多数马工无能力自己写个毛病少的求特
: 征根的库。以前是偏离散数学的。ML算法如今多是连续数学。
: ML engineer不容易的。算法的步长干啥用的，光这一个参数。练到有经验认识也要不
: 短时间的琢磨。
: 另外要host一个算法作为web service。各种问题非常麻烦。例如你可以考虑下如何
: host 一个google map为基础的router服务。找个现成的启发式NP算法。显然有很多工
: 作要做的。
: 我认为ML engineer有很多工作机会和岗位。
:
|
N********n
发帖数: 8363 | 13 找工作还是要看市面上的风向而不是个人喜好。冷门方向尽量闪，不要入
错行再后悔。我以前就是做语言和编译器的。这个方向面太窄，不是每个
公司都会有人去做语言或者静态分析，也就最大的那几个公司在做。后来
我转应用开发和DATABASE了，Cloud，BUSINESS APP等肯定比COMPILER面
宽，工作机会多俩MAGNITUDE。希望你不要走弯路。
BTW，COMPILER里面那些DATA FLOW analysis / Parallel optimization
的理论和设计大流量网站节点的技术是相通的。转到那个方向上很容易。 |
g****t
发帖数: 31659 | 14 在我那个年代是计算机系讲高等代数，我们EE讲工程数学一，包括线性代数。所以CS本
科的应该都会交换律。代数和离散数学，以及分析是不同的。
但是例如给一个别的地方产生出来的曲线。一般的程序员写一个bisection求根。稍加
测试就会出现
很多问题的。这些内容不是高等数学里面讲的bisection方法可以覆盖的。
反过来讲。这就好比非cs科班出身的，手写个二叉树也往往达不到产品级别的强壮要求。
: 你觉得新一代的马工有多少知道矩阵乘法不满足交换律？
【在 p***o 的大作中提到】
: 你觉得新一代的马工有多少知道矩阵乘法不满足交换律？
|
g****t
发帖数: 31659 | 15 是的。感觉这种方向吧，就算你技术秒其他人，也难拿到own产品的位置。拿到了也未
必是好事。叫你去
给华为培训，怎么处理。
: 找工作还是要看市面上的风向而不是个人喜好。冷门方向尽量闪，不要入
: 错行再后悔。我以前就是做语言和编译器的。这个方向面太窄，不是每个
: 公司都会有人去做语言或者静态分析，也就最大的那几个公司在做。后来
: 我转应用开发和DATABASE了，Cloud，BUSINESS APP等肯定比COMPILER面
: 宽，工作机会多俩MAGNITUDE。希望你不要走弯路。
: BTW，COMPILER里面那些DATA FLOW analysis / Parallel optimization
: 的理论和设计大流量网站节点的技术是相通的。转到那个方向上很容易。
【在 N********n 的大作中提到】
: 找工作还是要看市面上的风向而不是个人喜好。冷门方向尽量闪，不要入
: 错行再后悔。我以前就是做语言和编译器的。这个方向面太窄，不是每个
: 公司都会有人去做语言或者静态分析，也就最大的那几个公司在做。后来
: 我转应用开发和DATABASE了，Cloud，BUSINESS APP等肯定比COMPILER面
: 宽，工作机会多俩MAGNITUDE。希望你不要走弯路。
: BTW，COMPILER里面那些DATA FLOW analysis / Parallel optimization
: 的理论和设计大流量网站节点的技术是相通的。转到那个方向上很容易。
|
s*****e
发帖数: 115 | 16 我觉得新一代马工，尤其从stem转过来的， 好多都应该在本科linear algebra里面学
过。只是多年不用，都忘记了。
不过这年头搬砖的工作够多了，仅仅刷题，2年经验就能有30w一年，知道不知道不妨碍
人家刷题拿大包。难得的是能有那个运气和exposure去长时间接触某一个domain的问题
，比如你说矩阵乘法是否commutative 的问题。时间给够，聪明的人都能学会。再说，
这也就不到一百页教材可能就讲到的问题，想了解再深入的，翻翻抽象代数，里面了解
一下元素集合和运算符之间这种结构问题。基础太弱的也不在同一个赛道上，我相信你
也不care他们？
不过说了这么多，好像又扯到有没有人指导系统学习的问题。想学的话，去学校转转就
好了
【在 p***o 的大作中提到】
: 你觉得新一代的马工有多少知道矩阵乘法不满足交换律？
|
w********m
发帖数: 1137 | |
s*****e
发帖数: 115 | 18 王大哥最近又在intel做deep learning compiler
这东西主要在code generation 层面搞，是IR及以下的。他以前搞的程序分析往往在Ｉ
Ｒ或以上
。到头来，他还是没转行，他现在做的东西我感觉很有意思，想想也很兴奋，ＬＯＬ
【在 w********m 的大作中提到】
: 王垠就是搞这个的吧
: 据他讲，不是个好方向
|
c********1
发帖数: 5269 | 19 我本科是物理专业,学过矩阵
也记不得什么是[矩阵乘法不满足交换律]
【在 p***o 的大作中提到】
: 你觉得新一代的马工有多少知道矩阵乘法不满足交换律？
|
s*****e
发帖数: 115 | 20 talked to a golang guy from google yesterday. Lots of security
vulnerabilities take the formalism from type checking. Nothing very fancy.
【在 T********i 的大作中提到】
: 这种工作30年前被人当做不懂停机问题来嘲笑。
: 现在算力上去了，应该有无穷工作可做，也容易出成绩。
:
:
: 其实这个工作不直接写compiler,但是compiler 很多ｃｏｎｃｅｐｔ都会用到。
:
: 主要感觉这个领域好像很敏感，我看galois和ｇｒａｍｍａ ｔｅｃｈ都是清一
: 色白人
:
: ，而且接ＤＡＲＰＡ的ｐｒｏｊｅｃｔ
:
|
|
|
m******r
发帖数: 1033 | 21 谦虚了， 不满足交换律才不奇怪，满足交换率才奇怪。
好比，左手右手，左脚右脚，左脸右脸完全对称， 才奇怪。
【在 c********1 的大作中提到】
: 我本科是物理专业,学过矩阵
: 也记不得什么是[矩阵乘法不满足交换律]
|
n********t
发帖数: 21 | 22 哎呀！你们码工怎么一点高等数学都不用啊。
一般矩阵乘法 AB =/= BA。
：我本科是物理专业,学过矩阵
：也记不得什么是[矩阵乘法不满足交换律] |
n******t
发帖数: 4406 | 23 很多人以爲中國大學教育基礎紮實其實都是死記硬背。這些東西想明白了不用背。
矩陣乘法定義成那麼個奇怪的樣子是爲了表示線性變換的迭代。函數迭代本來就不滿足
交換率。就像(x+3)^2!=x^2+3一樣。
【在 c********1 的大作中提到】
: 我本科是物理专业,学过矩阵
: 也记不得什么是[矩阵乘法不满足交换律]
|
C*****l
发帖数: 1 | 24 满足交换律是一种privilege，呵呵
【在 n******t 的大作中提到】
: 很多人以爲中國大學教育基礎紮實其實都是死記硬背。這些東西想明白了不用背。
: 矩陣乘法定義成那麼個奇怪的樣子是爲了表示線性變換的迭代。函數迭代本來就不滿足
: 交換率。就像(x+3)^2!=x^2+3一樣。
|
f*******t
发帖数: 7549 | 25 黑现在的大学生没问题，说不知道矩阵乘法不满足交换律的有点过了吧，连这都不知道
线性代数能考及格？ |
r****t
发帖数: 10904 | 26 这两天写空间映射的 code，又捡起现代来，头痛，这边的教材跟国内的还是很不一样
的。
求。
【在 g****t 的大作中提到】
: 在我那个年代是计算机系讲高等代数，我们EE讲工程数学一，包括线性代数。所以CS本
: 科的应该都会交换律。代数和离散数学，以及分析是不同的。
: 但是例如给一个别的地方产生出来的曲线。一般的程序员写一个bisection求根。稍加
: 测试就会出现
: 很多问题的。这些内容不是高等数学里面讲的bisection方法可以覆盖的。
: 反过来讲。这就好比非cs科班出身的，手写个二叉树也往往达不到产品级别的强壮要求。
:
:
: 你觉得新一代的马工有多少知道矩阵乘法不满足交换律？
:
|
