整理 ｜ Tina
马斯克称 Twitter 有可能破产；扎克伯格宣布 Meta 裁员，裁员人数超过 Twitter；小冰公司融资 10 亿元人民币，投后估值 20 亿美元；周鸿祎“开炮”：特斯拉不安全；张朝阳称自己是中国互联网化石，但自我感觉年轻；英伟达用 SPARK 换掉 C；.NET 7 正式发布；Apache Dubbo 正式发布 Rust 语言版本；GitHub 年度报告：印度开发者增速超中国......
科技企业
马斯克称 Twitter 有可能破产
Twitter“新主人”马斯克在裁掉了该公司大约一半的员工后，首次向 Twitter 员工发表讲话时表示，公司有可能破产。
据报道，马斯克周四在一次全体会议上告诉 Twitter 员工，该公司“明年的净现金流可能会为负数十亿美元”，并补充说，如果公司不能“产生比开支更多的现金”，“破产不是不可能的”。马斯克还在电话中告诉员工，在 Twitter 办公室享受免费食物和其他福利的日子已经结束了。
据马斯克称，Twitter 自 2019 年以来一直没有盈利，随着广告商大量撤资，Twitter 营收“大幅下降”。马斯克在会议上还表示，公司的未来取决于改版后的每月 8 美元的 Twitter Blue 订阅服务的成功。该服务目前正受到机器人、诈骗者和冒充者的轰炸。
另外，据媒体报道，马斯克完成对 Twitter 的 440 亿美元收购后，在 11 月 4 日至 8 日卖出了 1950 万股特斯拉股票，价值近 40 亿美元。今年以来，马斯克已卖出价值超 190 亿美元的特斯拉股票。
扎克伯格宣布 Meta 裁员，裁员人数超过 Twitter
当地时间 11 月 9 日，Meta CEO 扎克伯格宣布裁员超 1.1 万人，约占其员工总数的 13%，比例虽赶不上 Twitter 的砍半，但人数更多。据 CNBC 从 Meta 被裁员工处获得的视频，扎克伯格称，这是他运营公司十八年来做的最艰难的决定。
Meta 前两年共招了 27000 余名员工，今年前 9 个月又新增 15344 名员工。截至 9 月底，员工总数超过 87000 名。今年前三季度，Meta 实现经营利润 225.45 亿美元，同比下滑 34%。最大拖累是 VR/AR 部门，它们产生的亏损（94.38 亿美元）相当于 29% 的广告利润。
扎克伯格指出，他当初做出了积极的招聘决定，认为在新冠隔离结束后，业务仍会保持快速增长。然而事态的发展与他的预期有所偏离，Meta 收入下滑 ，且科技行业整体态势不佳，不得不实施裁员计划。
小冰公司融资 10 亿元人民币，投后估值 20 亿美元
11 月 7 日，据晚点财经消息，小冰宣布完成 10 亿元融资，这是中国人工智能软件公司今年少有的大额融资。《晚点财经》了解到小冰公司投后估值约为 20 亿美元，较去年 7 月那轮融资后的估值翻倍、新增投资人包括红杉中国。小冰公司前身为微软人工智能小冰团队，2020 年分拆为独立技术研发实体，实现完全本土化。目前主要收入是为公司和机构提供 AI 虚拟人，如冬奥会数字裁判、万科数字员工。小冰公司称本轮融资主要用于加速 AI Being 小冰框架技术研发，推动数字员工普及。
周鸿祎“开炮”：特斯拉不安全
近日，在 2022 年世界互联网大会乌镇峰会上，360 集团创始人周鸿祎接受了媒体采访。周鸿祎认为，未来世界会是数据驱动的。前段时间有争论新能源汽车到底是烧电、还是烧氢，或是烧油，他认为实际上是烧数据。
“大家狂吹特斯拉，说自动驾驶好，特斯拉也有云端大脑，如果云端大脑的数据被攻击瘫痪了，很多智能网联车就趴窝了。”他表示，原来安全还可以忽视，可以延迟一步，但随着数字化的发展，未来安全要先行。
据悉，2021 年 10 月，360 公司宣布投资 29 亿元，入股哪吒汽车，其目标是以哪吒汽车为样板，打造一套适合汽车的网络安全系统。
张朝阳称自己是中国互联网化石，但自我感觉年轻
11 月 9 日，在 2022 世界互联网大会乌镇峰会上，张朝阳谈起中国互联网刚发展时的情景，感慨到现在都快 30 年了，笑称自己真是中国互联网的一块化石，但感觉自己还依然年轻。
张朝阳是中国第一批互联网人，比如今大家熟知的马化腾等巨头更早进入互联网行业，并且最早做出成绩。据悉，他在 1994 年任 MIT 亚太地区（中国）联络负责人，1995 年底回国任美国 ISI 公司驻中国首席代表。随后在 1996 年创建爱特信公司（搜狐前身）。1998 年，爱特信正式推出搜狐产品，并更名为搜狐公司。
俞敏洪此前曾在一次节目中公开表示，张朝阳是中国第一个看上互联网这个机会的人，是互联网祖师爷，马化腾都是他的追随者。
IT 业界
英伟达用 SPARK 换掉 C
近日，知名编程语言 Ada 与 SPARK 所属公司 AdaCore 表示，英伟达的产品运行着许多经过正式验证的 SPARK 代码。对于安全较为敏感的应用程序或组件，英伟达安全团队正在用 SPARK 语言取代 C 语言。
SPARK 是一种高级计算机编程语言，由定义明确的 Ada 子集组成。与之前的 Ada 一样，SPARK 就是为开发高完整性软件而生，强调以可预测且高度可靠的状态运行。SPARK 还提供一种名为“契约”（contract）的语言特性，能够为组件指定适用于静态验证的形式方法。
英伟达首席软件工程师、首批 SPARK 用户之一 Dhawal Kumar 表示，“从编程语言功能的角度来看，这些范式跟 C 和 C++ 非常相似。SPARK 是一种命令式编程语言，可用于编写面向过程或面向对象的代码，也有不少大型编程工具可供选择。”
在将 SPARK 模块与 C 中的等效模块进行了比较后，英伟达首席软件工程师 Cameron Buschardt 表示，SPARK 生成的程序集几乎与 C 代码中的程序集相同，“我根本没有看到任何性能差异。”
更多阅读：
和Rust一样好，编程更安全？三年实践、员工态度反转，英伟达用 SPARK 换掉 C
.NET 7 正式发布
微软宣布正式推出 .NET 7 生产版本以及对相关框架和工具的一系列更新，包括 C# 11、F# 7、Entity Framework Core 7、ASP.NET Core、.NET MAUI 等。微软在过去几年中一直努力统一开源开发运行时以支持多种架构和平台，这次版本的发布将进一步推动该计划。
微软还把目光投向了云，将其业务扩展到了 PC 和移动系统之外，加强采用云原生技术，例如容器。在 .NET 7 中，开发者可以轻松地将 .NET 7 项目容器化，在 GitHub 操作中设置 CI/CD 工作流，并实现云原生可观察性。
.NET 7 是标准期限支持 (STS) 版本，将支持 18 个月。在整个 .NET 7 版本中，超过 8900 名贡献者做出了 28k 代码贡献。
更多内容可查看：
https://devblogs.microsoft.com/dotnet/announcing-dotnet-7/
Apache Dubbo 正式发布 Rust 语言版本
近日，Apache Dubbo 发布了其 Rust 语言实现的首个版本，进一步丰富其多语言体系，这是社区全面对齐 Dubbo3 架构的第三个语言实现。Apache Dubbo 是一款支持多语言的、易用的微服务开发框架， 提供一系列组件为构建微服务提供高性能 RPC 通信、流量治理、动态配置、可观测、认证鉴权等服务治理能力。
对 Rust 语言社区来说，Apache Dubbo 的加入也是其开源微服务开发框架生态非常重要的补充，Dubbo 也成为 Apache 社区中为数不多的提供 Rust 语言官方支持的项目。Dubbo Rust 定位为 Dubbo 多语言体系的重要实现，提供高性能、易用、可扩展的 RPC 框架，同时通过接入 Dubbo Mesh 体系提供丰富的服务治理能力。
更多内容可查看：
https://github.com/apache/dubbo-rust
GitHub 年度报告：印度开发者增速超中国
代码托管平台 GitHub 发布了 2022 年度 Octoverse 报告。在今年的报告中，有几处有意思的地方：9400 万开发者正在使用 GitHub；GitHub 今年新增用户超过 2050 万，除美国外，印度、中国和巴西的增幅最大，占比分别为 32.4%、15.6%、11.6%，其中印度的开发者人数增长超过中国；JavaScript 仍然是 GitHub 上最常用的语言，Python 是第二大使用语言，其次是 Java 和 TypeScript；因安全性和可靠性，Rust 社区在过去一年增长了 50% 以上。
更多内容可查看：
https://octoverse.github.com/
今日好文推荐
动动嘴就能写代码了！Copilot测试新功能“嘿，GitHub”，告别键盘编码
再不拥抱Serverless就晚了 | Q推荐
和Rust一样好，编程更安全？三年实践、员工态度反转，英伟达用 SPARK 换掉 C
反转！马斯克正在求被裁工程师复职，尤其是Android和iOS开发
活动推荐
在呼叫场景优化、类 discord 系统建设方面，有哪些设计难点与解决思路？4K/8K RTC 视频引擎的建设思路是怎样的？人工智能商业化落地过程中，具有业务价值的技术方向有哪些？如果你对上述话题感兴趣，欢迎来 QCon 上海站的“融合通信技术探索与 AI 技术商业化实战”专场来找答案！席位有限，扫描下方二维码或点击阅读原文报名抢座～