&'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.
Forwarded from Foolish TraceWind (Cordea Gnomia)
Forwarded from Hacker News
Show HN: We are trying to (finally) get tail-calls into the WebAssembly standard (🔥 Score: 152+ in 3 hours)
Link: https://readhacker.news/c/5gCec
WebAssembly is a modern bytecode supported by all browsers and designed to be a compiler target for a wide variety of programming languages.
To effectively support some forms of Functional Programming support for tail-calls has been proposed as an extension to the WebAssembly standard.
This proposal has reached Phase3 of the standardization process years ago, but has since stalled.
Phase3 is known as "the implementation phase" and the prerequisite for advancing the proposal to Phase4 is to have support in two different browser engines. V8/Chrome support has been available for a long time, so another engine is required.
To unblock this situation we have contributed full support for WebAssembly Tail Calls to JavaScript/WebKit/Safari. The PR is available here:
https://github.com/WebKit/WebKit/pull/2065
An in-depth article about the challenges of implementing this feature is also available. This is intended both as documentation for our contribution, but also as a general explainer about how tails calls actually work, with a particular focus on stack space management.
https://leaningtech.com/fantastic-tail-calls-and-how-to-implement-them/
Link: https://readhacker.news/c/5gCec
WebAssembly is a modern bytecode supported by all browsers and designed to be a compiler target for a wide variety of programming languages.
To effectively support some forms of Functional Programming support for tail-calls has been proposed as an extension to the WebAssembly standard.
This proposal has reached Phase3 of the standardization process years ago, but has since stalled.
Phase3 is known as "the implementation phase" and the prerequisite for advancing the proposal to Phase4 is to have support in two different browser engines. V8/Chrome support has been available for a long time, so another engine is required.
To unblock this situation we have contributed full support for WebAssembly Tail Calls to JavaScript/WebKit/Safari. The PR is available here:
https://github.com/WebKit/WebKit/pull/2065
An in-depth article about the challenges of implementing this feature is also available. This is intended both as documentation for our contribution, but also as a general explainer about how tails calls actually work, with a particular focus on stack space management.
https://leaningtech.com/fantastic-tail-calls-and-how-to-implement-them/