Forwarded from Lancern's Treasure Chest
RISC-V public review for standard extensions Zc
https://groups.google.com/a/groups.riscv.org/g/isa-dev/c/aTgHkmkPXrw
https://groups.google.com/a/groups.riscv.org/g/isa-dev/c/aTgHkmkPXrw
Forwarded from 萌图交流～色图也收，不要太过。 (jialeleya)
Forwarded from Hacker News (yahnc_bot)
Let's order strange things from NIST https://twitter.com/tubetimeus/status/1335061382501261312
X (formerly Twitter)
Tube Time on 🟦☁ (@TubeTimeUS) on X
let's order strange things from NIST! first up is this jar of reference peanut butter. it's only $881 per jar!
Forwarded from 卯咪 🇫🇮
Forwarded from 志摩リン｜ちゃんと勉強しなさい
煎蛋网
北大校友群传出骇人听闻的消息：张益唐刚刚证明了朗道-西格尔猜想
zsbd
Forwarded from &'a ::rynco::UntitledChannel (Neta | 正在跑路到 Discord 和 Matrix)
This media is not supported in your browser
VIEW IN TELEGRAM
https://web.dev/css-is-and-where/
为了 specificity 专门搞出一个新 pseudo-selector，感觉略微 overkill 啊
为了 specificity 专门搞出一个新 pseudo-selector，感觉略微 overkill 啊
web.dev
New CSS functional pseudo-class selectors :is() and :where()
These seemingly small additions to CSS selector syntax are going to have a big impact.
Forwarded from Hacker News (yahnc_bot)
Skylake: Intel’s Longest Serving Architecture https://chipsandcheese.com/2022/10/14/skylake-intels-longest-serving-architecture/
Chips and Cheese
Skylake: Intel’s Longest Serving Architecture
Intel debuted Skylake in 2015. Then Skylake variants filled out major parts of Intel’s lineup for the next six years. Skylake faced no serious competition at launch, but wound up holding the …
Forwarded from Hacker News (yahnc_bot)
Show HN: The Unix Pipe Card Game – teach kids basic Unix commands https://punkx.org/unix-pipe-game/
Forwarded from Hacker News (yahnc_bot)
Forwarded from Hacker News (yahnc_bot)
DarkForestSim: A Netlogo Simulation of the Dark Forest Hypothesis https://www.evangelosscifi.com/home/darkforestsim
Evangelosscifi
EvangelosSciFi - DarkForestSim
There’s been a bit of discussion lately of the Dark Forest Hypothesis (DFH), which is one of the proposed answers to the Fermi Paradox. The Fermi Paradox asks why we can’t see any other civilizations out there in the universe, even though it is statistically…
Forwarded from &'a ::rynco::UntitledChannel (Rynco Maekawa)
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。