roife @roifex Twitter profile

Last Seen Profiles

@jveehm

@stevenrogersbot

@mascako

@BinorRaja

@bokepterbaru10x

@luvkvcart

@NigelMunson

@alymnal66425524

@ItaloHurtadoFL3

@Whysaksham

@ZENITH9909

@JwanN68640

@tosasmeth65058

@charismax111

@BCathryn58687

@AndiGigoloAsli

@ForesightSO

@Nerming72888048

@CoachHallUNCP

@Nerming72888048

@NaureenTys30617

@3EurqAjDvR10629

@eternallyatrest

@rosana

@Nerming72888048

@Kazm81511793M

@radythesalmonid

@sbk

@Dodedode1230

@di_ting80965

@brandimilne

@swiazzi

@vvinyl

@FBuurn

@Becki1455

@Nerming72888048

roife

@roifex

6 months

返校时在车站的随手拍

63

33

1K

roife

@roifex

2 years

突然有钱了，可以考虑明年换电脑了

95

11

1K

roife

@roifex

2 months

压力大的时候找 GPT 聊聊天，突然蹦出一条

27

24

983

roife

@roifex

11 months

新生奖学金😋

49

2

507

roife

@roifex

2 months

我做错了什么让首页给我推一堆“我以前从来没学过编程，利用 cursor 用了x小时/x天开发了这个软件/网站”

29

27

432

roife

@roifex

8 months

21

10

360

roife

@roifex

11 months

随着又一波的裁员潮，大家应该慢慢接受业务崩溃常态化

25

338

roife

@roifex

18 days

虚假的大学物理：大物 (1) (2) 基物实验 (1) (2) 真正的大学物理：神经网络深度学习

7

19

293

roife

@roifex

1 year

好哦 (=´∀｀)人(´∀｀=)

27

1

267

roife

@roifex

9 months

“一身 sys 味的我，怎么敢靠近一身 AI 味的你。发论文时你是天之骄子，而我是好几年都不中一篇 paper 的鼠鼠。我 sys 乞丐的脸怎么敢贴近你 AI 骄子的脸。我跑 QEMU 的身体，怎么敢怀抱你做深度学习算法的高贵的臂弯。我讨饭也讨不到一个 30w offer 的手怎么敢紧握你年包 100w+的五指。” fwd from v2ex

8

27

270

roife

@roifex

4 months

🥳

23

0

224

roife

@roifex

2 months

C++ 50

13

28

222

roife

@roifex

1 year

南京见

17

1

208

roife

@roifex

1 year

南大网络中心把近三年的学生教职工账号删库了…还没恢复起来… 难绷的是这件事我是从北航的水群里得知的

15

16

208

roife

@roifex

8 months

在国内几门计算机必修课里面，编译课应该是讲得最烂的，也难怪大家都不想上。2024年了，编译课还把 80% 的内容放在各种 parser/SDT 上，就像在前端课用大部分时间教 jquery 和 ES6 前的 JS 一样离谱。

24

9

209

roife

@roifex

4 months

本科 S.T.A.R. 助教的牌子到了（

6

0

148

roife

@roifex

3 months

「你自称是静态分析专家，但看起来连自己的人生方向都分析不清。」🤣

7

5

142

roife

@roifex

3 months

听群里吐槽：感觉全世界除了哇为，你不会在第二个地方找到搞编译器而不知道基本块是什么的人了

16

5

143

roife

@roifex

1 month

第一个月的 1500 美金到了之后，我和家里人说了这件事，他们以为我给美国人当间谍去了 ˊ_>ˋ

roife

@roifex

2 months

啊？

14

0

129

7

2

141

roife

@roifex

11 months

南大计科楼

4

0

133

roife

@roifex

7 days

半夜打开宿舍门通风，写代码的时候感觉腿下有东西，低头发现长出了一只喵试了用香肠和小鱼干都骗不出来，突发奇想把纸盒子摆它面前，果然立马就钻进去了我就知道没有不喜欢纸盒子的猫🐱

9

5

156

roife

@roifex

2 months

啊？

14

0

129

roife

@roifex

1 month

