喵喵小喵喵
1.18K subscribers
1.37K photos
32 videos
6 files
9.54K links
大喵喵和小喵喵的转发频道

投喂请前往附属群
Download Telegram
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
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 同时呼吁社区成员在年底举办本地的小型会议。

#新闻
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
Forwarded from Hacker News (yahnc_bot)
Algebra, Topology, Differential Calculus, and Optimization Theory [pdf] https://www.cis.upenn.edu/~jean/math-deep.pdf
Forwarded from xkcd
Forwarded from 🎉 Yuuta 的日常 🎂 (Deleted Account) via @pixiv_net_bot
淡い春 / Rumoon #pixiv id=97650932
1
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
Forwarded from xkcd