Forwarded from Hacker News (yahnc_bot)
Options for genuine ECC RAM on the desktop in (early) 2024 https://utcc.utoronto.ca/~cks/space/blog/tech/DesktopECCOptions2024
Forwarded from Hacker News (yahnc_bot)
Zed Editor: All Occurrences Search from 1s to 4ms https://registerspill.thorstenball.com/p/from-1s-to-4ms
Thorstenball
From 1s to 4ms
So zero-cost abstractions exist?
Forwarded from Solidot
日本准备发射第一颗木制卫星
2024-02-18 15:38 by 蓝火星
日本准备在今年夏天使用美国火箭发射第一颗木制卫星。木制卫星 LignoSat 使用的木材是木兰木(magnolia wood)，在国际空间站的测试发现该木材稳定且难以开裂。日本京都大学和住友林业公司的研究人员首先在地面实验室里测试了不同木材样本，然后送到国际空间站进行为期约一年的真空暴露测试，最后送回地面。结果显示木材样本没有损坏迹象，可能是因为太空中没有能让木材燃烧的氧气，也没有导致其腐烂的生物。在测试了不同种类木材中，木兰树的木材最牢固。如果 LignoSat 在轨道上表现良好，那么将为更多木制卫星打开大门。现有的人造卫星通常用铝制材料，进入大气层时会燃烧产生氧化铝，能留在大气层中几十年，会影响臭氧层。木制卫星进入大气层燃烧后产生可降解灰烬。
https://www.theguardian.com/science/2024/feb/17/japan-to-launch-worlds-first-wooden-satellite-to-combat-space-pollution
#五七桐
2024-02-18 15:38 by 蓝火星
日本准备在今年夏天使用美国火箭发射第一颗木制卫星。木制卫星 LignoSat 使用的木材是木兰木(magnolia wood)，在国际空间站的测试发现该木材稳定且难以开裂。日本京都大学和住友林业公司的研究人员首先在地面实验室里测试了不同木材样本，然后送到国际空间站进行为期约一年的真空暴露测试，最后送回地面。结果显示木材样本没有损坏迹象，可能是因为太空中没有能让木材燃烧的氧气，也没有导致其腐烂的生物。在测试了不同种类木材中，木兰树的木材最牢固。如果 LignoSat 在轨道上表现良好，那么将为更多木制卫星打开大门。现有的人造卫星通常用铝制材料，进入大气层时会燃烧产生氧化铝，能留在大气层中几十年，会影响臭氧层。木制卫星进入大气层燃烧后产生可降解灰烬。
https://www.theguardian.com/science/2024/feb/17/japan-to-launch-worlds-first-wooden-satellite-to-combat-space-pollution
#五七桐
https://youtu.be/EUMn-kJbNc0
不愧是橙星，有够摸鱼的（指投稿时间
不愧是橙星，有够摸鱼的（指投稿时间
YouTube
Orangestar - Encounter (Official Video) feat. 初音ミク
ポケモン feat. 初音ミク Project VOLTAGE 18 Types/Songs
https://www.project-voltage.jp/
https://twitter.com/PokeMikuVOLTAGE
【Streming / Download】 https://karent.jp/album/3992 (2/16 24:00～)
【Off Vocal】https://www.project-voltage.jp/music.html#mv12
©2024 Pokémon.…
https://www.project-voltage.jp/
https://twitter.com/PokeMikuVOLTAGE
【Streming / Download】 https://karent.jp/album/3992 (2/16 24:00～)
【Off Vocal】https://www.project-voltage.jp/music.html#mv12
©2024 Pokémon.…
喵喵小喵喵
https://github.com/Speykious/cve-rs
GitHub
We've been defeated by Miri. · Issue #3 · Speykious/cve-rs
Miri is too strong. Even without any unsafe blocks, it detects problems. Miri defeats our tests cve on main is 📦 v0.1.0 via 🦀 v1.76.0 ❯ cargo +nightly miri test Preparing a sysroot for Miri (targ...
喵喵小喵喵
https://github.com/Speykious/cve-rs
https://counterexamples.org/nearly-universal.html?highlight=Rust#nearly-universal-quantification
https://github.com/rust-lang/rust/issues/25860
https://github.com/rust-lang/rust/issues/25860
GitHub
Implied bounds on nested references + variance = soundness hole · Issue #25860 · rust-lang/rust
The combination of variance and implied bounds for nested references opens a hole in the current type system: static UNIT: &'static &'static () = &&(); fn foo<'a, ...