Personal daily log.🌐 https://l3on.iste/ 🌐 https://leonw.ong/
#GitHub情报 #Browsers #Tools

🔠 划词翻译:一站式划词 / 截图 / 网页全文 / 音视频翻译浏览器扩展

Web | GitHub | Chrome | Microsoft Edge | Firefox

👉 Features:

- 支持谷歌、DeepL、百度、搜狗等 9 个国内外主流翻译源
- 提供划词翻译、全文翻译、PDF 翻译、音视频翻译等多种翻译方式
- 支持查看历史记录,提供收藏夹
- 强大的自定义选项,详尽的使用文档
- 支持 Dark Mode

「划词翻译」自 2013 年诞生以来,已经走过了 8 个年头。我很后悔这么晚才接触到这个插件,之前也用过彩云小译、百度翻译等插件,而划词翻译是我见过完成度最高、自定义最自由、文档写得最好的方案

它支持多种翻译方式,包括划词、截图、音视频、PDF,基本能够涵盖日常浏览器翻译需求。翻译面板的 UI 设计也易于使用,让我想起了我们之前介绍过的全局翻译软件 Bob。如果你有疑问的地方,作者已经精心准备好了文档,完成度真的相当高

免费用户能够无限使用划词翻译功能,以及有限次使用其他功能。开通会员后即可解锁所有高级功能并不限使用次数,并且可以自定义翻译源。考虑到每月仅需 3 元也提供买断选择,划词翻译真的非常良心。它是我介绍后能够长期使用下去的一款软件,但若你有系统全局翻译的需求,那不妨看看 Bob

📘 关联阅读:Bob - macOS 全局翻译软件,支持划词翻译和截图翻译

频道:@NewlearnerChannel
好看的 OneDrive 网盘网站
演示:https://drive.zaihua.me/
部署方法:https://blog.zaihua.me/post/1755/
OneDrive 5T 领取地址 优惠码:233
https://zaihua.top/buy/13
📝 Common knowledge

有一个非常经典的逻辑问题——The Muddy Children Puzzle:

假设有100个小学生在户外玩泥巴,他们额头上都沾上了泥巴。 这时老师过来让大家围成一圈,说:「如果你知道你的额头上有泥巴,就站起来。」(假定学生们之间没有信息交流也感知不到自己额头的泥巴)

没有人站起来。

因为每个学生都能看到其他99个学生的额头,知道别人是有泥巴的,但看不到自己的额头。

于是老师又重复了一次「如果你知道你的额头上有泥巴,就站起来」,还是没人站起来,无论重复多少次。

然后老师补充道:「你们中至少有一个人的额头是有泥巴的」,再次要求:如果你知道你的额头是有泥巴的,就站起来。

同样没有人站起来。

一次又一次,老师重复提问了99次,但在第100次时,所有的学生站了起来。

为什么会突然发生这一幕,老师仅多提供了一个线索,就最终让他们都站了起来?

我们可以简化一下人数:假设有两个额头有泥巴的学生,老师告诉他们,至少有一个人的额头是有泥巴的,并问他们俩自己的额头是否有泥巴。

虽然两人都不知道,但都能做出如下推理:

a 如果我的额头是干净的,那么另一个学生就会看到;
b 我们当中至少有一人是有泥巴的;
c 既然他没有站起来,那就意味着我的额头是有泥巴的。

因此,当老师第二次问起时,两个学生都知道他们的额头是有泥巴的。

这涉及到一个关键概念是「公共知识 Common knowledge」。

那么什么是公共知识?假定一个人群只有两个人 A、B 构成,A、B 均知道一个事实 P,P 是 A、B 的知识,但此时 P 还不是他们的公共知识。当 A、B 双方均知道对方知道 P,并且他们各自都知道对方知道自己知道 p······这是一个无穷的过程。此时我们说,P 成了 A、B 之间的公共知识。这个人群是由两个人组成,如果由多人组成,这不仅指任意两个人这样一个双方「知道」的过程,而且指其中一个人知道其他人知道其他人知道······事实 P。因此,公共知识涉及到一群体的对某个「事实」知道的结构。一般地,在 n 人组成的群体 Q 中,如果群体中的每个人知道 p,并且群体中的每一个人知道每个人知道 p······则称 p 是群体 Q 的公共知识。

在 The Muddy Children Puzzle 的例子,老师仅多提供了一个事实——「你们中至少有一个人的额头是有泥巴的」——请注意,这看似一句「废话」,然而它却是具有「信号传递」作用的关键信息,它使学生们之间拥有公共知识成为可能。假定学生们都具有一定的逻辑分析能力,那么至少将有一人能够确切地知道自己的额头是否有泥巴!

