➡️
继续阅读
-
林肯实验室三项技术荣获2026年R&D 100奖
麻省理工学院林肯实验室三项技术获2026年R&D 100奖:Magnetite操作系统基于形式化验证微内核seL4,用Rust编写并以最小权限隔离...
-
如何招聘一个“真人”?——专访 Stack Overflow 技术招聘官 Tom Harvey
AI普及使简历和LeetCode测试失去筛选价值,候选人看似完美。Stack Overflow招聘负责人Tom Harvey主张招聘应重软技能与真实经历而...
-
COMSOL参加第二十四届半导体封装测试技术与市场年会
COMSOL将参加2026年11月在南京召开的第二十四届半导体封装测试技术与市场年会,展示多物理场仿真技术在先进封装领域的应用,可模拟芯片制造和封装工艺中...
-
TÜV南德出席具身智能安全技术沙龙,解读欧盟MR与CRA新规
2026年11月10日,TÜV南德出席在北京举行的“具身智能安全技术沙龙”,代表邓映路发表演讲,解读欧盟《机械法规》与《网络韧性法案》对机器人及数字产品的...
-
【Rust日报】2026-11-10 GPUI - 评论文章认为它和 egui 的状态模型撑不起复杂桌面应用
gpu-video - 硬件视频编解码库 v0.5.0 在 Vulkan 上接近厂商接口速度,并支持 macOS 对这类硬件编解码库,性能是首要问题。这一...
-
【Rust日报】2026-11-09 Relax - 用 Rust 编写的实时编译器与 JIT 运行时
spared - 用单个二进制在 Wasm 沙箱里托管多个带 SQLite 的 Rust Web 应用 spared 是一个开源的 Rust Web 应用...