熱點速遞  

1、互聯網大廠現裁員潮

自今年 2 月以來，國內互聯網公司頻傳裁員消息，京東、B 站、阿里、騰訊、小紅書、知乎等諸多知名企業的相關新聞屢上熱搜。4 月 8 日，網信辦就相關消息進行回應，表示已對 12 家互聯網企業用工和業務發展進行訪談，各互聯網企業近半年用工人數保持平穩。

2、滴滴發布公告擬從美股退市

4 月 16 日，滴滴官網發布公告稱將于 5 月 23 日舉行臨時股東大會，就公司從紐約證券交易所自愿退市進行投票。對此證監會回應，滴滴自主退市系特定個案，與其他在美上市中概股無關，不影響中美雙方監管合作進程。

3、微博等各大社交平臺推出IP歸屬地顯示功能

4 月 28 日，新浪微博社區管理官方微博發布IP屬地功能升級公告稱，為減少冒充熱點事件當事人、惡意造謠、蹭流量等不良行為，確保傳播內容的真實、透明，站方于今年 3 月上線展示用戶“IP屬地”功能，將在此前基礎上于 4 月 28 日進行產品升級和新功能上線，全量開放評論展示發評 IP 屬地小尾巴功能；上線“個人主頁一級頁面展示 IP 屬地”功能。

此外，4 月 15 日，豆瓣、小紅書、抖音等多家社交平臺也集體宣布將顯示用戶 IP 所屬地，相關功能將在4月底進行測試。根據各平臺公告，平臺將展示用戶最近一次發問或評論時的位置，境內展示到省（區、市），境外展示到國家（地區）。并且不支持手動關閉。

安全新規  

1、《數據安全法》實施參考發布

近日，中國網絡安全產業聯盟數據安全工作委員會(簡稱“CCIA數安委”)在中國網絡安全產業聯盟、全國信息安全標準化技術委員會秘書處指導下，組織學界、業界專家編制的《〈數據安全法〉實施參考(第一版)》(簡稱《實施參考》)正式發布。

《中華人民共和國數據安全法》已于 2021 年 9 月 1 日起正式施行，數據安全的法律法規方面的頂層設計已然清晰。該法確立了以安全促發展的原則，鼓勵數據依法合理有效利用，保障數據依法有序自由流動，同時確立了一系列國家層面需要逐步建立完善的數據安全管理機制，提出了開展數據處理活動應當承擔的數據安全保護責任與義務，明確了違法行為的法律責任。可以預見，在后續有關主管、監管部門不斷充實、完善數據安全管理機制，開展監管活動時，《數據安全法》將成為根本遵循。

2、10 項網絡安全國家標準獲批發布

4 月 15 日國家市場監督管理總局、國家標準化管理委員會發布的中華人民共和國國家標準公告（2022 年第 6 號），全國信息安全標準化技術委員會歸口的 10 項國家標準正式發布。具體清單包括：智能家居通用安全規范、可信執行環境 基本安全規范、SM9密碼算法使用規范、移動互聯網應用程序（App）收集個人信息基本要求、工業控制系統信息安全防護能力成熟度模型、網絡數據處理安全要求、信息安全風險評估方法、可信計算密碼支撐平臺功能與接口規范、信息安全服務 分類與代碼、政務網站系統安全指南等10項。

編程    

1、TIOBE 4月編程語言排行榜出爐

TIOBE 公布了 4 月的編程語言排行榜，其中前7名與上個月相比沒有任何變化，Python仍是第1名。而且市場占有率維持在較高水平。在 Python 之后，第2名是 C 語言，第3名是 Java。PHP從上月的第 8 名降到了第 10 名，同時匯編語言和 SQL 語言提升至第8名和第9名。值得注意的是，Matlab 的位置提升到了 20 名。

2、Rust 公布 2024 年路線圖：重點涉及三個方向

Rust 語言設計團隊 Lang Team 在官方博客中公布了 Rust 語言 2024 年的更新路線圖，Rust 2024 是繼 Rust 2015、Rust 2018 和 Rust 2021 之后的第四版編程語言路線圖。

該路線圖重點涉及三個方向，分別是：降低學習門檻，使新老用戶都更容易使用  Rust；擴展生態系統，賦予庫作者權力，同時也推動庫作者賦予用戶權力；Rust 項目擴展，完善開發流程，以適應越來越多的用戶需求和用例，評估已經開始的項目。

3、Lurk 編程語言存儲庫已開放，可通過多種方式支持 Filecoin 協議

Filecoin團隊近日宣布，Lurk編程語言存儲庫現已向公眾開放！Lurk是一種用于遞歸 zk-SNARK（零知識、簡潔的非交互式知識論證）的圖靈完備編程語言（在可計算性理論，如果一系列操作數據的規則（如指令集、編程語言、細胞自動機）可以用來模擬任何圖靈機，那么它是圖靈完備的。這意味著這個系統也可以識別其他數據處理規則集，圖靈完備性被用作表達這種數據處理規則集的一種屬性），它將為SNARK證明、區塊鏈共識、Filecoin 虛擬機 (FVM)、去中心化應用程序、與IPFS 和 IPLD等帶來新的可能性。

