Pikagi
Ningcong Chen Profile Banner
Ningcong Chen Profile
Ningcong Chen

@JXQNHZr1yUAj5Be

1,668
Followers
101
Following
244
Media
2,785
Statuses

本人MCS of WPI 2025秋季毕业， 北美2024年暑期找实习中 Linkedin页面 ：

Joined January 2020
Don't wanna be here? Send us removal request.
Pinned Tweet
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
9 months
发一个找工求内推帖： 本人是WPI（北美学校）的在读CS硕士，2025年秋季毕业，最近在找2024年暑期CS实习。国内和北美实习都可。 技术栈主要是安卓开发，C++和一点PL设计，不排斥其他方向的，只是我不太会。 这是我的领英页面，如果有别的建议或者意见可以积极在评论区提出。
Tweet card media
ningcong chen - Suzhou Tongyuan Software and Control Technology Co., Ltd | LinkedIn

Experience: Suzhou Tongyuan Software and Control Technology Co., Ltd · Education: Worcester Polytechnic Institute · Location: Worcester · 35 connections on LinkedIn. View ningcong chen’s profile on...

www.linkedin.com
8
7
74
Last Seen Profiles
Modern Meadow

@ModernMeadow

RMOTS ꧁IP꧂

@0x5aca

Frenchie-Sac💕

@FrenchieSac

شاعر يمني

@W3What97526

เด็กของยุนอา ♥

@fernyoona

VEO News

@veonews_ng

JP @ Accueil Artistes / Artists Check In #Hellfest

@JPAccArtHell

the one who s!ghs 🇺🇦

@V1rtuozZ

东莞欣欣

@RobinPrice26846

पूर्णिमा

@SanataniPurnima

ת' שם בדוי

@anonimiBEYOTER

Mayhem

@witchesses

Eduarda Rodrigues

@Eduarda46141563

MKE Ankaragücü

@Ankaragucu

Parker Ferris

@ParkerFerris

费彻

@gudang

Ankaragücü Anket

@AnkaragucuAnket

i.D.A リゼ👼💜

@iDAbel_rize

Undian dan Kuis Online

@Serbakuis

AM

@Amir_Masdi

Raja Binor Stw

@BinorRaja

Save Bristol Bay

@SaveBristolBay

carlos

@Gayyphobic

big mama🥰

@KThiicc

Síntesis

@Sintesis_13

pemuas stw.pemuas.nenek .semok 69 crooot

@muahid_hafiz

Yeni Malatyaspor Espor

@Ymalatyaespor

Kadir Alayoğlu

@AlayogluKadir

Mark D. Haworth

@Haworth

M♥️.

@mnooas77

桜井浩子

@roko_sakurai

Ruby Ruby Sue 🏴󠁧󠁢󠁷󠁬󠁳󠁿🇬🇧🇺🇸

@Dragon7633

مروان

@mrwan746390

Ben

@kocaelispor_

Krimbo

@KrimboCS

فحلك يا اختي

@ya71742