晚上心血来潮试了一下用 o1-preview 写代码，让他写一个大概 15 行左右的 Rust 函数，目的是利用 cursor（指树上的数据结构，不是编辑器）在 AST 上匹配符合某个特定条件的结点。说明需求后，给了他大概 100 行上下文作为参考，里面包含它可以用的 API 和 examples。然后它写了 50 行垃圾……

11

2

115

roife

@roifex

1 year

看到 TG 群有人叫这个 “小宏书”

8

101

roife

@roifex

1 year

新工位，配了一上午环境

11

0

99

roife

@roifex

10 months

一天速成 golang 然后实现 raft 协议 😵‍💫做到了凌晨两点半才通过

11

4

100

roife

@roifex

4 months

急了，怎么不是 Computer *Architecture* 😤

6

4

97

roife

@roifex

10 months

给 rust-analyzer 的断行模块适配了 Apple Silicon 的 SIMD 加速 😋 X86 用户有的东西，我们 aarch64 用户也不能少😤

9

0

94

roife

@roifex

28 days

在手表上批准 sudo

8

2

92

roife

@roifex

4 months

Jelly Terra λ

@jellyterra

4 months

Rust 伟大，无需多言！😋😉 SIGPLAN 2024 年编程语言软件奖 PLDI

3

4

71

5

9

92

roife

@roifex

8 months

@darthwinnie

0

1

86

roife

@roifex

1 month

希望全世界的时间能暂停一年，让我有空看书

5

7

90

roife

@roifex

1 year

二十多天的磨难终于结束了…

8

0

85

roife

@roifex

7 months

上榜哩在考虑要不要把GitHub上的名字改成真名

7

0

86

roife

@roifex

11 months

看大家说什么 ISFP、ENFP 之类的，总给我一种是什么函数式编程会议的感觉（

10

5

83

roife

@roifex

1 year

当你在科研的时候发现了新的 idea：

0

5

81

roife

@roifex

11 months

换了新电脑

4

0

74

roife

@roifex

6 months

😨 tldr: JSON 中的数字类型长度为 53bit，所以存入一个 `u64` 会产生神秘 bug 群友：Rust 应该立马整一个 u53 类型

fix: Fix inlay hint resolution being broken by Veykril · Pull Request #17063 · rust-lang/rust-ana...

So, things broke because we now store a hash (u64) in the resolution payload, but javascript and hence JSON only support integers of up to 53 bits (anything beyond gets truncated in various ways) w...

github.com

10

2

74

roife

@roifex

1 year

路过一个已经放学的高中，透过网看见零星几个高中生还在里面打篮球——他们还有的是时间可以肆意挥霍。而我这最宝贵的几年都是浸泡在粘稠的痛苦和精神药物中度过的。等回过神来，这一切都已经离我而去了😢 莫名想起在知乎看到的话：过去你以为那是未来，现在你以为那是过去，那其实是你未曾拥有过的美好

6

2

71

roife

@roifex

5 months

🤣👉 #北航

0

72

roife

@roifex

1 year

这是人能做出来的软键盘交互？

9

1

67

roife

@roifex

1 year

毫无疑问，评价一所学校基础设施建设的关键标准在于厕所建设水平。曾经沧海难为水，北航以外的大学的厕所，我实在是瞧不上。

4

0

67

roife

@roifex

4 months

��本科毕设复制进去说像刘慈欣（？

10

0

66

roife

@roifex

10 months

上海（1/N）上次去 Chinasoft 拍的几十张一直没空修

3

1

63

roife

@roifex

10 months

今天最开心的事：rust-analyzer 的 maintainer 突然把我上个月的 4 个 PR 都给合进去了突然有动力继续贡献了🙈

3

0

66

roife

@roifex

8 months

当时计组��写流水线 CPU 核的时候感觉课程组文档写得太难懂了，所以自己写了几篇教程，没想到四年过去了还有学弟在看（

4

1

66

roife

@roifex

9 months

