本文总结一下将字幕文件压制到视频中的方式，（当然我个人是非常不喜欢直接将字幕压制到视频流中作为硬字幕压制的，但有些时候可能就是需要分享这样硬字幕的视频，比如视频网站，所以也会在下文总结一下）。
按照压制方式可以分成，将字幕嵌入视频流（也就是俗称的硬字幕）适合在视频网站分享，将字幕作为单独的字幕流和视频作为封装格式，需要用播放器播放。
压制方式（推荐程度从上到下）：
[[FFmpeg]] 适合熟悉命令行工具的人
[[HandBrake]] 开源的全平台的视频编码工具（推荐）
[[MKVToolNix]] 将字幕文件添加到视频中，但是作为
Read more ...
[[Clash for Windows]] 使用过程中一直没有什么问题，但是昨天心血来潮把 Clash for Windows 从 0.18.8 升级到了最新版本（0.20.5) ，然后发现节点全部 timeout。但可以排除的是这些节点肯定是可以用的，因为在手机上是完全没有问题的。
先是看 Logs 日志里面，timeout 的节点有大量的错误：
22:06:18 WRN [UDP] dial failed error=new vmess client error: dial xxxx:7830 error: 404 Not Found proxy
Read more ...
很早之前就在 Twitter 上看到有人分享了 Arc 浏览器的使用体验，说是非常惊艳，我就稍微的浏览了一下官网，抱持怀疑的态度先注册了一下体验，一直好奇到了 2022 年能够在浏览器上做出什么样的创新，自 Chrome 横空出世以来，快，安全迅速抢占了浏览器市场。剩下的一点点份额被 Firefox，Safari，Edge，[[Vivaldi]] 等等占据，早两年的时候我也写过一篇标题略微耸动的文章 —- 我可能要抛弃用了很多年的 Chrome 改用 Vivaldi ，但事实是 3 年多过去了，我日常用的还是 Chrome，虽然 Google 在浏览器插
Read more ...
说起 Java 语言下的 Web 框架那就非 [[Spring Framework]] 不可了，但是今天在和别人在聊天的过程中发现了一个新奇的项目 Javalin。 Javalin 是一个轻量的 Web 框架。支持 [[WebSocket]], HTTP2 和异步请求。简单的看了一下官方的说明文档，确实非常轻量，几行代码就可以启动一个 HTTP 服务。
[[Javalin]] 最初是 [[SparkJava]] 的一个分支，后来受到 JavaScript 框架 koa.js 的影响，逐渐独立成一个新的项目发展。
首先来看看一个比 Hello Worl
Read more ...
之前折腾 GitHub Profile 的时候发现了 [[WakaTime]] 这样一款统计编码时间的工具，之后在读 waka-readme 项目的时候发现，还有两个完全开源的后端兼容版本，一个是 Golang 编写的 [[wakapi]] ，一个是 Huskell 编写的 hakatime 。这篇就来总结一下我使用 wakapi 的过程。
wakapi 是一个兼容 [[WakaTime]] 的可自行架设的后端程序，和 WakaTime 一样可以用来统计代码。
GitHub: https://github.com/muety/wakapi
Read more ...
[[WakaTime]] 是为程序员打造的编码统计 Dashboard，可以同来统计项目，编程语言，IDE，编码时间等等内容。 之前在折腾 GitHub Profile 的时候发现的，可以在 GitHub Profile 页面中动态的展示最近的编程状态。
WakaTime 可以统计的内容包括：
每天在每个项目上的编码的时间
使用的编辑器
编程语言占比
所使用的操作系统
所在的项目
Price
WakaTime 基础使用是免费的，但有如下限制：
只包含两个星期的历史
有限的整合
3 位朋友之间的 Leaderb
Read more ...
Yarn 是一个 JavaScript 的包管理器。
JavaScript 代码通过 包（package） (或者称为 模块（module）) 的方式来共享。 一个包里包含所有需要共享的代码，以及描述包信息的文件，称为 package.json 。
初始化新项目：
yarn init
添加依赖：
yarn add [package]
yarn add [package]@[version]
yarn add [package]@[tag]
添加开发环境依赖
yarn add [package] --dev
yarn add [packa
Read more ...
yt-dlp 是 YouTube-DL 的进阶版本，延续了 YouTube-DL 的开发和维护。
https://github.com/yt-dlp/yt-dlp
如果想要下载哔哩哔哩 （Bilibili） 的视频，可以看看 lux 这款工具。
如果在 macOS 上还有一款不错的收费应用叫做 [[Downie]] 也可以用来下载 YouTube 视频。数码荔枝 上有正版授权，可以选择购买。
安装
安装 [[FFmpeg]]:
sudo apt install ffmpeg
安装 yt-dlp:
sudo curl -L http
Read more ...
虽然很早就知道 GitHub 发布了 Profile 功能，可以使用 README 来丰富 Profile 页面。但是一直以来没啥动力，大多数时候都不会去到主页去访问。但现在有些时候逛 GitHub 的时候会点到 其他人 的主页去看，发现有一些主页虽然只有寥寥几句，但却可以清楚的知道「他/她」最近在贡献什么内容，擅长什么技能。虽然我在 GitHub 上还是观摹大佬居多，但也想着通过这个契机在整理 GitHub Profile 的时候加深一下对自己的认知。
至于如何建立同名的 repository，如果提交代码就先略过了，官方的帮助和其他文章的内容都非
Read more ...
怎么知道的这一本书
似乎是在豆瓣的推荐流中第一次发现这一本。
关于作者
作者是[[周濂]]，我还是在有关哲学的播客中第一次知道这一位人大的教授，首先接受的是他的声音，然后在豆瓣纪念[[江绪林]] 的文章中再一次看到了周濂教授，最后是在刘擎的 [[西方现代思想讲义]] 中又一次读到周濂。
几句话总结书的内容
什么是正当性 legitimacy
关于国家正当性的问题，要回答的问题是「在国家诞生的过程中需要满足哪些限制条件？」
legitimacy 正当性，合法性。怎么样产生的国家才在道德上是可以被接受的。正当性是一个「回溯」的概念，从「发生」追问国家
Read more ...