@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
5 months
什么叫明目张胆呐🤣🤣🤣
Tweet media one
40
52
475
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
11 months
Lessons from Building Static Analysis Tools at Google 毫无疑问的天才之作，里面讲的五个Lesson是PL+社会学/心理学的集大成者。我要早看了这文章，我就再也不会去Julia社区，因为五个Lesson全部踩雷。 MIT 6.826，我劝你多学。
5
52
358
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
这学期学了算法导论这本书，让我深刻意识到，有的知乎er真就是叶公好龙，是不是压根没翻开这书。 这本书一点都不难，但写的辣鸡至极，我就是从网上随便扒几个CS学校的lecture note拼在一起就比它好。除了大而全这个优点以外，早就应该被淘汰掉了。
34
15
252
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
8 months
😭😭😭 孩子的第一个最最简单的扩散生成模型，终于在不抄别人的代码的情况下自己实现了。 之前复现的时候老是搞出一些SB操作，没想到今天竟然一遍就成功了。参数和网络也是自己拍脑袋弄得。
Tweet media one
8
3
187
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
Transactional Information Systems这本书真是宝典，包含了数据库理论各个方面的完整形式化理论，从简单模型入手发再展到复杂的模型，把所有假设都写得很清楚。很好的解决了上个世纪DB研究论文写的太粗糙，语焉不详的缺点。 很遗憾没早看这本书，早看了这个和end-to-end argument就可以解决主要疑惑了
5
33
168
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
网络的这些东西早就该搞可视化了，尤其是配那个iptable，几百条rule在一起，比CSS还恶心人，关键是人chrome有样式调试，iptable啥都没有。
@ExpLang_Cn
ExpLang
@ExpLang_Cn
1 year
推荐一款刚看到比较不错的工具 nexttrace：一款开源的全能可视化网络路由追踪工具 is yyds
Tweet media one
15
153
761
4
14
139
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
11 months
CS研究生怎么在国外和人交朋友，感觉很孤独，有种非常抑郁感觉。 我现在都想和我的电脑说话了。
39
2
131
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
一个世俗意义上的成功CS人，就应该像某冰封一样。高中就会同调类型论，大一开始找CS实习，到毕业每年都有一段实习经历。 而像我们这种转码失败人士，研究生干人家大一干的事情，所以就很失败。 因为我们的知识是累积性的，学的越早积累越多，越能融会贯通。
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
没有吧，我觉得我们学校那些CS人肯定比我成功一百倍。
0
0
1
10
5
130
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
4 months
日本太玄学了，竟然在纯CPU上炼了一个13B的LLM。。。
11
2
120
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
6 months
千万不要用venv，谁用谁沙比。 这玩意竟然直接去符号链接system里的python，然后你更新系统里的python就全部完蛋了，因为版本对不上，就会报错，彻底凉凉了。 还是必须用我们的conda才行捏。
34
7
107
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
2 months
Neural code generation / Spring 2024 CMU今年开的新课，我觉得很好，很值得看。 大大满足了我AI吊打PL的虚荣心。
5
16
107
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
大家一定要量力而行啊，不要看到fancy的课就选了。 我有个Berkeley同学选了一门神奇的CS262，一个学期读60篇CS论文（涵盖各个系统领域），感觉完全吃不消，我只能抽空陪读和他讲解论文，但我也觉得很多证明太难看懂了。。。这种是PhD打发时间的课。 像某PL教授这种闭着眼睛就能回答的课是比较好的选择
8
5
100
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
在知乎上我就说过CSAPP写的也不咋地，但我同学告诉我，CSAPP是CMU的OS入门课，我这才恍然大悟。这就解释了这本书为啥后半部分干瘪的像个Linux编程手册一样。 CSAPP+OS课是组合拳，它是秘籍的目录或者前言，光看目录当然无聊。不过等我知道的时候，我都学过OS了，so...
@yfractal
Mike Yang
@yfractal
10 months
推荐算法导论、SICP、CSAPP 的人，大多都没看过吧。 算法导论属于参考书那一类的。伯克利有本算法概论据说不错。 不过一般讲义都比较好理解一些。
21
30
160
6
14
94
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
2 years
@lidangzzz 我倒不觉得这是一种衰落，因为欧洲本来也没想象中的这么阔，这无非是一种西方中心主义叙事带来的效果。韩国人均GDP在90年代就和葡萄牙差不多了。 只要想想，光是冷战结束以后，东欧那里就留了一大堆计划经济的烂摊子。本质上还是中国在建国后瞎折腾太久，才会产生各种历史错觉。
2
1
74
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
11 months
有点好奇，专业前后端开发是什么样子的。 譬如C/C++语言，我可以从Linux/LLVM几个开源项目学到最优实践。虽然Java也有Spring+设计模式，但像JS/Android这种前端或者Python/Go的后端，感觉没有什么标杆项目，除了看几个开源项目和模版，如果不进公司貌似也不知道自己学的对不对。
17
11
86
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
像container这种技术是哪门CS课学的？我感觉是高阶OS课会涉及到虚拟化和一点容器的问题，但也不会讲这么深。或者是云计算的课会有涉及？ 会有这个疑惑是因为我看到很多X友都做这方面工作，所以怀疑我上了假的CS学校。
24
2
78
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
6 months
有没有办法设置一个shared file system？ 目前我在搞深度学习，一个很烦人的地方就是我有两台电脑+集群里的VM，现在三个地方的文件都不同步。 虽然可以用Github，但是需要经常做commit，我觉得很不方便。有没有办法建立一个文件夹然后在三个地方一起share里面的内容？这样子其他人也更好做贡献。
69
5
80
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
唉，看了AFFiNE这件事，这个社会不管对员工还是公司真残酷啊。面包这种前端这么厉害的人都能被坑。 所以说大家还是要把握中国老祖宗的中庸之道，要讲究和气。
7
3
78
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
9 months
Rust成功了！ 之前我还怀疑过Rust做机器学习有什么用，答案是Rust的candle是原生的实现，装依赖比llama.cpp更简单，之前有试过llama.cpp，一大堆混乱的依赖，又要Python又还需要build的工具。 不过缺陷还是要写Rust，感觉没Python方便。
9
2
73
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
刚刚搜索Rust怎么实现双链表，差点没把我乐坏了。 Rust的某reddit社区坚持认为，Rust不需要双链表，因为XX性能原因，所以你写不出双链表也不是大问题，Rust把这个弄得很难写，不是大问题。 但这问题是在双链表上吗？人家是抛砖引玉，问有cyclic引用的数据结构在Rust怎么处理的一般问题。
16
2
73
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
6 months
今天遇到一个非常牛皮的人。写所有代码和作业都要开Google translation，就连注释，也都是中文的。 我真的服了。每一天都能冲击我的下限和价值观。
5
2
64
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
2 years
@lidangzzz 其实8%还是2012上台时候的事情了，疫情前增长率只有6.5%左右了，经济底子本来就被一堆瞎操作糟蹋了，原来的预想是每一到两年下降0.5%，在2030~2040年收敛到发达国家水平，然后GDP差不多超过美国。 现在一下子就给干到底部，都不知道该说啥了。。。
2
1
57
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
看了Chris做的mojo语言，顿时觉得我学PL和编译器以及在Julia搞的东西完全没意义，还是学后端开发得了。 现在做PL和编译器就要靠大力出奇迹，弄PhD和开发者来堆工程，做的特性越多越fancy。静态语言都没人干了，现在起手就是JIT+奇妙的类型检查器+（在这里填入其他你想要的东西）
8
2
59
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
6 months
深度学习太有前途了！ 像我们大WPI的深度学习研究生课的老师，原来是做database的，只花了一个暑假学习深度学习，就能教学生怎么炼神经网络了。 牛不牛批！只不过线性回归，caled dot attention和VAE的公式都写不对哈，需要我在台下善意提示他。然后我还要捏着鼻子看他给我的final project写的feedback
8
3
63
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
经过我几天失败的尝试，做Leetcode hard应该必须仔细学那几本算法竞赛书，当做题家。。。 靠算法导论那些理论东西是完全做不出的😅😅😅
8
3
58
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
6 months
看了论文，我总算知道了，后深度学习时代，模型和数据越多越好，inductive bias越弱越好。 不要搞什么精心设计，事实证明哪怕是diffusion model，UNet也不如transformer（DiT/UViT）。天天在那里YY一套复杂的框架，这里抽取特征那里抽取特征，不如直接全拼在一起喂进模型了。
5
1
58
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
9 months
第一次见不用提交代码，而是把代码写到pdf来提交的CS作业😅😅😅。 WPI，你还有什么花活是我没有见过的。
13
0
55
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
2 years
知乎上关于编译器的回答基本上是一坨答辩，不是膜来膜去，就是一群人拿着N年前的编译器术语（譬如什么栈机、变量优化到寄存器里）来解释问题，连现代优化编译器的基于SSA架构都没搞明白。 反倒是PL人和深度学习编译器人写的能看，虽然有的搞的特别魔怔，言必称CPS、抽象解释，但总比不懂的好一百倍。
5
1
54
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
专业的事情一定要找专业的人来做，不要找一些野鸡来搞。 这绝不是说专业的东西是什么天书绝学，大部分人都没法理解。而是野鸡花的时间不够多，所以经常踩别人踩过的坑，重新发明别人已经发现过的问题。 同时，我们一定不要做野鸡，要多看教科书多看论文，形成正确的CS世界观。
2
3
52
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
11 months
无意中发现了有好心人已经帮我收集了一些好的编译器论文
Tweet media one
0
9
53
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
大吃一惊。 今天瞄论文时发现，Matlab早在90年代就使用了先进的PL工具（形式语义）设计了Simulink的编译器，确保了嵌入式应用的安全性。 看了原始论文才发现，reactive programming的很多问题在那个时候都已经清楚了（unbounded memory, casual error）。 这个工业界例子不比尬吹FP好一百倍。
2
6
52
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
前端这些异步状态比6.824的Raft还难，Raft起码给了状态机，你抄抄就完了。 前端不行，要自己设计，要一边异步拉数据库一边异步展示动态页面，然后组件还能异步变化，还要防止rerender，等于把一百个球丢到天上玩杂耍的高难度操作。
@FarSideOfMoonvy
月球背面 🌑 Moonvy
@FarSideOfMoonvy
10 months
前端框���从视图层不断向外入侵，React 和后期的 Vue（Composition API ) 都在不断的试图教用户怎么写代码， 甚至发展到了 RSC 把最后的服务端业务都占领了。 很多项目被绑架着用视图层的实践方法去实现一切，不仅徒增负担，等视图框架一个大更新，就傻眼了视图、数据、业务都得一起改 [1/2]
3
2
43
3
4
49
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
我是真的不想骂人，但你WPI某些学生就是垃圾一个。 我安卓课一个小组项目有6个人，四个人都不会安卓编程还不学，在DDL前才来赶代码，还要占用我们的时间教他们。 有一个人我都怀疑用ChatGPT写的代码，连import都不对，我直接给气死，打回去给他重做了，没想到下限能这么低。
6
2
49
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
7 months
我的同学给我发了这个东西，难绷。 说话是一门优雅的艺术，大家必要的时候还是要掌握一下哈，到时大家在社会上混，可千万不要写这种风格的文章哦。
Tweet media one
10
5
47
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
你看看，LLVM的代码，就是新时代的JVM经书🤣🤣🤣。 所以谁也别瞧不起谁，干的都是一个寄吧事情。
Tweet media one
4
1
45
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
主要是，有的学生的水平太野鸡了，大大超出我的下限。 你能相信有的CS研究生竟然不知道什么叫变量初始化吗？然后还对着那个kotlin的编译器错误问我怎么回事，我尼玛直接被气的脑溢血了。 还有连闭包和正则表达式都不懂的。 我都不知道该从哪里教他们。
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
@jian_w3ng 对，这个学校我已经彻底给无语住了。我感觉还不如我那县城里的二本大学。
4
0
6
10
1
44
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
7 months
有了ChatGPT以后我才知道有的人真的CS水平差的离谱。 之前group project写一个java spring的项目，那个人除了把东西粘贴进ChatGPT里，然后啥也不会，一报错了就傻眼了，最后只能我帮他写。 因为这类AI需要一定上下文才能很好的工作，但他都不懂自己在干吗，所以根本问不出问题，ChatGPT当然也帮不了他
6
0
44
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
9 months
如果我今年能在国内找到一个我能转正的暑期实习，我就立马Quit我这个CS WPI硕士了。 还是把重心放在国内了，国外投了几个都是hold或者不要sponsorship，技术栈也不匹配，继续投下去也是大海捞针。只能看接下来这几个大厂还有没有名额，没有就算了。
7
0
45
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
11 months
逆天，学PL使人发疯。 今天我看一篇Fuzzy的文章，遇到了delta debugging这个术语，然后上网查了一下这个词，无意中发现普渡大学的某门**本科**软工课教了这玩意。 结果Reddit上的学生把这PL教授给喷死，因为直接把本科课变成了研究生seminar，每门课都读论文，给学生读麻了😅😅😅。
4
2
45
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
我有两个小目标： 1. 第一个是多读CS不同领域的论文，增加我的知识储备 2. 第二个是多码代码，然后找一个好的CS工作，还我的学费
@tison1096
tison
@tison1096
10 months
@JXQNHZr1yUAj5Be 你的志向是啥呢
0
0
0
1
0
44
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
今天写简历，真是令人尴尬的一天。 转码人没啥东西可写，不得不绞尽脑汁在那里挑自己能写的一点优点。。。
10
0
42
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
6 months
真的能取代！ 现在我的同学人手一个ChatGPT，不管干什么，文档也不看，vscode不打开，先ChatGPT十下。我讲一句他问ChatGPT一句，然后还质疑我是不是弄错了。 当然最后问了和没问一样，还是得来问我😅😅😅。
@9hills
九原客
@9hills
6 months
是不是傻逼不好说，但是肯定不是一线、肯定不了解大模型。
2
1
30
4
2
40
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
Tensorflow难怪比不过Pytorch，我以为我又在写Julia。 今天遇到一个问题，它的dataset经过多个操作后推理不出tensor的形状，然后需要我手动提供类型形状。 然后我第一次用这些API，不小心写错形状，导致它编译的很慢（或者执行的很慢），然后才报错。 是不是熟悉的味道，所以说失败的原因往往是相同的
1
0
42
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
7 months
我现在觉得这个世界还是很残酷的，尤其是对那些想要立言的人来说。因为历史和舆论很难捉摸，充满运气成分。和你有没有钱，有没有理想，有没有努力，做题做的够不够多没有什么必然的联系。 譬如程序合成，PL人写了一百个理论，最后被AI吊打。 所以我现在随遇而安了，喜欢啥我就从github扒代码自己玩一玩
10
4
42
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
11 months
感觉找工还是要有点硬实力，疯狂写前后端。 PL+System这种我就没法找工，很难做出什么项目出来，就业也不对口。
3
0
40
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
7 months
@lidangzzz 不急不急，到时直接养老金全赖掉，然后价格闯关就行了，债务一笔勾销了。
1
1
37
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
7 months
唉，PL。 唉，静态分析。 唉，system。 唉，HCI。 咱们赶紧all in ai吧。
Tweet media one
2
1
40
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
8 months
跟着这个Colab教程玩了一早上的自动微分，然后我给他加了broadcast和tensordot，然后自己炼了一个简单的线性回归模型。 比起其他教程，这个教程有一个独特之处是它处理了向量和高阶微分，其他的教程都不做向量，过于偷懒。
Tweet card media
Simple Grad