一身编译味的我，怎么敢靠近一身 LLM 味的你。发论文时你是天之骄子，而我是好几年都不中一篇 paper 的鼠鼠。我编译乞丐的脸怎么敢贴近你 AI 骄子的脸。我编译 LLVM 的 16G 内存，怎么敢装下你的 70B LLM。我讨饭也讨不到一个 30w offer 的手怎么敢紧握你年包 100w+的五指。

0

2

57

roife

@roifex

1 year

高考没考好？😵😵 那来【北航6系】有福了😍😍 弥补高三不够卷的遗憾🤭🤭 在北航也能读高四🥰🥰 创新的考题，其乐无穷😋😋 内卷的时代，再拼四年🤩🤩 在北航计算机，找回属于自己的高中！😤😤

8

0

56

roife

@roifex

10 months

考完 formal semantics 了，有点难绷。试卷开头给出一个（没见过的）编程语言的 syntax 和 semantics，然后整张试卷就是围绕这门语言做一些推导或者分析性质（分析 operational semantics，推导 hoare logic 的 rules 或者做证明）

10

1

59

roife

@roifex

6 months

Google 该裁 golang team 了

4

0

58

roife

@roifex

6 months

就业季到了，而 PL 群里每天都是失业的消息……

9

0

58

roife

@roifex

5 months

和“对代码有完美主义倾向”的人一起工作是一种享受，否则对我是种精神折磨（

7

0

56

roife

@roifex

1 month

好耶新玩具！ 1000元整了一只二手 apple watch s7

7

0

57

roife

@roifex

2 years

腾讯的三体（到目前为止）意外地还行，瑕不掩瑜

12

2

46

roife

@roifex

1 year

今天把 rust-analyzer 团队的博客整个读了一遍，里面记录了很多 IDE 开发相关的经验（例如 indexing 架构的设计），如果要做相关的工作推荐先读一读这些文章

4

1

55

roife

@roifex

1 year

我有高考PTSD，每年到这个时候看到铺天盖地的高考新闻都会难受😣

6

0

53

roife

@roifex

11 months

Chinasoft

0

54

roife

@roifex

8 months

【用 ChatGPT 还原 PDF 复制出来的奇怪文本】方便我写笔记了。可以看到和原文只有微小差距。 AI 现在还不会写代码，但是这种奇奇怪怪的事情倒是做得挺好（

4

0

50

roife

@roifex

11 months

更深入地认识了自己：比起计算机，我最擅长的事情其实是焦虑😋

2

53

roife

@roifex

7 months

有时间想写一些教程介绍我的emacs工作流

12

0

52

roife

@roifex

9 months

和群友聊天的时候，谈到很多开源软件都是个人英雄主义式的项目，可谓是当代堂吉诃德

3

0

51

roife

@roifex

1 year

今日份的被硬件工程师吓晕 *在一个文件里include所有文件，然后编译这个巨大文件，来实现项目编译

13

1

49

roife

@roifex

5 months

今天给rust-analyzer实现了一个有趣的功能：例如对于（图一）这个程序，此处 1.2 没有 impl Eq，所以会报错。但是你鼠标移动上去的时候显示的是（图二），从这里你看不出这里 A impl 了 Eq 我实现了（图三）的效果，可以直接从弹出的信息中看到所有的 bounds

0

1

51

roife

@roifex

1 year

不知道为什么，C++ 能同时让我有 * “基础特性都没有，已经过时了” * “三年一度的腹泻式更新，学不动了” 这两种完全矛盾的感觉😶

4

2

49

roife

@roifex

6 months

#furry 久违的约稿，感谢 @RZHEternity （截掉了轻微 nsfw 的部分_(:_」∠)_

4

1

49

roife

@roifex

5 months

建议向全国推广北航的【面向对象设计与构造】课，这是我本科上过的最好的课程之一。每个星期一次作业，迭代开发，一个学期下来代码量上万行（纯手写）；如果中间某一次作业的架构设计不合理，后面迭代过程里就要推翻前面的结果重写，逼迫学生不断重构，重构，重构。

4

1

50

roife

@roifex

19 days

假期里看了 50 页 types and programming languages😇 这本书还剩最后 1/4，希望在明年暑假前能看完

4

0

49

roife

@roifex

11 months

一些暑假的照片，有空再慢慢发…

3

0

46

