@thautwarm

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

thautwarm.github.io/Site-33/
Joined September 2017
  • Tweets4.3K
  • Following271
  • Followers2.4K
openclaw 这套东西想必是哪里提示词有缺陷，明明是2026年的模型，智能跟2023年的差不多。
3
670
Bun 疑似有点闭门造车？ Deno 的 standalone executable 支持 cross compilation 可比 Bun 早得多，Bun 现在打包个 wasm 都难。
3
28
6,329
rust flate2库简直有毒, 解压传入 &mut Vec<u8>，还得要求 capacity 足够，否则静默失败
2
7
1,747
刚把 macbook 用顺手，就出现间断自动输入字符 a 的情况。。 逐渐越来越干扰工作，一分钟时间会自动输入5-20个 a。。 这几个月觉得mac的好处: 1. 核心: 专门的IM切换键，不像win 11某更新后定制无效 2. 商业软件基本适配，能工作 3. 相比win开发配置更简易，brew可用性挺高 4. 虚拟网卡效果更一致
3
3
1,488
Taine Zhao（已原化） retweeted
Roger Luo 罗秀哲
@rogerluorl1822 Nov 2024
we have a full-time opening on compiler engineer at QuEra Computing Inc.! job-boards.greenhouse.io/que… 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!

QuEra Computing, Inc.

QuEra Computing is the leader in commercializing quantum computers using neutral atoms, which is widely recognized as a highly promising quantum modality. Based in Boston and built on pioneering...

job-boards.greenhouse.io
4
11
1,923
Taine Zhao（已原化） retweeted
Roger Luo 罗秀哲
@rogerluorl1812 May 2025
Join our quantum computing journey! We're looking for a Hardware Compiler Engineer to work with embedded systems and cutting-edge hardware technology. Our open-source: github.com/QuEraComputing/ Apply here: job-boards.greenhouse.io/que… Help us shape the future of quantum computing!

QuEra Computing Inc.

Building scalable quantum machines to make impossible problems simple. - QuEra Computing Inc.

github.com
2
5
744
离职去北京，又开始兴趣导向的生活咯！ github.com/thautwarm/Typed-B…
4
39
1,599
Taine Zhao（已原化） retweeted
Anqur@anqurlu2 Feb 2025
预告一下，最近在写一个功能比 github.com/anqurvanillapy/ly… 更多的定理证明器；这次会换一套语法，注意测试覆盖率，并拿来写更多的证明；估计最终只用 1k 行以内 Python；文档和注释使用中文，偏向使用工业和常见术语，隐藏学术术语和细节；两周内估计能发布😋

GitHub - anqur/lyzh: A well-documented minimal dependently-typed language for my friend Lyzh

A well-documented minimal dependently-typed language for my friend Lyzh - anqur/lyzh

github.com
1
2
1
28
9,630
Taine Zhao（已原化） retweeted
akazwz
@akazwz_14 Feb 2025
Tauri 打包安卓应用还有两个需要注意的点, 这是我昨天解决的问题: 1. 状态栏颜色 2. 输入框高度. 状态栏颜色默认是紫色, 且不能根据深色模型调整, 把颜色改为和自己的app主题一致的会好看很多. 输入框有可能不会跟随键盘高度, 导致被键盘遮挡在下面, 这是因为配置的问题. 增加 android:windowSoftInputMode="adjustResize" 即可解决
2
1
20
1,957
几个月过去，一切都很棒。 但最终果然因为 Rust OOM 存在系统性漏洞的问题（oom=panic支持不完整），引发了几个工单，严重影响了终端用户的使用体验。。。 基于Rust开发计算平台，应该无可避免会因为内存不足导致崩溃，不能转为普通的报错。
Taine Zhao（已原化）@thautwarm13 Sep 2024
rust 做计算平台究竟怎么可靠处理 oom？人麻了，不会觉得所有应用都是内存不够就 abort 的吧？ 写了一个月 try_new 了好恶心。
5
22
1,862
P.S: 使用 Result/fallible_collections 根本就是不可行的。 因为 Rust 生态里大部分的库都认为 OOM handling 不该存在。如果你要求所有分配都 check，那么生态库封装起来的很多基本操作（包括 clone）都无法使用。
1
7
603
比如一个上游的 crate，它提供一个类型可以 clone，但没有 try_clone，你要怎么办？抽象直接断掉。 你试图为所有 Clone 的类型实现 TryClone，用 catch_unwind？不好意思，Rust 告诉你 oom=panic 可可靠是没有保证的，你预期是 panic 的东西，有时不能保证不是 abort。
8
515
Taine Zhao（已原化） retweeted
laike9m
@laike9m_15 Jan 2025
有时侯你明知道某个决策是错误的，尝试阻止却无能为力，最后只能任凭其发展并带来各种后果。这是在公司（或任何组织）里工作非常无奈的一点。
20
8
5
117
19,297
rust 做计算平台究竟怎么可靠处理 oom？人麻了，不会觉得所有应用都是内存不够就 abort 的吧？ 写了一个月 try_new 了好恶心。
1
1
17
2,974
又过了几年看 recreator ，意外地发现挺好看的。 以前不是很喜欢的角色也能喜欢上了，低能主角的形象也更脑瘫了
1
9
836
这个结尾，当年不觉得牛逼，反而有点觉得烂尾。 现在感觉其实创意真的不错，情商对话多，然后也很好地融合了对上层叙事者/故事趣味的利用。 唯一不足可能就是军姬塑造单薄，但男主那个结尾的办法其实还挺合理的。“她为了复仇战胜了一切，最后一定要得到应有的奖励吧。”观众会这样想的，创意确实好。
1
441
rust 有没有对应 haskell sequence_ 或者 forM_ 的东西啊？现在基于 result 在写东西，每次都要预先分配 Vec 好麻烦。。。
1
1
683
明明感觉亡骸游戏挺好看的，怎么评价很低的样子🤔 当然叠战力确实要不得，有点魔禁中期的既视感了。。
1
615
首次 deepseek-coder 体验超过 command-r-plus，主要是在理解代码上面，deepseek-coder能够理解 *const FFIArray<u8> 然后翻译到我用 TypeScript 规定的规范定义上去 {"*const": { array: u8 }}，而 command-r-plus 总是给我把 *const 去掉，它好像在改 api 这件事上有过分强烈的意愿。
1
6
722
一想到以前做个python jit都吃力，真的是给惯的。 现在做的 jit，既要热更，又不能让用户看到卡顿，还他妈是动态语言+动态作用域，写你妈个 x 要运行时判断是 x() 还是真变量 x，还可以 eval 改你妈的局部作用域，f(a, b) 运行时判断是 a.f(a, b)还是b.f(a, b)，然后删个文件系统热更jit假设重来。
2
45
5,452
正常干完这一票，明年就能如愿以偿造自己/公司的新语言了。虽然也不是完全新，本质上是合并两门现有的次主流语言，但语义和优化这块非常阳间，使用场景和发展前景都不错。 所以现在再离谱的抽象玩意儿也得给它摆平。
6
13
1,110
Load more