Forwarded from Solidot
NASA 考虑用 SpaceX 飞船搭救波音 Starliner 宇航员
2024-08-08 14:00 by 电动新世纪
想象一下，你本来出差一周，结果到了目的地之后出差时间被迫延长了八个月，这有可能是波音 Starliner 宇航员的遭遇。Starliner 飞船于 6 月 5 日完成了首次载人飞行测试，将宇航员 Butch Wilmore 和 Suni Williams 送到了国际空间站，原计划在轨停留 8 天，6 月 14 日返回，但由于飞船发现了令人担忧的推进器故障，两名宇航员一直滞留在空间站。NASA 官员表示他们正考虑用 SpaceX 飞船将两名宇航员带回地面。SpaceX 计划在 9 月执行 Crew-9 载人飞行任务，但这次只搭乘两名宇航员而不是通常的四名，Crew Dragon 飞船随后将两名 Starliner 宇航员带回地球。NASA 官员表示他们仍然在与波音合作尝试用 Starliner 飞船运送两名宇航员返回。
https://phys.org/news/2024-08-nasa-spacex-stranded-boeing-starliner.html
#国际空间站
2024-08-08 14:00 by 电动新世纪
想象一下，你本来出差一周，结果到了目的地之后出差时间被迫延长了八个月，这有可能是波音 Starliner 宇航员的遭遇。Starliner 飞船于 6 月 5 日完成了首次载人飞行测试，将宇航员 Butch Wilmore 和 Suni Williams 送到了国际空间站，原计划在轨停留 8 天，6 月 14 日返回，但由于飞船发现了令人担忧的推进器故障，两名宇航员一直滞留在空间站。NASA 官员表示他们正考虑用 SpaceX 飞船将两名宇航员带回地面。SpaceX 计划在 9 月执行 Crew-9 载人飞行任务，但这次只搭乘两名宇航员而不是通常的四名，Crew Dragon 飞船随后将两名 Starliner 宇航员带回地球。NASA 官员表示他们仍然在与波音合作尝试用 Starliner 飞船运送两名宇航员返回。
https://phys.org/news/2024-08-nasa-spacex-stranded-boeing-starliner.html
#国际空间站
🤣21😁5👍1
Forwarded from Solidot
Firefox 131 将支持垂直标签和侧边栏
2024-08-08 23:37 by 飞行村
Mozilla 释出了 Firefox 131 的 Nightly 版本，加入了用户期盼已久的垂直标签和侧边栏功能。Firefox 的最新稳定版本是 v129，这意味着该功能会在 2 个月后正式提供给用户（Mozilla 大约每个月释出一个 Firefox 新版本）。用户如果想要使用该功能，那么需要更新到最新的 Nightly 版本，之后前往 Settings > Firefox Labs，激活侧边栏和垂直标签实验，在浏览器工具栏上右键选择“定制工具栏”，然后将侧边栏图标拖到工具栏上，之后点击该图标就可以使用垂直标签。
https://blog.nightly.mozilla.org/2024/08/07/firefox-sidebar-and-vertical-tabs-try-them-out-in-nightly-firefox-labs-131/
#Firefox
2024-08-08 23:37 by 飞行村
Mozilla 释出了 Firefox 131 的 Nightly 版本，加入了用户期盼已久的垂直标签和侧边栏功能。Firefox 的最新稳定版本是 v129，这意味着该功能会在 2 个月后正式提供给用户（Mozilla 大约每个月释出一个 Firefox 新版本）。用户如果想要使用该功能，那么需要更新到最新的 Nightly 版本，之后前往 Settings > Firefox Labs，激活侧边栏和垂直标签实验，在浏览器工具栏上右键选择“定制工具栏”，然后将侧边栏图标拖到工具栏上，之后点击该图标就可以使用垂直标签。
https://blog.nightly.mozilla.org/2024/08/07/firefox-sidebar-and-vertical-tabs-try-them-out-in-nightly-firefox-labs-131/
#Firefox
🤩11💩6👍2
Forwarded from Hacker News
Raspberry Pi Pico 2, our new $5 microcontroller board, on sale now (🔥 Score: 156+ in 1 hour)
Link: https://readhacker.news/s/6czjx
Comments: https://readhacker.news/c/6czjx
Link: https://readhacker.news/s/6czjx
Comments: https://readhacker.news/c/6czjx
Raspberry Pi
Raspberry Pi Pico 2, our new $5 microcontroller board, on sale now - Raspberry Pi
On sale now at $5: Raspberry Pi Pico 2, our new microcontroller board. It's built on RP2350, our new high-performance, secure microcontroller.
🤗5
Forwarded from ⊨ roife : ฅ^•ﻌ•^ฅ
FxTwitter / FixupX
Dmitrii Kovanikov (@ChShersh)
I just discovered that OCaml has the logical implication operator!
It wasn't obvious at all.
The operator is the left arrow '<=' but I thought the right arrow '=>' (aka left arg implies right arg) would be more natural.
I guess OCamlers just like everything…
It wasn't obvious at all.
The operator is the left arrow '<=' but I thought the right arrow '=>' (aka left arg implies right arg) would be more natural.
I guess OCamlers just like everything…
🥰8👍1🤣1
#TIL
大白菜、娃娃菜、小白菜、油菜（aka 上海青、青菜、青江菜）、大头菜（aka 芜菁）、塌棵菜、菜苔、芸薹 都是同一个物种 Brassica rapa（芸薹）。
类似地，隔壁的 甘蓝、紫甘蓝、卷心菜、苤蓝、花椰菜（白菜花）、西兰花（绿菜花）、羽衣甘蓝、芥兰 也都是同一个物种 Brassica oleracea（甘蓝）；
芥菜、儿菜、榨菜（菜头）、雪里蕻、子芥菜（芥末用） 都属于同一个物种 Brassica juncea（芥菜）（三者都属于芸薹属 Brassica）。
大白菜、娃娃菜、小白菜、油菜（aka 上海青、青菜、青江菜）、大头菜（aka 芜菁）、塌棵菜、菜苔、芸薹 都是同一个物种 Brassica rapa（芸薹）。
类似地，隔壁的 甘蓝、紫甘蓝、卷心菜、苤蓝、花椰菜（白菜花）、西兰花（绿菜花）、羽衣甘蓝、芥兰 也都是同一个物种 Brassica oleracea（甘蓝）；
芥菜、儿菜、榨菜（菜头）、雪里蕻、子芥菜（芥末用） 都属于同一个物种 Brassica juncea（芥菜）（三者都属于芸薹属 Brassica）。
👍7
Forwarded from Bilibili Feed Bot
This media is not supported in your browser
VIEW IN TELEGRAM
【听力】听完后日语生和英语生都沉默了...
@冰葉FUMO_39:
综合 - 以前貌似是不能直接朗读英语的，今天不知道为什么就可以了...
一开始读的时候还以为读错地方了，后来仔细听发现好像没什么问题...
这听力该给日语用呢还是给英语用呢(笑
---------------------------------------
BGM：【东方同人歌曲】樱花 樱花（さくらさくら ~ Japanize Dream）-Demetori
〰〰〰〰〰〰〰〰〰〰
🔝> @冰葉FUMO_39:
我：灵梦，这播放增速是怎么回事
(╯°口°)╯(┴—┴
[幻想乡的日常 第1弹_喝茶]：大概是增速异变吧
@冰葉FUMO_39:
综合 - 以前貌似是不能直接朗读英语的，今天不知道为什么就可以了...
一开始读的时候还以为读错地方了，后来仔细听发现好像没什么问题...
这听力该给日语用呢还是给英语用呢(笑
---------------------------------------
BGM：【东方同人歌曲】樱花 樱花（さくらさくら ~ Japanize Dream）-Demetori
〰〰〰〰〰〰〰〰〰〰
🔝> @冰葉FUMO_39:
我：灵梦，这播放增速是怎么回事
(╯°口°)╯(┴—┴
[幻想乡的日常 第1弹_喝茶]：大概是增速异变吧
🥰6😁2👍1
&'a ::rynco::UntitledChannel
更不乐：电脑又开始频繁蓝屏了 或许可以滥用一下频道帮忙排查一下问题？
更新：不是内存的问题，是否应该考虑更换主板了
查了下 官方店还在卖 ITX AM4 >=B450 芯片组的好像就剩下华擎了
查了下 官方店还在卖 ITX AM4 >=B450 芯片组的好像就剩下华擎了
😢14😁2🥱2
Forwarded from Hacker News (yahnc_bot)
Interval parsing grammars for file format parsing (2023) https://dl.acm.org/doi/10.1145/3591264
Proceedings of the ACM on Programming Languages
Interval Parsing Grammars for File Format Parsing | Proceedings of the ACM on Programming Languages
File formats specify how data is encoded for persistent storage. They cannot be formalized
as context-free grammars since their specifications include context-sensitive patterns
such as the random access pattern and the type-length-value pattern. We ...
as context-free grammars since their specifications include context-sensitive patterns
such as the random access pattern and the type-length-value pattern. We ...
Forwarded from Hacker News
OpenStreetMap Is Turning 20 (🔥 Score: 151+ in 3 hours)
Link: https://readhacker.news/s/6cGiV
Comments: https://readhacker.news/c/6cGiV
Link: https://readhacker.news/s/6cGiV
Comments: https://readhacker.news/c/6cGiV
Steve Coast’s Musings
The Days Are Long but the Years Are Short
OpenStreetMap at 20
🥰3🤗2