这告诉我们一个道理,仅仅是公开说一些话的行为就可以改变世界——即使你说的一切对你的每一个听众来说都是已知的。 因为有可能在你宣布之前,不是每个人都知道其他人也都知道这件事,「不知道别人到底知不知道」会阻碍大家采取有效行动。

这不仅仅是个逻辑游戏,对现实生活也有巨大的影响

例如纳粹德国,你可能疑惑:为什么好人不联合起来一起推翻这个极权主义的怪物?理智正常的人不是比疯狂邪恶的人更多吗? 而且可能这些正常人甚至知道——根据经验——他们的许多邻居都是正常人,为什么还是那么懦弱呢?

这就是关键所在——公共知识,即使每个人都知道皇帝没穿衣服,但这只是「事实」,在它成为「公共知识」前,任何说皇帝是赤裸的人都心知肚明会承担巨大的个人风险。 这就是为什么,在童话故事中,需要一个孩子来打破平衡。同样,即使我们知道 90% 的民众会加入反抗行动,但如果反抗没有成为 common knowledge,让大家都知道彼此都是这么想的,那么每个人就会陷入互相猜测,并担心如果加入行动,他们会成为容易被压制的少数,正因如此,明哲保身。

所以关键在于防止某些东西成为「公共知识」,你所需要做的就是审查产生 common knowledge 的机制:媒体、互联网、公众集会。这很好地解释了为什么独裁专制者如此痴迷于控制新闻,也解释了为什么 10% 的人有可能谋杀和奴役其他 90% 的人——历史已经一次次证明了这一点——尽管 90% 的人可以通过一致行动轻松地压制 10% 的人

📡 @inbox_all

笔记内容整理自《Common Knowledge and Aumann’s Agreement Theorem
#逻辑 #博弈 #公共知识 #笔记
#Website

⌨️ Poet.so:精美的 Twitter 分享卡片

💁‍♂️ Poet.so 是一个操作非常简便的 Twitter 推文分享卡片生成服务。

🎨 你只需要打开 服务主页 就可以马上使用,该服务有以下几个特点:

1⃣️ 使用十分简便:只需要粘贴推文地址即可自动生成推文分享卡片;
2⃣️ 多种参数可调:分享卡片的后置背景有 6 种方案可选,卡片风格可以选黑底白字或者白底黑字,且可以选择字体大小和卡片大小,也可以隐藏推文的点赞、回复、转发数字;
3⃣️ 无水印保存:难能可贵的是,最终的产出物不添加水印,并支持直接复制和保存成图片两种方式;
4⃣️ 服务网页支持夜间模式:细心的开发者还为网站提供了日间和夜间模式的切换,方便在不同时间和不同习惯的使用。

🌈 不得不说这项服务被开发者以非常优雅轻盈的方式实现出来,整个使用体验也十分顺滑,也让推文分享有了另一种方式。毕竟不需要键入想要分享的内容,直接粘贴推文链接这一项就非常的让人有分享的欲望,不是么?

🌞 Poet.so 是一项免费服务,目前并没有服务本身有什么限制,希望大家使用愉快。
昨天晚上才连夜把 Edge 切换到 Brave,今天上午就听到少数派作者群里在骂 Edge 上广告。
推荐了 Humble New Tab Page 这个浏览器插件,我用了还不错。也可以换用火狐什么的,毕竟 uBlock 自己都说了在火狐上效果最好
#软件分享 整了个繁化/简化EPUB文件的小玩具

可以把EPUB的内容进行繁简互换, 因为借用了繁化姬的API, 所以实际的效果感觉还行. 不过问题就是这玩意里面塞了俩字体文件, 各种意义上的好大.

