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。
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