图形学(微博搜索)-20230131-1

本条微博地址柚子嗷呜w_缺德版
我：还考什么？
：还有计算机图形学
我：计算机网络？
：嗯嗯
我：dbq计算机操作系统，咱俩没一个说对名字的
：笑死 本条微博地址账户名不含数字和特殊字符
感觉虽然我的博士课题可以all in程序逻辑和程序验证，想毕业以后可持久发展还是得谨慎考虑一些PL+XX这种结合方向，不然搞不好连funding都找不到… 毕竟夕阳方向

想到的一些（基本都是各种compiler）：

e.g. 1之前在pldi遇到过个做图形学的，说他们非常需要compiler里的技术来帮算一些3d图（只听懂了个大概）

e.g. 2 操作系统的形式验证，其实卖点挺好的，又确实有（点）用，然而sys人怒斥这个方向千万不能做，说他上一个认识的博一做到博四无限踩坑都搞不完一个项目（上一个做出重大成果的人现在在割韭菜）
但是感觉对OS来说恐怕效率比bug free要求更高，解决bug free他们好像明显更喜欢人工debug+静态分析+fuzzing组合技

e.g. 3 Deep learning compiler -TVM这种好像还用得挺广的，所以首先得懂DL

e.g. 4 GPU+ compiler..? 本条微博地址passerss__
刚刚看了这个视频 感觉蛋仔的这些操作和Blender还挺像的，有基本的刚性变换（旋转和平移），也有缩放，感觉这个操作比Blender顺滑得多，作为一个小白不得不感叹雷火的图形学和客户端结合成这样的效果也不愧是巨作了 搜索微博更多关键词-图形学