项目Github: https://github.com/wsndshx/LocalizeEpub
(骗阅读量和硬币的链接: https://www.bilibili.com/read/cv12409044)
#Windows #GitHub情报 #Browsers

💻 Windows 11 in React:在浏览器畅玩 Windows 11 Insider Preview

GitHub | Web

如你所见,这是一个可以在浏览器打开的 Windows 11 风格网页。它基于 react,不仅可以作为开发者个人简介用,也还原了许多 app

👉 Features:

- 惊人的还原度
- 不错的动画
- 内置 Edge、计算器、终端、VS Code 等多个 app
- 还原 Microsoft Store、Widgets 等系统应用和组件

没想到 Windows 11 还在预览版,它的在线项目就已经被做了出来。通过 Windows 11 in React,你可以熟悉一下 Windows 11 的布局和一些系统软件,还可以在 macOS 浏览器中打开并全屏展示 🐶

👀 让我感到惊喜的地方就是这个项目对动画和 app 的还原:dock 的动画很不错,Edge、计算器、终端、VS Code 等 app 也完全能用,建议 macOS 用户可以通过这个在线项目用上 Windows 的计算器。体验了 Windows 11 的分屏,我又想骂 macOS 的窗口管理

🤔 最后,这个项目依然有可以改进的地方。开发者目前还没有做文件系统和鼠标系统,可以在后续完善,其他则是一些 UI 细节上的问题。总体来说我对这个项目还是很喜欢的,感兴趣的读者可以尝试。😉 套娃快乐!

📘 关联阅读:Playground macOS - 伪装成 fake macOS Big Sur 系统的个人简介页

频道:@NewlearnerChannel
#Design #GitHub情报 #Tools

🎨 Tinter:自动为图片「调色」的开源工具

GitHub | Web

👉 Features:

- 自动生成多张调色后图片
- 支持 PNG、JEPG、WebP 等多种图片格式
- 照片无需上传服务器,更加注重隐私
- 支持微调照片色调,直到满意为止
- 几乎不会影响图片质量

和我们之前介绍过的许多项目一样,Tinter 本质上也是一款「懒人工具」。它几乎是通过一种随机的方式自动生成一些结果,共用户进行挑选。Tinter 很适合像我一样缺乏必要的设计基础,但偶尔会制作一些图片的人

Tinter 处理图像时,会用到一些大胆的颜色,并进行一定的色彩渐变处理。如果你对自动预设的样张不满意,还可以手动进行调节。随机 roll 图片的时候,我对图片的来源感到好奇,后来在 源码 中看到是调用了 Unsplash 的 API

🌊 制作方 Uxie 此前还有一款生成随机波浪的项目 Svgwave,试用了一下功能基本齐全,但没有 Haikei 一般丝滑的动画效果。期待他们继续带来新的创意工具

📘 关联阅读:

1️⃣ chaosMachine:一键生成独特图片背景
2️⃣ Haikei · 快速生成独特的背景设计

频道:@NewlearnerChannel
突然发现真的好久好久好久没更新 blog 了 😢
#GitHub情报

👨🏻‍💻 Github 新社交分享图片诞生记

📖 Open Graph

当你将链接分享到社交平台上后,社交平台会在链接中寻找元信息,以此生成图片。Open Graph 便是一种常见的元信息标准。

Github 便采用 Open Graph 协议声明分享链接中的图片信息。

🖼 图片是如何生成的

为了完全掌握图片生成,并将此服务部署到 Github 自己的基础设施上,Github 使用了 vercel/og-image 的思路。

Github 搭建了一个 Node.js 应用来收集 Github 自己 GraphQL API 中的数据。接着数据将被填充到模版中,最终生成一个 HTML 文件。Github 使用无头浏览器 Puppeteer 来打开 HTML 文件,并对其截图。

⚙️ 优化

熟悉前端开发的群友们肯定知道使用无头浏览器 Puppeter 就跟启动一个 Chrome 浏览器一样,性能开销大,速度慢。Github 做了以下优化:

1⃣️ 降低 Puppeter 启动后的默认等待时间。为了确保所有资源加载成功,Puppeter 会默认等待很长时间。Github 自定义 Puppeter 判断资源是否加载成功的逻辑,将等待时间从 2.25 秒降低到 600 毫秒。

2⃣️ 调度更多的计算资源。Github 基础设施中容器的默认 RAM 是 512 MB,512 是一个神奇的数字。 Github 通过增加 RAM 到 513 MB,图片生成时间降低了 500 毫秒。

优化后生成一张图片需要 280 毫秒,40% 的请求都可以从缓存中返回结果。

Have Fun

频道:@NewlearnerChannel
资讯摘要✂️
「 douban_read: 下载全世界的音乐,真的惊呆了,试了几个冷门音乐,发现没有找不到的。https://myfreemp3music.com/
#Note

🖌 Innos Note · 新生代知识管理工具

🔗 官网

💡 特点

- 功能丰富且强大,内核与 Notion 相同,内容迁移简单快捷
- 网页 App,UI 简洁大方,动画流畅
- 方便内容分享与团队合作

🌟 功能

- 并行页面:支持同时横向打开多个页面,通过横向滚动可以完成页面切换
- 内容块:类似 Notion 的 Block 理念,轻松自定义页面内容
- 页面内编程:支持向页面内添加脚本或小程序,例如显示实时天气和汇率
- 知识网络图:构建不同内容之间的可视化知识网络,可以通过知识网络访问不同文章
- 自动化内容建议:自动建立文章间的内容索引,帮助读者更好的阅读文章

🥷 使用体验

简单体验了 Innos Note 半天,我就有想把 Notion 内容迁移过去的冲动。它有着和 Notion 同样的内核,却提供更丰富、更有创意的功能。并行页面非常适合需要同时阅读多个文档的我,知识网络图则帮我在不同文档间建立起来网络联系,页面内编程让内容“活”了起来,我觉得还有很多玩法可以拓展和探索!

Innos Note 目前还处于早期阶段,用户不多,无收费计划,我真的希望他能越做越好!

频道:@NewlearnerChannel