Colaboratory notebook

colab.research.google.com
3
6
39
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
Julia社区里是真的多CS野鸡，我都给搞无语了。 亏我还写了那么长的PL回答来分析问题，结果别人来一句“I am hopeful/I am optimistic/You are incorrect”，然后post一个牛头不对马嘴的论文就有十个Likes，我一个都没有。 我觉得我还是太贱了，这种人我为啥还要费劲去教他们，还是让他们自生自灭好了。
3
0
38
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
8 months
？ 这东西还能搞出一个系列来的吗？
Tweet media one
6
2
38
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
11 months
Valgrind是给Haskell写编译器的人弄出来的副产品，什么梦幻联动。
Tweet media one
2
0
38
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
19 days
太几把抽象了，这就是图形学，之前那个某某图形学公司不也是这样吗😅😅😅。 学历高的人也是初生，建议去看zhihu的对战，两边都下场撕逼，太初生了。
Tweet media one
4
1
37
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
这个JIT技术与其说是JIT，不如说是个高级的dynamic linker。patch+trampoline是载入动态库的常见手段。 最大的好处是不用维护stackmap，因为CPS自动帮你维护了，坏处是你接下来只能做二进制层面的优化。 所以估计Python JIT这里还有的优化折腾。
@Manjusaka_Lee
NadeshikoManju@摇曳露营 S3 放送中
@Manjusaka_Lee
10 months
深夜水文一篇
14
20
169
2
2
36
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
9 months
经过我上个月的实践，我终于找到了在美国最节约（钱和时间）的吃饭方法，亲测有效！ 主食有两种选择： 1. 每天一袋水饺/汤圆+方便面+腌黄瓜/泡菜 2. 4块 炸鸡块/鱼排+青豆/青菜+拉面 饭后半个橘子+复合维生素。 一天不超过6刀，可以一锅熟，不用切菜+洗很多碗。 而且还可以减肥，推荐大家和我一起尝试
0
2
36
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
6 months
苏剑林的DDPM的实现是正确的，而且非常轻量，我亲自在FFHQ和CIFAR数据集上验证过，而且转写到了Pytorch里。 只不过他是用Keras写的，大家搜pytorch的时候只能搜到这些错的实现。
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
6 months
目前我知道网上有两个diffusion model的Github实现都是错的了，而且你一google，搜到的就是这两个，Github还有很多star。 而且还坑了我的一个同学，因为他直接搬下来用，凉凉。
2
0
7
1
2
35
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
现在至少两个我的同学问我，如何入门Julia。 我问他们，为啥用Julia，他们说，因为学校老师说：Julia性能好，推荐大家用。 我真的给整乐了，这就是科学计算界的原神吗😅😅😅
5
0
35
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
8 months
这几天看了一下，感觉LLM+程序XX（分析/证明）还是有点点扯淡，就目前的情况来看，纯靠基于概率的文本预测，其实是行不通的。
6
0
35
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
虽然我不做安全，但看到他们对PL和编译器的实现细节这么清楚实在是太羡慕了，感觉逆向其实是学习工业编译器很有效的手段🥲🥲🥲。
2
5
35
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
9 months
WPI这种野鸡学校里竟然Julia的研究实习，你敢信！！！ 这个技术栈为我量身定做的好吧，逆天真的
Tweet media one
Tweet media two
5
0
34
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
9 months
状态机都没写完... 而且说真的，6.824 Lab 2全部用Go异步状态机写，也要不了1200行。 其实我最好奇的是那些不用异步状态机的人是怎么写出正确实现的，难道一把大锁+一个dispatch表吗，那感觉和异步状态机没区别了。
@xptemplate
xp
@xptemplate
9 months
Implement a mini raft in one file, ~300 LOC, my two weekends side project:
Tweet media one
3
9
45
4
4
31
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
6 months
今天又差点给我气晕过去。 有个本科生在小组项目里说，让我们都赶紧整理一下我们做了什么，这样我好写在简历了。当时我就爆笑如雷了，你基本啥都没做啊就在这里BB，真的服了。 要做什么都是很清楚的，只不过你水平低才会总是在这里想些有的没的事情。
1
2
33
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮🤮 写简历写了一下午，想到我是在某人的模版上改，我就有点难绷，不得不把他那些好的经历都换成我这些烂的。
3
0
32
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
Dive into deep learning真的写的很差，已经不知道怎么吐槽了。 1. 思路清奇，竟然把learning rate编码到模型里，搞到我不得不覆盖掉基类里的优化器函数。 2. 类型继承非常混乱，五六个类有差不多的名字，父类关系也不一样 3. 炼出来的效果很差，LSTM连embedding/随机采样都不做 我用脚写都比这书用心
4
0
32
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
我又爱上了Coq。原来之前我之所以做那个习题这么艰难，是因为我不会autorewrite+eauto with XXX。后来我仔细看了一遍CPDT掌握了proof engineering以后，一切都变得超级简单。。。 反正一路下去eauto就完了。
3
0
32
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
3 years
@lidangzzz 其实为啥不多吹吹方舟编译器呀，那个起码代码还是自己写的。。。鸿蒙这个就纯粹XX啦
1
0
31
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
4 months
@Elizabe23855623
Release of “Fugaku-LLM” – a large language model trained on the supercomputer “Fugaku”

