@roifex

Compilers, Program Analysis, PL, Rust / Photography / Furry

Joined October 2021
  • Tweets2K
  • Following465
  • Followers7.7K
294Media
我们距离形式化工业编译器还有多远
9
51
7,051
我发现用 dots 订阅一些网页/论坛/仓库的更新还不错，差不多是 AI 时代的 RSS
8
1,022
在使用了 13 年苹果设备之后，我选择逃离了苹果全家桶和所有苹果服务 🙈
24
1
65
14,306
1. OS 27 系列让我觉得苹果在设计上太谄媚了，我不再愿意为苹果的设计买单，并且各种小 bug 太多了； 2. iOS 上仍然采用极度封闭的政策，在 vibe coding 的时代我仍无法用上自己做的 app； 3. 传言苹果试图将 OLED MacBook 作为新系列并大幅提高售价，我无法接受现在已经很昂贵的 MacBook 进一步提价；
1
598
感觉上班后完全花不出去钱，最大支出是房租，其次是 AI 订阅
35
147
12,155
越来越觉得 vibe coding 就像魔法一样，只有你能想象出来，你才能指挥得好。想象得越细节，魔法施展出来的效果越好。
27
19
1
354
17,549
roife retweeted
Yann LeCun
@ylecunOct 8
Replying to @KrzakalaF
Au contraire. C'est une nouvelle ère qui s'ouvre pour les mathématiques. Une ère où la démonstration formelle est largement automatisée et où l'accent sera reporté sur le développement de nouveaux concepts, nouvelles abstractions, nouvelles définitions, et nouvelles conjectures. L'invention du bateau a réduit l'importance de la nage, mais a permis la découverte de nouvelles terres.
145
641
142
4,504
245,294
看这次 OpenAI 拉稀式发布新证明，我反而没有之前看 NS 方程那种震惊瘫坐的感觉了。 现在最大的感受可能是：还好以前没有脑子一热去做 TCS😜
9
5
242
24,009
白狐社我永远都不会原谅你的
2
14
2,207
语言的艺术： 我们炸了，前沿模型被 Anthropic 轻松打败，新模型延期了，还要砍用户额度，现在根本拿不出好消息。 ➡️ 我很惊讶我们竟然把好消息都保密了。
Tibo
@thsottiauxSep 29
That was yesterday, today is DevDay. And it's all good news. I'm surprised we've kept it all under wraps.
11
6
1
494
60,374
看现在 Anthropic 的样子就和我之前说的一样：什么隐私泄露之类的都无所谓，只要模型做好了，用户就会闭嘴，然后屁颠屁颠凑上来捧。 这个世界就是一个巨大的李彦宏。 @智谱 😁 接下来知道什么才是正确的公关了吧
20
3
4
369
30,050
所以模型公司只有一种危机，那就是模型做烂了。 除此之外干什么用户都会原谅的。所以应该“前进，不择手段地前进”。
1
1
90
3,841
和 AI 协作，用了一天时间把所有配置迁移到 nix 上了，用起来有点爽
2
1
27
3,272
吃南京大排档给我吃出了一种乡愁的感觉。 开始想念在每天的晚餐后能慢条斯理地拆一只螃蟹的生活了。
9
37
2,897
《等待 Reset》是21世纪20年代荒诞文学的代表作品。在文中第一章节出现了两只在昏暗压抑的机房里盯着codex的程序员。没有任何背景交代，只知道他们是在等待“Tibo的reset”。不知道他们为什么等待，也没有交代 Tibo 为什么要 reset，更不知道是不是banked reset。
21
43
5
424
25,354
more replies
文中只有codex这个荒凉、飘渺的背景。文章让人感到荒唐可笑，但同时另一方面又让人毛骨悚然，细思恐极。Tibo 到底什么时候 reset？到底是banked reset还是hard reset？这一个个问题从文章一开始就萦绕在读者心头，随着剧情发展环境对话越来越压抑，好像 Tibo 真要 reset 了，但又可能没 reset。
1
10
1,434
但直到文章末尾还是没有弄清楚 Tibo 到底有没有 reset，这可能也暗示了人生也是像这样的苦苦等待，没有开始没有结果吧。但 Tibo 到底什么时候 reset，是什么reset，我想在每个读者的心中都有了答案。
1
13
1,147
Load more