Forwarded from Solidot
Google 宣布安全操作系统 KataOS 及其实现 Sparrow
2022-10-17 18:08:00 by 另一个艾米
Google 宣布了新操作系统 KataOS 及其参考实现 Sparrow，搜索巨人旨在创造一种安全的嵌入式系统。项目源代码托管在 GitHub 上，采用 Apache License 2.0 许可证。Google 称我们身边的智能设备愈来愈多，因此需要一种简单的方案为嵌入式硬件构建可验证的安全系统。它的新操作系统 KataOS 使用了 seL4 微内核，它已经在数学上被证明是安全的。系统几乎完全用 Rust 语言实现，核心部分包括包括提供系统调用 API 的 sel4-sys crate，替代 rootserver 等。Google 还与 Antmicro 合作开发了模拟器 Renode。
#Google
2022-10-17 18:08:00 by 另一个艾米
Google 宣布了新操作系统 KataOS 及其参考实现 Sparrow，搜索巨人旨在创造一种安全的嵌入式系统。项目源代码托管在 GitHub 上，采用 Apache License 2.0 许可证。Google 称我们身边的智能设备愈来愈多，因此需要一种简单的方案为嵌入式硬件构建可验证的安全系统。它的新操作系统 KataOS 使用了 seL4 微内核，它已经在数学上被证明是安全的。系统几乎完全用 Rust 语言实现，核心部分包括包括提供系统调用 API 的 sel4-sys crate，替代 rootserver 等。Google 还与 Antmicro 合作开发了模拟器 Renode。
Forwarded from Solidot
CCC 取消 37C3
2022-10-18 21:11:00 by 继位之争
因为难以预测的疫情相关因素，CCC（德国混沌计算机俱乐部）宣布取消今年的年度会议 37C3。CCC 称如果要举办大型会议，将需要遵守严格的卫生要求，复杂化后勤挑战，从而影响到整个活动的氛围。在与团队讨论之后 CCC 决定取消会议。取而代之的是 CCC 计划于 2023 年 8 月 15 日到 19 日在德国柏林附近的 Mildenberg 举办 Chaos Communication Camp。CCC 同时呼吁社区成员在年底举办本地的小型会议。
#新闻
2022-10-18 21:11:00 by 继位之争
因为难以预测的疫情相关因素，CCC（德国混沌计算机俱乐部）宣布取消今年的年度会议 37C3。CCC 称如果要举办大型会议，将需要遵守严格的卫生要求，复杂化后勤挑战，从而影响到整个活动的氛围。在与团队讨论之后 CCC 决定取消会议。取而代之的是 CCC 计划于 2023 年 8 月 15 日到 19 日在德国柏林附近的 Mildenberg 举办 Chaos Communication Camp。CCC 同时呼吁社区成员在年底举办本地的小型会议。
#新闻
Forwarded from Hacker News (yahnc_bot)
Comprehensive list of FPGA development boards https://www.fpgadeveloper.com/comprehensive-list-of-fpga-development-boards/
FPGA Developer
Comprehensive list of FPGA development boards
Update 2022-10-19: I’m aware that I have some work to do to get the boards from Intel, Lattice, Efinix and other FPGA vendors into these lists. All I can say is that I’m working on it! I …
Forwarded from 🎉 Yuuta 的日常 🎂 (Deleted Account)
GitHub
vscode Have you started charging? · Issue #163798 · microsoft/vscode
Some netizens need to scan the code to install vscode, I hope the official can stop this behavior
Forwarded from Hacker News (yahnc_bot)
Five hours' sleep is tipping point for bad health https://www.bbc.co.uk/news/health-63284305
BBC News
Five hours' sleep is tipping point for bad health
Getting less than this may increase the risk of a multitude of chronic conditions, say researchers.
Forwarded from Sugar Pic Hourly
Namie:
『アークナイツ』の「闇散らす火花」のゴールデングローを担当させていただきました！！！よろしくお願いいたします！
I drew "Goldenglow" in Arknights! I hope you can all welcome her!⚡️🐈⚡️
#アークナイツ #Arknights
https://twitter.com/namgoreng/status/1560198030195695617
『アークナイツ』の「闇散らす火花」のゴールデングローを担当させていただきました！！！よろしくお願いいたします！
I drew "Goldenglow" in Arknights! I hope you can all welcome her!⚡️🐈⚡️
#アークナイツ #Arknights
https://twitter.com/namgoreng/status/1560198030195695617
Forwarded from Hacker News (yahnc_bot)
Algebra, Topology, Differential Calculus, and Optimization Theory [pdf] https://www.cis.upenn.edu/~jean/math-deep.pdf
https://youtu.be/9G3DWHf1xX0
特地看了下日期
特地看了下日期
YouTube
Gboard 棒バージョン
Gboard チームからの新しいご提案、Gboard 棒バージョンをご紹介します。
Gboard 棒バージョンは、すべてのキーを一列に配置することにより、入力したい文字を探しやすくした画期的なキーボードです。
詳しくは紹介ページとGoogle Japan ブログをご確認ください。
Gboard 棒バージョン： https://g.co/____/
Google Japan ブログ：https://japan.googleblog.com/2022/10/gboard-2022.html
Today…
Gboard 棒バージョンは、すべてのキーを一列に配置することにより、入力したい文字を探しやすくした画期的なキーボードです。
詳しくは紹介ページとGoogle Japan ブログをご確認ください。
Gboard 棒バージョン： https://g.co/____/
Google Japan ブログ：https://japan.googleblog.com/2022/10/gboard-2022.html
Today…
Forwarded from Sugar Pic Hourly
Forwarded from Hacker News
SHA-3 Buffer Overflow (🔥 Score: 154+ in 3 hours)
Link: https://readhacker.news/s/5pwBu
Comments: https://readhacker.news/c/5pwBu
Link: https://readhacker.news/s/5pwBu
Comments: https://readhacker.news/c/5pwBu
Forwarded from Hacker News (yahnc_bot)
The Overflow Offline project https://stackoverflow.blog/2022/10/20/introducing-the-overflow-offline-project/
Stack Overflow Blog
Introducing the Overflow Offline project
For coders without an internet connection, an offline dataset provides an essential encyclopedia
Forwarded from Hacker News (yahnc_bot)
A Bluetooth Low Energy soil moisture sensor https://github.com/rbaron/b-parasite
GitHub
GitHub - rbaron/b-parasite: 🌱💧 An open source DIY soil moisture sensor
🌱💧 An open source DIY soil moisture sensor. Contribute to rbaron/b-parasite development by creating an account on GitHub.
Forwarded from Hacker News (yahnc_bot)
Thanks to the Israeli accessibility law, I have to delete my websites https://lifemichael.com/en/the-israeli-books-end-of-life-thanks-to-israeli-accessibility-law/
life michael blog
The Israeli Books End of Life - life michael blog
Thanks to the Israeli accessibility law, I have no other choice but to delete the websites I developed for learning Java, PHP, C#, Scala, HTML, Linux etc.