➡️
继续阅读
-
Rust 成为微软一线语言之后:谈谈 C# 与 Rust 的互补性 - 张善友
微软将Rust列为Tier-1语言,与C++、C#同级,但目标是替换有漏洞的C/C++存量代码,而非取代C#。C#擅长业务复杂度,Rust擅长资源与安全边...
-
微软公关负责人任职近20年后离职
微软首席传播官弗兰克·肖宣布年底离职,结束17年高管生涯。他自1997年起参与微软传播工作近29年,历经多任CEO、云业务转型及LinkedIn、动视暴雪...
-
AI网络安全是一场猫鼠游戏
Zscaler首席安全官Sam Curry在Ai4大会上表示,AI网络安全是猫鼠游戏。将防护靠近应用可减少漏洞探测,构建更具韧性的代码基础设施是应对AI发...
-
Fortran 奇遇记
BLAS和LAPACK的错误处理程序xerbla_默认会终止整个进程,替换它需依赖链接器,在macOS、Windows和静态库上日益困难。参考实现中已有开...
-
众包征集关于数学目的、价值与本质的通用资源列表
陶哲轩发文征集关于数学目的、价值与本质的书籍和文章资源,以纠正公众对数学的简单化误解,并列举了相关经典著作、非正式链接及本人访谈写作,邀请读者在评论区补充更多资源。
-
霍奇猜想的现状
本文讨论霍奇猜想:光滑复射影簇上的霍奇类均为代数类。文章回顾了仿射开集、余维数归纳、coniveau等研究途径,指出代数几何对有理Betti上同调理解不足...