Twitter
Fermat's Library
This is the probability that if 3 integers are chosen at random, no common factor will divide them all
Fermat's Library
This is the probability that if 3 integers are chosen at random, no common factor will divide them all
👍5
Twitter
Fermat's Library
23456789 is the largest prime number with consecutive increasing digits.
> What about the reverse case?
>> 98765431, though I like 98764321 better because it's 2 groups of 4 descending numbers
Fermat's Library
23456789 is the largest prime number with consecutive increasing digits.
> What about the reverse case?
>> 98765431, though I like 98764321 better because it's 2 groups of 4 descending numbers
Forwarded from Hacker News (yahnc_bot)
GCC Rust Approved by GCC Steering Committee https://gcc.gnu.org/pipermail/gcc/2022-July/239057.html
Starship 第一级测试机 B7 在引擎点火测试时爆炸。
https://vxtwitter.com/NASASpaceflight/status/1546605684070006784
Elon Musk:
> Yeah, actually not good. Team is assessing damage.
> Cryogenic fuel is an added challenge, as it evaporates to create fuel-air explosion risk in a partially oxygen atmosphere like Earth.
>
> That said, we have a lot of sensors to detect this. More later.
> That is one of the things we will be doing going forward.
>
> This particular issue, however, was specific to the engine spin start test (Raptor has a complex start sequence).
>
> Going forward, we won’t do a spin start test with all 33 engines at once.
> Base of the vehicle seems ok by flashlight. I was just out there about an hour ago. We shut down the pad for the night for safety. Will know more in the morning.
https://vxtwitter.com/NASASpaceflight/status/1546605684070006784
Elon Musk:
> Yeah, actually not good. Team is assessing damage.
> Cryogenic fuel is an added challenge, as it evaporates to create fuel-air explosion risk in a partially oxygen atmosphere like Earth.
>
> That said, we have a lot of sensors to detect this. More later.
> That is one of the things we will be doing going forward.
>
> This particular issue, however, was specific to the engine spin start test (Raptor has a complex start sequence).
>
> Going forward, we won’t do a spin start test with all 33 engines at once.
> Base of the vehicle seems ok by flashlight. I was just out there about an hour ago. We shut down the pad for the night for safety. Will know more in the morning.
vxTwitter
Chris Bergin - NSF (@NASASpaceflight)
Holy moly. Well, that was unexpected!
https://t.co/dUUqw7ojRv
https://t.co/dUUqw7ojRv
🔥8🤯5
&'a ::rynco::UntitledChannel
詹姆斯韦伯望远镜在今天早上发布了第一张图片 https://twitter.com/NASAWebb/status/1546621080298835970 点开原推评论区查看它和哈勃望远镜的图像的对比
另：今天晚上（北京时间 22:30；2022-07-12T14:30Z）会有一次发布会
👏1
http://www.matrix67.com/blog/archives/7084
> 16 年后重谈 P 和 NP
> 2006 年，我在博客（当时还是 MSN Space）上发了 《什么是 P 问题、NP 问题和 NPC 问题》 一文。这是我高二搞信息学竞赛时随手写的一些东西，是我的博客中最早的文章之一。今天偶然发现，这篇现在看了恨不得重写一遍的“科普”竟仍然有比较大的阅读量。…现在已经是 2022 年了。这 16 年的时间里，我读了大学，出了书，娶了老婆，养了娃。如果现在的我写一篇同样话题的科普文章，我会写成什么样呢？正好，我的新书《神机妙算：一本关于算法的闲书》中有一些相关的内容。我从书里的不同章节中摘选了一些片段，整理加工了一下，弄出了下面这篇文章，或许能回答刚才的问题吧。
> 16 年后重谈 P 和 NP
> 2006 年，我在博客（当时还是 MSN Space）上发了 《什么是 P 问题、NP 问题和 NPC 问题》 一文。这是我高二搞信息学竞赛时随手写的一些东西，是我的博客中最早的文章之一。今天偶然发现，这篇现在看了恨不得重写一遍的“科普”竟仍然有比较大的阅读量。…现在已经是 2022 年了。这 16 年的时间里，我读了大学，出了书，娶了老婆，养了娃。如果现在的我写一篇同样话题的科普文章，我会写成什么样呢？正好，我的新书《神机妙算：一本关于算法的闲书》中有一些相关的内容。我从书里的不同章节中摘选了一些片段，整理加工了一下，弄出了下面这篇文章，或许能回答刚才的问题吧。
Forwarded from Solidot
越来越多的网站不支持 Firefox
2022-07-12 11:59
solids 写道 "日本NHK今年4月 宣布在其视频平台「NHK+」上 5 月 23 日之后 Firefox 将不受支持，它推荐用户使用 Google Chrome、Microsoft Edge 或 Safari 的最新版本。近日，苹果公司的商业网站「business.apple.com」也 把 Firefox 排除在支持范围之外，使用任何版本的 Firefox 打开该网站就会显示「你的浏览器不受支持」，它也推荐用户使用 Firefox 外的浏览器。"
2022-07-12 11:59
solids 写道 "日本NHK今年4月 宣布在其视频平台「NHK+」上 5 月 23 日之后 Firefox 将不受支持，它推荐用户使用 Google Chrome、Microsoft Edge 或 Safari 的最新版本。近日，苹果公司的商业网站「business.apple.com」也 把 Firefox 排除在支持范围之外，使用任何版本的 Firefox 打开该网站就会显示「你的浏览器不受支持」，它也推荐用户使用 Firefox 外的浏览器。"
🤬28👎20👍3😁1
Forwarded from bupt.moe
#ops
B站发布事故报告
省流版：
1. Lua测试不充分，未考虑 NaN 可能性，导致
2. 整体响应机制和多活架构有问题导致响应缓慢
https://www.bilibili.com/read/cv17521097
B站发布事故报告
省流版：
1. Lua测试不充分，未考虑 NaN 可能性，导致
_gcd(NaN,NaN) 直接撑爆SLB CPU2. 整体响应机制和多活架构有问题导致响应缓慢
https://www.bilibili.com/read/cv17521097
微博
失眠狸
微信桌面简直就是电脑里的癌症。
最近硬盘告急，200多G的C盘，刚清理出10G几天就又满了，逼得我把Matlab整个转移到D盘，还是不行，于是我仔细定位了一下，发现C:\Users\用户名\AppData\Local\Packages\ 下有个TencentWeChatLimited.forWindows10_sdtnhv12zgd7a 的巨大文件夹，高达120G。
通常微信桌面设置存储位置是C:\Users\用户名\Documents\Tencent Files，以前聊天记录和图片之类的也都是存在这里，大约也就4、5个G，不知道什么时候变更了地址，然后疯狂扩张。
如果你们遇到类似情况的，可以看一下自己C盘的这个文件夹都有多大。
失眠狸
微信桌面简直就是电脑里的癌症。
最近硬盘告急，200多G的C盘，刚清理出10G几天就又满了，逼得我把Matlab整个转移到D盘，还是不行，于是我仔细定位了一下，发现C:\Users\用户名\AppData\Local\Packages\ 下有个TencentWeChatLimited.forWindows10_sdtnhv12zgd7a 的巨大文件夹，高达120G。
通常微信桌面设置存储位置是C:\Users\用户名\Documents\Tencent Files，以前聊天记录和图片之类的也都是存在这里，大约也就4、5个G，不知道什么时候变更了地址，然后疯狂扩张。
如果你们遇到类似情况的，可以看一下自己C盘的这个文件夹都有多大。
💩20🤯2👍1😁1🤬1
Forwarded from inside class (class | espresso兑冰椰子水)
Bilibili
[osu! x Aegisub]用音游打字幕K轴(精K轴)教程_哔哩哔哩_bilibili
[osu! x Aegisub]用音游打字幕K轴(精K轴)教程共计6条视频，包括：01 序言、02 准备工作&简单演示、03 简单的Timing等，UP主更多精彩视频，请关注UP账号。
🐳6
&'a ::rynco::UntitledChannel
另：今天晚上（北京时间 22:30；2022-07-12T14:30Z）会有一次发布会
NASA 直播已开播
https://www.nasa.gov/multimedia/nasatv/#public
https://www.youtube.com/watch?v=nmMRMIE3MGw
好卡啊啊啊啊啊啊
https://www.nasa.gov/multimedia/nasatv/#public
https://www.youtube.com/watch?v=nmMRMIE3MGw
好卡啊啊啊啊啊啊
NASA
NASA Live - NASA
NASA TV live: Watch live broadcasts from NASA Television and NASA's social media channels, and a schedule of upcoming live events including news briefings, launches and landings.
👍1
&'a ::rynco::UntitledChannel
字幕组不是学英语的平台😡😡😡 最近几个月遇到的离谱玩意： 1. 把 cross product 译为“交叉产物” 2. 把 common factor 译为“常规的因素” 3. 把 1 over x 译为“1的x倍” 4. 把 square root 译为“正方形的根” 5. 把 x to the power of n 译为“x 变成 n 的能力”
UPD: 正在制作字幕组的入组考试，形式很简单：给若干段话，要求英译中。上面几点都已经放进去了。
现向诸位订阅者 征求一些可以出题的内容，主要分为两类：
1. 有些常用词/词组看起来不是术语 但其实在特定领域是术语。“常用”限定在 Oxford 5000 内，“特定领域”限定为：中小学或大一学段 在数学、物化生、计科领域的知识。（上次那五点通通属于这一类）
2. 有那么一些词，相当多的中国大学生（甚至某些机器翻译）只知道其术语义 而不知其本义。如 binary、console 和 integral
现向诸位订阅者 征求一些可以出题的内容，主要分为两类：
1. 有些常用词/词组看起来不是术语 但其实在特定领域是术语。“常用”限定在 Oxford 5000 内，“特定领域”限定为：中小学或大一学段 在数学、物化生、计科领域的知识。（上次那五点通通属于这一类）
2. 有那么一些词，相当多的中国大学生（甚至某些机器翻译）只知道其术语义 而不知其本义。如 binary、console 和 integral
👍6
&'a ::rynco::UntitledChannel
NASA 直播已开播 https://www.nasa.gov/multimedia/nasatv/#public https://www.youtube.com/watch?v=nmMRMIE3MGw 好卡啊啊啊啊啊啊
NASA Science
James Webb Space Telescope - NASA Science
Webb is the premier observatory of the next decade, serving thousands of astronomers worldwide. It studies every phase in the history of our Universe.