Taine Zhao(已原化)

4.3K posts

Taine Zhao(已原化) banner
Taine Zhao(已原化)

Taine Zhao(已原化)

@thautwarm

https://t.co/FJETigmD71 JuliaLang Member, 前MSRA员工。生活推,偶尔技术。看v的萌萌人❤️

Katılım Eylül 2017
274 Takip Edilen2.4K Takipçiler
Taine Zhao(已原化)
Taine Zhao(已原化)@thautwarm·
@yetone 我过年期间vibe了一个不用按fn的,带键盘/鼠标操作。可惜就是发觉llm还说不够快。 我现在什么都不用做,等text+audio大模型再发展最多半年,应该就可以开源了。
中文
1
0
2
3.5K
Taine Zhao(已原化)
Taine Zhao(已原化)@thautwarm·
openclaw 这套东西想必是哪里提示词有缺陷,明明是2026年的模型,智能跟2023年的差不多。
Taine Zhao(已原化) tweet media
中文
0
0
3
517
Shisoft
Shisoft@shisoftgenius·
翻了旧帐才发现 @thautwarm 和开源酱都参与过 GraphEngine(Trinity)的开发 并且他们俩在 MSRA 的时候我也正好在微软 我死了
中文
1
0
5
1.7K
Taine Zhao(已原化)
Taine Zhao(已原化)@thautwarm·
Bun 疑似有点闭门造车? Deno 的 standalone executable 支持 cross compilation 可比 Bun 早得多,Bun 现在打包个 wasm 都难。
Taine Zhao(已原化) tweet media
中文
4
0
28
6.2K
tt
tt@pK7qkLEE6TKEBRs·
@thautwarm 为啥不是stream啊,1gb的数据要申请1gb内存吗?
中文
1
0
0
59
Taine Zhao(已原化)
Taine Zhao(已原化)@thautwarm·
rust flate2库简直有毒, 解压传入 &mut Vec<u8>,还得要求 capacity 足够,否则静默失败
中文
2
0
7
1.7K
Taine Zhao(已原化)
Taine Zhao(已原化)@thautwarm·
@LynzRand @OnlyXuanwo 我觉得rust好用还是好用在语言设计好+调包堪比py,至于零开销不太被sell。 一个类似的情况是异步 rust ,用大量复杂度换丁点性能,然而我发现我大部分异步相关的抽象都用了BoxFuture,用 rs 的 async 很少真在性能上讨到好 (假如和c# async2比)。
中文
0
0
1
127
Rynco Maekawa @rynco@dvd.chat
@OnlyXuanwo @thautwarm 但是这样就没法 stack allocate、不能用内存池,必须用 vec 才符合 API。比起这个,如果真的认为需要先初始化的话,allocate 之后置零再传进去的开销应该是可以接受的。
中文
2
0
1
156
Taine Zhao(已原化)
Taine Zhao(已原化)@thautwarm·
@LynzRand @OnlyXuanwo 是的,传 &mut [u8] 然后 while 读,常见 pattern。 loop let sz = read(&mut vec[count..count+prealloc])? if sz == 0 then break count += sz; vec.try_reserve(...)?
English
1
0
1
94
Taine Zhao(已原化)
Taine Zhao(已原化)@thautwarm·
@OnlyXuanwo 用 prealloc 那入参应该是 &mut [u8] ,这样就不会有concern的冲突。 它留个 &mut Vec 是复用现有 vector,怎么知道这个复用对存储不够的情况不会再分配而是静默失败? 哪怕是 Result<Status, _> instead of Result<_, _> 呢?
中文
1
0
2
112
Xuanwo
Xuanwo@OnlyXuanwo·
@thautwarm 从优化的角度来看这挺合理的呀,只使用 allocated capacity ,这样不用担心在解压缩的过程中出现额外的分配🙏
中文
2
0
0
169
Taine Zhao(已原化)
Taine Zhao(已原化)@thautwarm·
@OnlyXuanwo 如果它传入是个&mut [u8]我是接受的。 但是它把我长度 为 0 的 vector fill 到 capacity 的长度。。
中文
1
0
0
143
Xuanwo
Xuanwo@OnlyXuanwo·
@thautwarm Hi,我理解应该是会返回一个 Status::Ok 表示后面有更多数据
中文
1
0
2
482
Taine Zhao(已原化)
Taine Zhao(已原化)@thautwarm·
刚把 macbook 用顺手,就出现间断自动输入字符 a 的情况。。 逐渐越来越干扰工作,一分钟时间会自动输入5-20个 a。。 这几个月觉得mac的好处: 1. 核心: 专门的IM切换键,不像win 11某更新后定制无效 2. 商业软件基本适配,能工作 3. 相比win开发配置更简易,brew可用性挺高 4. 虚拟网卡效果更一致
Taine Zhao(已原化) tweet media
中文
3
0
3
1.4K
Artea
Artea@Artea4096·
@thautwarm 🤣🤣🤣不会是a键物理bug了吧(
中文
2
0
0
250
Taine Zhao(已原化)
Taine Zhao(已原化)@thautwarm·
@hsn8086xe 先在要排序的数组区间里随机挑一位幸运观众,就管它叫它奶龙吧,比奶龙小的排它左边,比奶龙大的排它右边。左边的再按这个方法排一次,右边也再排一次。
中文
2
0
23
4.4K
hsn.bot
hsn.bot@hsn8086xe·
hsn.bot tweet media
ZXX
38
18
988
188.6K
Taine Zhao(已原化) retweetledi
Darkflames
Darkflames@Darkf1ames·
我也来推特找工作了 - 京都大学硕士毕业,研究方向是编程语言与类型论,熟悉各种 dependent type 和形式化验证 - 长期从事 Web 项目开发 - 可以使用任意编程语言进行开发,希望从事 PL / 编译器 / Infra / 工具链等方面的工作 如果你所在的团队在招人,或者刚好知道合适的岗位,欢迎随时联系我!
Darkflames tweet mediaDarkflames tweet media
中文
93
78
861
234.4K
Taine Zhao(已原化) retweetledi
Roger Luo 罗秀哲
Roger Luo 罗秀哲@rogerluorl18·
we have a full-time opening on compiler engineer at QuEra Computing Inc.! job-boards.greenhouse.io/queracomputing… is an exciting moment to work on the this new direction of software and algorithm, if you know a talent compiler engineer, quantum compilation researcher, please forward to them!
English
0
4
12
1.9K
Taine Zhao(已原化)
Taine Zhao(已原化)@thautwarm·
@yetone 我自己做的自用chat/plan app也支持,不过这个问题是,自动滚动到底部反而还要专门开发才会有吧?
中文
1
0
2
233
Taine Zhao(已原化)
Taine Zhao(已原化)@thautwarm·
@JXQNHZr1yUAj5Be 当工程师能力不够无法解决问题时,你的工具得有一个用时间换任务进度的逃生机制,好的例子就是matlab coder的profile based codegen。
中文
0
0
0
153
Taine Zhao(已原化)
Taine Zhao(已原化)@thautwarm·
@Lakr233 toolcall 集成到用户产品的问题,还是动态创建json schema这一套流程不通畅(包括schema创建/创建过程的验证/基于schema的序列化反序列化器生成/json修复等)。纯静态的简单太多了,rust那边很完美但是要编译期来处理,但用户自己创建tools是纯动态的,目前没什么好用的基础,硬磨产品还是蛋疼。
中文
0
0
1
154