Linux知名开发者Lennart Poettering离开微软,与Chris Kühl和Christian Brauner共同创立了新公司Amutable。
Poettering以开发systemd而闻名,在Red Hat工作多年后,于2022年加入微软。Kühl去年离开微软,而同样在2022年加入微软的Brauner本月也选择离职。
这三人都是Linux和开源世界的重要人物。Brauner在Mastodon上发布消息称:"我在Linux内核上游维护方面的工作将一如既往地继续下去。"
同样,Poettering也将继续深度参与systemd生态系统的发展。
根据公司官网介绍,Amutable专注于Linux系统的"确定性和可验证完整性"。
在公司声明中写道:"Amutable的使命是为各地的Linux工作负载提供可验证的完整性。我们期待与更广泛的Linux社区合作实现这一目标。"
多年来,systemd和Poettering在Linux社区的部分群体中引发了不少争议。无论喜欢还是厌恶,systemd都可以在大多数主流Linux发行版中找到。简单来说,它可以被描述为首先运行的软件,然后启动其他必需的服务和应用程序。
因此,Poettering担任Amutable首席工程师的角色是合理的。这家总部位于柏林的公司的目标是在Linux系统中构建"加密可验证的完整性。每个系统都从经过验证的状态开始,并随时间保持可信"。
目前尚不清楚Poettering决定离开微软的原因。我们已要求微软置评,但尚未收到回应。除了12月发布systemd 259的公告外,Poettering的博客在此事上一直保持沉默,只是在本周发布了Amutable的公告。
在首篇文章中,Amutable团队写道:"在接下来的几个月里,我们将为验证奠定基础,并在此基础上构建强大的功能。"
看到这将采取何种形式将很有趣。除了systemd的首席开发者Poettering外,Amutable的团队还包括Linux、Kubernetes和containerd等项目的贡献者和维护者。团队成员对Debian、Fedora、SUSE和Ubuntu等系统也非常熟悉。
Q&A
Q1:systemd是什么?为什么在Linux社区引发争议?
A:systemd是一个在Linux系统中首先运行的软件,它负责启动其他必需的服务和应用程序。虽然在大多数主流Linux发行版中都能找到systemd,但多年来它和其开发者Poettering在Linux社区的部分群体中引发了不少争议。
Q2:Amutable公司主要做什么业务?
A:Amutable是一家总部位于柏林的新公司,专注于Linux系统的"确定性和可验证完整性"。公司的使命是为各地的Linux工作负载提供可验证的完整性,目标是在Linux系统中构建"加密可验证的完整性,确保每个系统都从经过验证的状态开始,并随时间保持可信"。
Q3:Lennart Poettering为什么要离开微软创立新公司?
A:目前尚不清楚Poettering决定离开微软的具体原因。除了12月发布systemd 259的公告外,Poettering的博客在此事上一直保持沉默,只是在本周发布了Amutable的公告,微软方面也未对此作出回应。
好文章,需要你的鼓励
无人机食品配送服务商Flytrex与全球知名披萨连锁品牌Little Caesars宣布合作,推出全新Sky2无人机,最大载重达4公斤,可一次配送两个大披萨及饮料,满足全家用餐需求。Sky2支持最远6.4公里的配送范围,平均从起飞到送达仅需4.5分钟。首个试点门店已在德克萨斯州怀利市上线,并实现与Little Caesars订单系统的直接集成。
FORTIS是专门测量AI代理"越权行为"的基准测试,研究发现十款顶尖模型普遍选择远超任务需要的高权限技能,端到端成功率最高仅14.3%。
法国社会住房项目ViliaSprint?已正式完工,成为欧洲最大的3D打印多户住宅建筑,共12套公寓,建筑面积800平方米。项目由PERI 3D Construction使用COBOD BOD2打印机完成,整体工期较传统建造缩短3个月,实际打印仅用34天(原计划50天),现场操作人员从6人减至3人,建筑废料率从10%降至5%。建筑采用可打印混凝土,集成光伏板及热泵系统,能源自给率约达60%。
荷兰Nebius团队提出SlimSpec,通过低秩分解压缩草稿模型LM-Head的内部表示而非裁剪词汇,在保留完整词汇表的同时将LM-Head计算时间压缩至原来的五分之一,端到端推理速度超越现有方法最高达9%。