谷歌宣布推出 Rust 開發的 KataOS 操作系統
谷歌本周宣布發布 KataOS,它是用于進行機器學習的嵌入式設備的操作系統。KataOS 從設計上就具備安全考慮,不但幾乎完全是由 Rust 實現的,而且是建立在 seL4 微内核的基礎之上,seL4 在數學上被證明是安全的,具有保證保密性、完整性和可用性。
消息來源:谷歌
老王點評:谷歌的操作系統之心不死啊,時不時的就發布一個操作系統,然而,Linux 仍然是谷歌用的做到的操作系統。
谷歌搜索 emoji 相關詞彙時會報錯
有網友發現,在谷歌上搜索“how many emojis on iOS”、“how many emojis on windows” 等内容時,谷歌搜索引擎會極其罕見的報服務器錯誤:“處理您的請求時,似乎出現了内部服務器錯誤”。據分析,這是出現在結果中的一個特定網頁可能導緻了這個錯誤,很可能是 Emojipedia.com網站。谷歌已經修複了該問題。
消息來源:Bleeping Computer
老王點評:這真是太罕見了,我是第一次聽說谷歌會因為某個搜索結果而導緻服務器内部錯誤。
Pine64 宣布了一款不到 10 美元的 Linux 單闆計算機
這款名為 Ox64 的單闆計算機有一個雙核 RISC-V 處理器,64MB 的嵌入式内存,支持高達 128Mb 的閃存和一個用于額外存儲的 MicroSD 卡。預計它将支持 RTOS 和 Linux,模糊了微控制器和極低功率的單闆電腦之間的界限。它預計将在 11 月上市銷售,RTOS 版本起價為 6 美元,Linux 兼容型号起價為 8 美元。
消息來源:Pine64
老王點評:這個單闆機看起來不錯,還挺便宜。
,