Release of “Fugaku-LLM” – a large language model trained on the supercomputer “Fugaku”

www.fujitsu.com
2
5
31
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
舍友发酒疯，变成了大模型。 我们说一句话他就会帮我疯狂续接一大堆不知所云的话。而且还支持中英模型，刚刚骂了十分钟谁都听不懂的英文。
2
1
29
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
18 days
不得不说，真滴贱呐，对一个刚毕业的实习生说出这种话来
Tweet media one
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
19 days
太几把抽象了，这就是图形学，之前那个某某图形学公司不也是这样吗😅😅😅。 学历高的人也是初生，建议去看zhihu的对战，两边都下场撕逼，太初生了。
Tweet media one
4
1
37
2
0
30
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
8 months
能不能学生之间搞搞共享GPU平台。 这样子，愿意玩游戏和学深度学习的舍友只用出一份硬件钱就可以两不误了。
9
0
26
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
我觉得中推圈这些Drama就很好，有助于帮助大家认识真实世界，消除学生思维。 譬如我来推特前，以为知乎上那种辣眼的FP讨论应该是没有的（Catogory/Haskell等日经话题），但后来发现可能是reddit上先搞出来然后在西学东渐到知乎上的。 譬如，我没想到很多技术达人搞起斗争来都一样下作，真的斯文扫地。
4
1
28
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
22 days
神经病，招聘的时候方向不匹配为啥不一面的时候直接刷掉，到二面的时候和我你做的项目很差、很烂，方向也不匹配，浪费我时间😅😅😅
3
0
28
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
Leetcode的hard题目有点难绷，如果不看答案基本都做不出来，问题的性质实在太巧妙了。。。
4
0
27
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
我彻底失败
Tweet media one
1
0
27
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
帮组员的大作业擦了两天的屁股，真的想死。 现在我看到后端我就想吐。我在TS/Python/JSON/Java/Kotlin/Rust这几个语言里来回写JSON/HTTP服务器/SQL。 关键是每个的库都不一样，然后码代码的时候就不一样。
1
1
27
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
刚刚看了某人写的PL博客，发现他高中就会HoTT和Agda写证明，这还是人吗😅😅😅
2
0
27
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
9 months
CMU的编译器课怎么是Frank Pfenning和Jan Hoffmann两个PL人上的。 PL上的编译器课，这可不可靠的啊🤣🤣🤣？
3
0
27
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
7 months
机器学习真的玄学。 1个epoch可以把准确率打到80%，但剩下10%要200 epoch才能达到，还有5%需要1000个epoch。 确实是非常考验耐心的学科。
7
0
26
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
@skywind3000 皇帝本意是好的，只是奸臣太多了，受到了蒙蔽。 认知就是这样，要等到清代人黄宗羲的《原君》，才指出“为天下之大害者，君而已矣”，那个时候都���经太晚了。
1
1
25
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
从15年到现在陆陆续续POPL也发了10篇左右的文章了，目前Rust被公认的形式化到底是哪篇论文，Oxide吗？ 我觉得很难理解一个语言的特性研究了那么久，还是和团浆糊一样，这是不是说明本身这些特性就是瞎搞在一起的。
4
0
26
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
🤮🤮🤮 再也不想做形式验证的题目，纯纯的恶心人。写了我一晚上Coq，证明那些简单的东西证明得想吐。
4
1
26
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
6 months
研究清楚了，Python这个基于路径导入就是一坨XXX，只能搞黑魔法。 因为根本不可能同时让Jupyter notebook/vscode-python/命令行工具三个都满意，如果你用复杂的项目配置(pyproject/src-layout)，那jupyter和命令行死给你看。 如果你用简单的项目结构，那就很难打包成一个可复用的项目。
6
1
24
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
6 months
大讲特讲diffusion model，然后连stable diffusion是在latent space炼的都不知道哈。 结果我讲VQVAE编码，然后他说，啊不懂啊没听过，问出“你这个怎么生成随机的图片捏”，给我绷了一天😅😅😅。
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
6 months
深度学习太有前途了！ 像我们大WPI的深度学习研究生课的老师，原来是做database的，只花了一个暑假学习深度学习，就能教学生怎么炼神经网络了。 牛不牛批！只不过线性回归，caled dot attention和VAE的公式都写不对哈，需要我在台下善意提示他。然后我还要捏着鼻子看他给我的final project写的feedback
8
3
63
3
0
26
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
令人疑惑，为什么Youtube上有这么多印度人讲解理工科的学习视频。 主要是很多主题还非常细分化，不是那种科普视频大陆货，是真的在讲课。。。
5
0
24
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
9 months
呃，主要是读这个没必要吧，你知道梯度的概念+计算图会自动传播梯度不就行了吗。。。实际上也就在MLP那里还算了一算符号梯度，等到后面RNN和LSTN就没人算了，那个递归式太复杂了。 其实我也早忘了这些链式规则，更何况ML的记号还是和书上的反过来（因为数学书用的都是列向量而ML用的行向量）。
@changwei1006
Chang Wei 昌维
@changwei1006
9 months
某些人的评论区也太不友好了 原作者是做前端的本来平时就不怎么接触这些啊 毕业那么多年了谁敢保证现在拿一套大一高数的期末考大家都能写出来? 信不信现在拿套大学c++期末考试题都不一定有几个crud boy能写到80分(百分制GPA均分80对于想保研和申外国名校的的来说其实已经算很低了) x的氛围比v2ex还可怕
44
14
269
2
0
25
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
1984要多看，掌握Rust的safe和unsafe辩证法。 反正C++/Rust/Haskell我全都多个角度舔，不把金主爸爸舔高兴了不罢休。
@geniusvczh
geniusvczh
@geniusvczh
10 months
哪个正经码农一辈子不会用20门语言和七八个平台，我觉得刚毕业就把自己限制在小小的一块地方里面，对自己日后的发展不是很好。再说了，rust的地盘最赚钱的是C++，但是rust狂热分子正好最讨厌C++，这就是造成了双重困难🤪
5
7
100
0
1
25
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
3 months
DeepMind重新发现：初等几何问题可以用解析几何嗯算，里面的AI其实没有卵用。
Tweet card media
From the math community on Reddit: Some perspective on AlphaGeometry

