Sabitlenmiş Tweet
DaviRain
9.4K posts
Kimi 2.6 的类型体操玩得不如 GLM 5.1，Kimi 全给我 as unknown as，而 GLM 全给我改成各种稀奇古怪的 TS 类型体操了。
中文
Formally verify your code!
For any help to make it scale on complex software: reach out!
toly 🇺🇸@toly
Formally verify your code!
English
DaviRain@DaviRainivaa
English
Formally verify your code!
vitalik.eth@VitalikButerin
Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible. I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why: vitalik.eth.limo/general/2026/0…
English
token多到不知道干啥了...
只能在这算1+1、1+2、2+1
有没有啥费token的活儿推荐一下？在线等挺急的🥲
中文
倒反天罢
DaviRain@DaviRainivaa
github.com/DaviRain-Su/ru… Rewrite the Rust compiler implementation using Zig. The goal is to see if we can introduce Zig's compile-time features (comptime) and metaprogramming (reflection) into Rust. This would change the existing way Rust handles macros, as the current macro system in Rust is quite problematic.
中文
@QuantumTransf github.com/DaviRain-Su/ru… 我在搞一个超级好玩的，我用 Zig 来重写实现 Rust 的编译器，试试能不能将 Zig 的 compile-time 还有反射引入到 Rust 中
中文
tl; dr 全是 strncmp 解析
zhuanlan.zhihu.com/p/203972507620…
有人说过，没有 1，再多的 0 都没有意义
zero language 深刻让我意识到了这一点，没有人只有 ai 的软件工程就是 bullshit
原来 vercel 是在下一盘大棋，眼看隔壁 A 社 bun 用 rust 重写似乎可行，通过公布这堆 zero slop 拯救人类于水深火热之中
中文
github.com/DaviRain-Su/ru… Rewrite the Rust compiler implementation using Zig. The goal is to see if we can introduce Zig's compile-time features (comptime) and metaprogramming (reflection) into Rust.
This would change the existing way Rust handles macros, as the current macro system in Rust is quite problematic.
English
2010 gamedevs, this is your time to shine
David Crawshaw@davidcrawshaw
While the industry is pouring resources into programs without GC (rust), I think the Jane Street OCaml folks have it figured out with OxCaml. Almost all your code paths are cold and GC is net positive. 1% of your code is performance sensitive. Don't create GC pressure there.
English
