华为再次全球招天才少年,最高年薪超200万;市场监管总局称已关注知网涉嫌垄断问题
↓推荐关注↓
0、中科院停用知网引热议!市场监管总局:已关注知网涉嫌垄断问题
4月26日消息,据长江日报报道,国家市场监督管理总局 4 月 25 日在回复长江日报记者网上留言时表示:已关注到各方面反映的知网涉嫌垄断问题,正在依法开展相关工作。
此前,九旬退休教授赵德馨诉知网维权一事引发舆论关注,国家市场监督管理总局就知网是否涉嫌垄断问题曾两次回应称:核实研究。
而据此前报道称,中科院停用知网的主要原因为,“2021年中科院集团中国知网数据库订购总费用已达到千万级别,高昂的订购费用已成为中科院集团资源引进中的‘巨无霸’”。
中科院图书馆处某位负责落实此事的老师证实,网传的近“千万级别”续订费用和停用知网访问一事属实,中科院各大所正积极应对因停订知网带来的影响。
“自2022年4月20日起,停用CNKI数据库。以后会用万方和维普替代,查不到的文献可以用文献传递等方式。”
此外,在4月21日,据凤凰网科技报道,有中科院学生反映,中科院已于4月21日停用中国知网。学生透露在今天登录中科院的知网账号的时候,发现论文不能下载,只能查看摘要,也无法全文阅读。
1、机器学习模型可植入无法检测到的后门
今天训练机器学习模型使用的计算资源庞大无比,越来越多的地方将模型训练和开发外包给 Amazon Sagemaker 和 Microsoft Azure 等机器学习即服务(MLaaS)平台。
按照 Ken Thompson 在 40 年前演讲的说法,你可以通过投放数据测试新模型是否按照你的预期工作,但怎么知道你可以信任它,知道它不会使用内置的后门作恶?研究人员证明,将无法检测出的后门植入机器学习模型是可能的。
根据发表在预印本平台 arXiv 上的论文:从表面上看,带有后门的分类器行为正常,但实际上该学习器保留了一套可以改变任何输入分类的机制,只要轻微的扰动。重要的是,没有正确的“后门密钥”,该机制就是隐藏的,任何计算受限的观察者都无法检测到它。
研究人员展示了多种方法可以植入无法检测的后门,因此如果你拿到的是原始版本且有后门的黑盒的访问权限,那么在计算上甚至找不到他们对哪个输入动了手脚。
2、新的系统编程语言 Hare 已发布,对标 C 语言
开发者 Drew DeVault 公布了一门新的系统编程语言 Hare (野兔)。Hare 的开发时间接近两年半,它使用静态类型系统、手动内存管理和最小运行时,非常适合编写操作系统、系统工具、编译器以及其他低级高性能任务。
据 Drew DeVault 介绍,Hare 与 C 最相似,几乎所有用 C 语言编写的程序也可以用 Hare 编写,但 Hare 比 C 简单。
目前已经有许多基于 Hare 编程语言的程序,比如:Himitsu、Helios、 box、btqd、
hare-libui。
Hare 的 OpenGL 绑定正在进行中,目前可用于几个小游戏,比如俄罗斯方块。
Hare 标准库包含以下标准组件,该库为许多用例提供支持,而无需任何依赖关系。
密码学套件
网络支持
全面的日期/时间操作
I/O 和文件系统抽象
Unix 原语,如 poll、fnmatch 和 glob
POSIX 扩展正则表达式
Hare 解析器和类型检查器
该标准库让 Hare 脱离了 POSIX 和 libc 的遗留问题,Hare 程序默认不与 libc 链接 。
3、Android 14 曝光,代号 Upside Down Cake
Android 13 的首个 beta 版本即将发布,在此之际,Android 14 的相关开发工作也已在推进当中。外媒 XDA-Developers 消息指出,Android Gerrit 上已经出现了一些 Android 14 相关的 first commits,其中就提到了该版本的代号为“Upside Down Cake(翻转蛋糕)”。
一直以来,谷歌都有用甜点名称来命名 Android 版本的传统,遵循的规律是首字母按照字母表的顺序进行迭代。但是在 Android 10 推出时,该公司决定废除这一传统,将 Android 版本重新命名为单纯的数字。不过其内部仍在续用这些甜点代号:譬如 Android 12 是 Snow Cone(刨冰)、Android 13 是 Tiramisu(提拉米苏),Android 14 则似乎是 Upside Down Cake。
目前尚未清楚这一可爱的代号和 Android 14 系统构建本身之间有什么联系。据称,Android 14 将继续改善对多任务、eSIM 技术等方面的支持;系统将更加流畅和稳定,方向似乎与 Android 13 保持一致。
4、华为再次招募优秀应届生,最高年薪超 200 万元
综合整理:技术最前线(ID:TopITNews) 参考:程序员的那些事、开源中国、solidot、cnBeta、腾讯科技、快科技等
- EOF -
觉得这些资讯有帮助?请转发给更多人
推荐关注 技术最前线,看 IT 要闻
点赞和在看就是最大的支持❤️