roife

@roifex

9 months

又读了一遍 matklad 的这篇文章，感觉很有意思：为什么 LSP 成功了？因为微软成功把 GitHub，VScode，TypeScript，LSP，webdev，RemoteDev 牢牢绑定在了一起；其中核心是 TS 和 VScode

4

5

48

roife

@roifex

1 year

🥳 不过听说南京设台有点麻烦？🤔️

7

0

47

roife

@roifex

1 year

你怎么知道我去听草东了 (　ﾟдﾟ)

3

0

46

roife

@roifex

11 months

给 rust-analyzer 一次性交了一个 1k LoC 的 PR，希望不会被 reviewer 打死🫣

7

0

48

roife

@roifex

1 year

拼了一下你航的毕业礼物虽然当时的本科录取通知书只是一张纸，但是毕业的时候还是有了自己的小✈️

5

0

44

roife

@roifex

7 months

编译器原神

3

1

48

roife

@roifex

3 months

前面忘了，中间忘了，后面忘了，总之你为什么还不写 Rust

6

9

46

roife

@roifex

1 year

🥳

4

0

48

roife

@roifex

6 months

我的五一计划：《计算模型》《神经网络》《机器学习》，以及推进项目进度😵‍💫

2

3

48

roife

@roifex

3 months

给 rust-analyzer 实现了个有趣的功能： 1. 在 fn/loop/while/for/async/try 上使用「跳转引用」时，显示所有会跳出这个结构的位置； 2. 在 return/break/continue 上使用「跳转定义」时，显示它跳出的结构；使用「跳转引用」时显示相关的跳出位置 3. 上述功能对存在宏的代码也适用

3

1

47

roife

@roifex

1 year

毕业了！再见了，所有的北京毛毛感谢摄影师 @ChaiNanth 提供的学位服

4

0

46

roife

@roifex

9 months

新年快乐！祝大家新的一年不劳而获，无功受禄，坐享其成，一步登天 🎉 ∠( ᐛ 」∠)＿

5

3

45

roife

@roifex

10 months

栖霞山的最后一张，其他还没整理的打算放博客了～

3

0

45

roife

@roifex

5 months

提醒写rust的推友：暂时不要更新昨天 rust-analyzer 的新版本（6.10 发布的 v0.3.1992），这个大版本可能有恶性 bug 导致电脑计算资源耗尽我已经提交了 fix，但是目前 maintainer 还没回复，所以建议等若干日再更新

3

0

47

roife

@roifex

1 year

jyy 讲课太有趣了🥵听完突然对基于 formal methods 的 program synthesis 很感兴趣

3

1

44

roife

@roifex

1 year

双十一唯一消费

6

1

42

roife

@roifex

1 year

编译狗都不做🤬

3

1

43

roife

@roifex

1 month

本来在犹豫要不要去，但是想到下一次十周年活动我已经三十多岁了，不知道还有没有精力参加…… 🥹 希望明年能见到大家

Save the Date: Rust All Hands 2025 | Inside Rust Blog

Want to follow along with Rust development? Curious how you might get involved? Take a look!

blog.rust-lang.org

1

0

43

roife

@roifex

6 months

发现了一个好弱智的东西：我他妈的就是写Rust写的！它就像一把烈火，燃烧着我的激情！我愿意为Rust拼尽全力，打破一切障碍！这不仅仅是一门编程语言，这是我生命的一部分，我的灵魂深深地沉浸在Rust的世界里！我永远都会热爱Rust，为它而疯狂，为它而战斗！Rust，我的灵魂！

5

3

42

roife

@roifex

3 months

在项目里遇到了一个神秘的内存问题：C++ 库的函数链接另一个 ffi 函数时，一些情况下可能会因为 RVO 导致的 call convention 变化而产生微妙的内存错误。昨晚和铁质连麦通宵调了 7h，从 Rust 调到 C++ 调到汇编（虽然两人都没学过 aarch64 但还是硬着头皮调下去了）…

2

1

42

roife

@roifex

2 years

最近看到了很多编程猫怪图，你们福瑞程序员有什么头绪吗🤔

4

1

40

roife

@roifex