前端    

1、TypeScript 4.7 beta 發布 在 Node.js 中增加了 ESM 支持

4 月 8 日，TypeScript 4.7 beta 版本發布，在 Node.js 中增加了 ESM 支持。去年年底， TypeScript 4.5 曾計劃推出支持 Node.js 12中的 ECMAScript 模塊，但后來遭遇推遲。

TypeScript 4.7 將通過 node12 和 nodenext 兩個模塊設置，以打包方式實現代碼復用，預計于 5 月 10 日上線候選發布版，并在 5 月 24 日最終發布。

2、Angular 發布 2021 開發者調查報告結果 滿意度達 84%

2022年4月14日，Angular發布2021年度開發者調查報告結果。在25000多份回復中，對Angular表示滿意的開發者超過84%，不滿意者不到8%。其中，大型團隊開發者滿意度略高為85%，不滿意者則主要關注性能、測試、調試和profiling方面，如自動化測試工具Protractor未達開發者預期。Angular表示將針對調查結果作出相應調整與完善。

3、Nuxt 3 候選發布版推出

4 月 20 日，Nuxt.js 宣布 Nuxt 3 候選發布版推出，代號為 "Mount Hope" 。Nuxt 3 測試版于去年 10 月公布，基于Vue 3、Vite和Nitro。Nuxt 3的主要特點之一是其全新的服務器引擎unjs/nitro，Nitro 通過多種功能將 Nuxt 提升到另一個層次，使 Nuxt 成為一個強大的全棧和供應商無關框架。

云原生

1、谷歌宣布將 Istio 捐贈給 CNCF

4 月 26 日，谷歌宣布將 Istio 捐贈給 CNCF 。值得注意的是，兩年前，Istio 社區官方博客曾發文稱把 Istio 項目商標的所有權轉讓給Open Usage Commons組織，根據其使用規則，該商標仍可供社區使用。

Istio是一個開源服務網格，提供了統一、高效和透明的方式來保護、連接和監控云原生應用程序中的服務。支持零信任網絡、策略執行、流量管理、負載均衡和監控，且所有這些都不需要重寫應用程序。Istio 擴展了 Kubernetes，以利用 Envoy 服務代理建立一個可配置的、應用感知的網絡，可以管理云原生和傳統工作負載，支持從單集群到復雜的多網絡部署。

2、KubeVela 1.3 發布：開箱即用的可視化應用交付平臺，引入權限、認證、版本化等企業級新特性

4月24日，KubeVela 官網正式發布1.3 版本。相較于三個月前發布的 v1.2 版本，新版本在 OAM 核心引擎（Vela Core），可視化應用交付平臺 (VelaUX) 和社區插件生態這三方面都給出了大量新特性。這些特性的誕生均源自于阿里巴巴、LINE、招商銀行、愛奇藝等社區用戶大量的深度實踐，最終貢獻到 KubeVela 項目中，形成大家可以開箱即用的功能。

3、Redis 7.0 發布

4 月，Redis 7.0 正式發布，該版本已經開發了將近一年，之前經歷了三個候選版本。開發團隊認為它已經足夠穩定，可以應用于生產。Redis 7.0 幾乎包括了對各個方面的增量改進。其中最值得注意的是 Redis Functions、ACLv2、command introspection 和 Sharded Pub/Sub，它們代表了基于用戶反饋和生產經驗教訓的現有功能的重大演變。

7.0 版添加了近 50 個新命令和選項來支持這種演變并擴展 Redis 的現有功能。例如，位圖、列表、集合、排序集合和流數據類型都添加了支持其數據管理用例的功能。此外，緩存語義已擴展為支持 existential 和 comparative modifiers。

元宇宙    

1、Meta 測試元宇宙變現工具，助 VR 用戶出售虛擬時尚配飾等

4 月 12 日，Facebook 母公司 Meta 于當地時間周一發表聲明稱，該公司將開始測試用于在其虛擬現實社交平臺 Horizon Worlds 中銷售數字資產的商業化工具。這是其建立元空間計劃的一個關鍵部分，這些工具最初將提供給該公司沉浸式平臺的特定用戶，工具和平臺可通過VR 頭盔訪問，并使這些用戶能夠銷售虛擬時尚配件，或向其他用戶提供數字世界特定內容的付費訪問服務。

2、Web3 安全龍頭企業 CertiK 完成 20 億美元估值 B3 輪融資

4月8日，區塊鏈安全公司 CertiK 宣布完成8800萬美元的B3輪融資，再次刷新區塊鏈安全賽道單筆最大融資額。該輪融資由Insight Partners, Tiger Global, Advent International聯合領投，光速中國、高盛, 紅杉資本等新老股東跟投。