Explore this post and more from the math community

www.reddit.com
1
3
25
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
因为语法结构和语义没有直接关系，二十世纪早期分析哲学就在那里折腾这玩意，他们觉得语义是composable的，你只要定义一个AST到语义的函数就完了，后来被Quine狠狠锤了。 后来CS发展的时候估计忘了这个历史，又重走一遍老路。
@HyleIndex
Index
@HyleIndex
10 months
@LightQuantumhah @JXQNHZr1yUAj5Be 我觉得这个是这样的，我记得当时做nlp的有两个流派另一个就是要分析语法结构等等等等，但最后somehow就end up with现在这种llm靠大量数据暴力训练的结果更work..... 不知道为啥
2
0
2
4
0
23
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
其实问题就是：Julia社区总是想着懂编译器的人会来修这个编译器，但你这个语言由于没有静态编译、也没有商业生态，所以对专业程序员的吸引力基本为0。只能招到一些转码/跨学科的野鸡学生在那里就瞎几把搞编译器。 最后只有一些老人完全是为了情怀在弄，可持续性为0。
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
Julia社区的日经问题就是为什么还不做small binary，理由是核心开发者没空云云。 但依赖聪明人的社区从根本上是危险的，因为聪明人都这么聪明，怎么可能给你打工。我不觉得有多少正经PL/Compiler人会蹚浑水做这玩意。 所以最后水平一般的开发者搞不清楚Julia这坨玩意，做不了贡献，懂的人嫌给的钱少。
4
0
14
3
1
24
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
9 months
没有上下文知识怎么修啊，你修你也麻🤣🤣🤣 我觉得这其实就是LLM最大的弊病。因为程序员是人，有自己的欲望，要吃饭，所以可以在千千万万个充满复杂上下文的项目投入时间。 但搞一个全知全能的LLM很难，也很贵，恐怕每分钟要烧非常多的钱才能抵上同一时间里全世界这么多程序员的脑力运作。
@ddvd233
我觉得最近的研究[1]指出，可以轻松写一些代码碎片（code snippet）的 AI 几乎不能修 Github Issues。从这种角度来说，修 bug 的能力比解决 leetcode 问题的能力更能反映面试者的实际水平。
13
4
154
2
0
23
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
6 months
用混合精度万万不能用Softmax层！！！loss计算应该用losswithlogit的版本。 刚刚花了一个小时研究为什么GAN model炸了，还以为是GAN model不能用混合精度，原来问题出在我抄来的代码的discriminator，加了一个Softmax层，导致数值不稳定。这就是为啥discriminator不停地梯度溢出。
0
2
24
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
6 months
看到twitter上的这些PL争论（其实也就勉强沾边），把我笑嘻了。 我觉得做工程的人试图争夺学术话语权（譬如什么什么开创性），是一件自取其辱的事。真的没必要好吧，你念经念得过大儒吗？ 你不如做一个JS/TS，让所有PL人来跪舔你的实现，自有大儒帮你来念经。
0
0
23
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
5 months
发现一个人，还在锲而不舍的搞GAN模型🤣🤣🤣。 虽然我已经对GAN模型感到绝望了。
Tweet media one
4
0
22
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
4 months
王垠还是比知乎er水平高的，今天真看到了那个编译器文章里的典中典之UB优化。来自于 如果编译器可以假设*p隐含着p！=NULL（因为解引用指针可以导致UB，而UB可以任意优化），删掉那个p!=NULL控制依赖，然后编译器就可以重排A,B的操作，使得B=NULL，A=NULL，这下真变成p==NULL
Tweet media one
0
2
23
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
看论文一个心累的地方在于：精致的论文排版包装的却是半个世纪以前的理论，不由得对自己选择论文的能力产生了深深的怀疑。 而且看论文还要先七拐八拐地找他的technical report+repo，把它的定义和术语都看一遍，才知道你已经上当受骗了。 应该搞一个博客，精选精读论文，避免后人走弯路。
1
0
22
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
11 months
看完Memory SSA的论文，大喜这不是分离逻辑吗，然后赶紧去看LLVM是怎么实现的。 结果：把堆分解成多个片段是对于最终结果没有意义，于是LLVM根本就不分解（看第二个例子，写入%p1，%p2两个non-alias的指针也会重定义整个MemoryDef）。
Tweet media one
Tweet media two
6
1
22
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
1 year
我到底在上什么课，传统中文PL和女性主义PL😅😅😅
Tweet media one
1
0
22
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
我现在觉得很多人学不会可能是纯粹是学的方法和资料有问题。 不必在这种入门的资料打转，因为很多初等问题是它们高等问题的化简版，要通过学新东西复习旧的东西，通过学别的领域检测你的领域内知识。
0
1
22
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
10 months
这个课我觉得对没学过形式验证的人来说太难了。 它有好几个地方用了千里冰封说的模式匹配魔法，你不完整看一遍CDPT和SF前两本书根本做不出来。 而且叠着一层抽象，自动化有一点但不好用，经常都不知道自己做着做着在干嘛。所以我不得不把它的代码库全打印在纸上，先用纸笔算一遍。
@visionof_gideon
Visions of Gideon
@visionof_gideon
10 months
@JXQNHZr1yUAj5Be 扫了一眼 得夸夸MIT了 这个课程设计很用心 但不知道多少人能学到位
0
0
3
2
2
22
@JXQNHZr1yUAj5Be
Ningcong Chen
@JXQNHZr1yUAj5Be
6 months
太典了。 还有不会设置Python虚拟环境，结果连别人的代码都没法设置起来，必须让我一行行给它口授Linux指令。 最大的问题就是做事情没有主动性和逻辑，不知道自己每一步在干嘛，有什么道理，所以出问题了也不会修。
@hanluoQAQ
汉络（赛博文媛）
@hanluoQAQ
6 months
@lidangzzz @JXQNHZr1yUAj5Be 有没有可能，现在有的人，教程写了压缩包打包好了，他们就该问你怎么是zip啊，.1是什么意思，没有手机版吗？001和002分卷压缩是什么啊，为什么网盘解压链接失效了啊？好麻烦啊大佬……
0
0
5
4
0
20