近日，谷歌宣布推出 KataOS 操作系统，使用Rust语言构建，目标是为嵌入式设备提供安全系统。据介绍，KataOS 选择了 seL4 作为微内核，其经过数学证明是安全的，具有保证的机密性、完整性和可用性。此外，KataOS 还提供了一个可验证的安全平台，保护用户的隐私，因为应用程序在逻辑上不可能违反内核的硬件安全保护，并且系统组件是可验证安全的。
消息称华为正研发下一代卫星通讯技术：双向收发短信来了
数码博主“厂长是关同学”透露，华为正在研发下一代卫星通讯技术，共有三个方向，分别为“双向收发短信”“支持发语音短信”“支持短时间语音通话”。该博主认为，目前最有可能推出的是双向互发短信功能，下一代手机的卫星通讯有望率先支持这一功能。此前发布的华为Mate 50系列成为业界首款支持北斗卫星消息的大众智能手机，但根据官方注释，其仅支持发送消息，不支持接收，而且需要在空旷、无遮蔽的环境使用。
韩国通信网络瘫痪引发垄断抗议
韩国SK公司C&C板桥数据中心15日发生火灾，导致包括入驻该中心的Kakao、NAVER、SK电信等企业服务器中断，被称为韩国“国民聊天工具”的KakaoTalk平台服务也被迫中断。据韩联社17日报道，此次事件造成全韩通信网络大范围瘫痪，同时还引发了行业经营垄断争议。对此，韩国总统尹锡悦17日当天回应称，为了维护国民利益，国家需干预市场垄断行为。
微软公司据悉裁员不到1000人，涉及Xbox等多个部门
据商业内幕（Business Insider）10月18日报道，微软已在全公司范围内进行裁员。消息人士称，本周受影响的岗位不到1000个。此外，裁员范围十分广泛，涉Xbox、战略任务和技术组织等部门。今年7月，微软曾表示，考虑到经济存在衰退风险，公司计划裁减其18万员工中的不到1%，并大幅放缓了招聘。
介方信息获1亿元B轮融资
介方信息是一家从事高端装备智能操作系统（即“软件定义”技术）自主研发的高新技术企业，并为客户配套高端硬件板卡，提供一站式的高端智能装备软硬件平台解决方案。公司目前主要涉及军工软件无线电装备领域。近日完成B轮1亿元人民币融资，由华强资本领投，御道创投、中博聚力跟投，溪林投资担任财务顾问。本轮融资将用于产品迭代和市场开拓。
悠桦林宣布完成亿元人民币C轮融资
悠桦林是一家以运筹学、强化学习、大数据分析等智能决策技术为核心驱动，聚焦制造业和大交通行业的场景需求，为企业提供“行业+AI+OR” 的智能决策整体解决方案的科技公司。近日悠桦林宣布完成亿元人民币C轮融资，由云晖资本领投，博润资本、华鼎投资、海南嵘涯共同投资，老股东上汽恒旭、五源资本追加投资，高鹄资本担任本轮融资的独家财务顾问。
机器人动力模组研发及生产公司“本末科技”完成亿元A轮融资
据悉，本轮融资由松禾资本和联想创投联合领投，某知名产业投资方和毅峰资本跟投，五源资本和奇绩创坛等老股东增资。本末科技专注于提供无减速器的直驱型动力解决方案，主要服务家用机器人、健身器材等行业客户，其解决方案在多个行业市占率第一，客户包括追觅、科沃斯等头部厂商。
正孚软件完成近亿元B轮融资
正孚软件是一家以数据驱动产业数智化的创新型科技企业。聚焦数字政府、智慧国资、智慧康养和数据安全四大业务板块。致力推动企业业务上云。旗下拥有正孚信安、正孚康养和正孚信创三家专业子公司。近日，正孚软件完成近亿元B轮融资，由福建创新投负责管理的福州创新创科投资基金领投，福州市金控集团下属全资子公司福州市创业投资有限责任公司跟投，A轮投资方毅达资本负责管理的福州市榕金数字投资基金追加投资。本次融资后，国家级产业基金、地方政府引导基金及国有企业股权投资基金共持有正孚软件股权比例达到13.54％。
艾拉比完成近亿元B轮融资
艾拉比是全球领先的OTA方案提供商，以更稳定、更安全、更简单为核心服务理念，专注于为汽车及物联网领域合作伙伴提供专业的OTA升级、应用管理、故障诊断解决方案及定制化服务，助力客户产品与时俱进，推动行业智能化发展。近日艾拉比完成近亿元B轮融资，本轮融资由国科新能领投，仓廪投资跟投。据悉，本轮融资资金将主要用于两个方面，一是产品研发，艾拉比希望将产品从单一产品扩展为整个生态，打造新的运营模式；二是补充业务发展过程中所需流动资金。此前，艾拉比曾获得凯辉基金、张江高科、张江科投等知名机构的投资。
京公网安备 11010502049343号