 |
jiang42🏢 AMD / MTS Silicon Design Engineer V2EX 第 51593 号会员，加入于 2013-12-10 20:04:51 +08:00 |
Shanghai
jiang42 最近回复了
2023-01-08 02:44:35 +08:00 回复了 gowl 创建的主题 › 分享发现 › 当 Rust 成为“巨坑” |
有這時間去重新用 Rust 發明輪子，不如好好在 C++上搞搞形式化驗證-。-
2022-12-03 15:54:21 +08:00 回复了 hongchaodeng 创建的主题 › 程序员 › 为什么大家这么讨厌 Electron? |
Electron 能流行还得怪硅工太拼命。。。Free Lunch 快要结束了
2022-11-19 01:54:23 +08:00 回复了 bronana 创建的主题 › 硬件 › 国产显卡要出了,有点小心动,不知道它这个 16G 显存算什么水平 |
SoC 卡, 中国本世纪以来最在行的就是系统集成了
2022-09-09 02:19:14 +08:00 回复了 zx900930 创建的主题 › 服务器 › 入了 i5-12400 当影音为主的小服务器, 现在有点后悔 |
FYI, SRIOV upstream task is on-going, ETA Q4'23
https://github.com/intel/linux-intel-lts/issues/33#issuecomment-1176996341
https://github.com/intel/linux-intel-lts/issues/33#issuecomment-1176996341
2022-09-08 20:26:55 +08:00 回复了 vite 创建的主题 › Apple › Dynamic Island 灵动岛💊 软件放大硬件缺陷的典范之作 |
我在等屏下指纹的间隙里已经用了两代 SE 了－。－
2022-09-03 22:32:50 +08:00 回复了 klo424 创建的主题 › 问与答 › 最近在做课程表的排课，涉及很复杂的计算，有没有算法大牛能给点建议或者提示吗？ |
前面提到的 prolog ，ortools 都可以
还可以把这个问题转成 sat 问题用 sat solver 求解
这种级别的数据量不会算不出来的。。。
还可以把这个问题转成 sat 问题用 sat solver 求解
这种级别的数据量不会算不出来的。。。
2021-06-21 00:38:34 +08:00 回复了 luoyi519 创建的主题 › 酷工作 › ［上海张江-中芯国际] 半导体企业 招聘 IT 运维开发工程师、技术专家 C++/C# |
这…新思都没这么抠…
2020-10-25 12:59:47 +08:00 回复了 Death 创建的主题 › 程序员 › youtube-dl 的 repo 被 DMCA takedown 了 |
git 是一个 dvcs，会因为 GitHub 上被 DMCA 而引发讨论也是很令人无语-。-
2020-10-23 18:34:18 +08:00 回复了 jiang42 创建的主题 › 职场话题 › 假定薪水匹配上阿里，什么样的招聘启事会对你有吸引力呢？ |
2020-10-23 18:19:53 +08:00 回复了 jiang42 创建的主题 › 职场话题 › 假定薪水匹配上阿里，什么样的招聘启事会对你有吸引力呢？ |
Select Language