CertiK于2018年由哥倫比亞大學計算機系顧榮輝教授與耶魯計算機系系主任邵中教授共同創立。作為區塊鏈安全領域的先驅，CertiK利用目前最先進的形式化驗證技術以及AI審計技術，掃描及監控區塊鏈協議和智能合約的安全性，并不斷推出以Skynet（天網）為代表的SaaS產品，為加密世界的企業和用戶提供最高等級的安全解決方案。

人工智能  

1、云從科技IPO注冊獲批，AI 四小龍”即將誕生第二家上市企業

4 月 7 日，證監會披露信息顯示，云從科技集團股份有限公司首次公開發行股票并在科創板上市的注冊申請獲同意。云從科技此次 IPO 注冊獲批，意味著繼商湯科技之后，“AI四小龍”即將誕生第二家上市企業。

云從科技成立于2015年3月，孵化于中科院重慶綠色智能技術研究院，總部位于廣州的AI科技公司，面向智慧金融、智慧治理、智慧出行、智慧商業領域客戶提供人工智能解決方案。

2、中國信通院發布《人工智能白皮書（2022年）》

4 月，中國信息通信研究院近日正式發布了《人工智能白皮書（2022年）》，白皮書對過去人工智能的發展進行了闡述，基于全球的角度介紹了人工智能政策、技術、應用和治理等方面的最新動向，認為人工智能發展邁入全新階段，將由技術創新、工程實踐、可信安全“三維”坐標來定義和牽引。

3、騰訊 AI Lab 研發的智能寫作助手「文涌（Effidit）」開放試用

4 月 7 日，騰訊 AI Lab 研發的智能寫作助手「文涌（Effidit）」開放試用。文涌首發功能支持中英兩種語言輸入，不僅提供多維度文本補全、多樣化文本潤色兩項核心功能，同時還具備例句推薦、文本糾錯、云輸入法等功能，及更適應學術寫作的「文涌·學術版」。騰訊 AI Lab 此前已發布多項系統及數據，如文本理解系統、騰訊中文詞向量數據等。

4、國產分布式深度學習框架 OneFlow v0.7.0 正式發布

4 月 6 日，國產分布式分布式深度學習框架 OneFlow v0.7.0 正式發布，相較于 v0.6.0， OneFlow 新增 16 個算子，優化 6 個算子的性能，修復 16 個算子存在的 bug 等。

此次發版，在原有基礎上深度優化 Eager 性能， 在 V100 顯卡上測試 Swin-Transformer 模型的單卡性能相比 v0.6.0 提升 3 倍。算子相關進展：在單機單卡場景下，OneFlow 對 PyTorch 的兼容性進一步完善。

開源    

1、因錯誤的侵權投訴，GitHub刪除了流行的Python倉庫  

4 月 20 日，由于 HTML 源碼倉庫被 GitHub 刪除，docs.sympy.org 文檔站點也停止了工作，向訪問者提供 404（未找到）錯誤消息。  

SymPy 的開源社區第一時間尋找問題所在，發現該 DMCA（版權侵權）投訴由 HackerRank 的外包商 WorthIT Solutions 提出。但隨后，社區的偵探們就發現事情不對，因為這個外包商的侵權投訴是錯誤的，sympy_doc 倉庫沒有任何侵權行為...

發現項目被誣陷后，社區內群情激憤，開始討論申訴索賠事項。HackerRank 的 CEO 兼創始人 Vivek Ravisankar 也迅速介入該事故，GitHub 也火速撤銷了 sympy_doc 倉庫的 DCMA 刪除公告，并恢復了  sympy_doc  倉庫的所有內容。

DMCA（Digital Millennium Copyright Act） 也就是數字千年版權法，是美國的一項版權保護法，旨在使受版權保護作品的訪問控制得到保障。具體到 GitHub 上，DMCA 可以防止包含侵權內容的項目廣泛傳播。

2、RMS談論自由軟件運動現狀：整體處境惡化、蘋果打造“監獄”

4 月 13 日，69 歲的自由軟件基金會 (FSF) 和 GNU 項目創始人 Richard Stallman 以「自由軟件運動的現狀」為主題發表了時長大約 90 分鐘的演講。

RMS 在演講中首先感謝了所有為自由軟件做出貢獻的人，他認為自由軟件運動應該惠及每個人，在道德上不排斥任何人——即使一個人因為犯罪受到懲罰。同時，RMS 也指出自由軟件的處境在惡化。因為支持自由軟件的機器越來越老，越來越少。英特爾和 AMD 的新硬件都在限制用戶自由，蘋果的生態則朝著成為監獄的方向發展，導致用戶自行安裝執行軟件變得越來越困難。RMS 認為這應該是非法的，出售禁止用戶從源代碼自行安裝軟件的計算機應該是非法的。