很早之前就在 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 ...
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 ...
Plex Media Server 是一个媒体服务器，可以用来管理和串流电影、电视剧、音乐、照片等等媒体格式。
因为 Plex Media Server 运行在本地，所以几乎所有的信息都在本地的一个 SQLite 中，包括了 Library 的信息，多媒体的 meta 信息等等。
Plex Database 的位置
在 Linux 上（包括 NAS）：
$PLEX_HOME/Library/Application\ Support/Plex\ Media\ Server/Plug-in\ Support/Databases/com.plexapp
Read more ...
怎么知道的这一本书
已经被不止一遍的推荐过，[[芒格]] 非常喜欢这本书，在《穷查理宝典》里面推荐过，巴菲特也曾推荐过，在之前看过的 [[法官能为民主做什么]] 中也能读到美国最高法院法官对富兰克林的尊敬，再到国内，罗辑思维也在视频中推荐过。上一本读过的 [[新教伦理与资本主义精神]] 中[[马克思 韦伯]] 也列举了 [[富兰克林]] 作为例子，有意思的是我在我的笔记库中搜索的时候，一本讲述德州扑克的树中作者也援引了富兰克林的观点，可见富兰克林在美国人心中的地位。
而我对富兰克林的印象停留在了那个雷雨天放风筝的小孩，以及 100 美元上的人物了，其他
Read more ...
Zed 是一款使用 [[Rust]] 编写的轻量、可协作的编辑器。是 Atom 编辑器团队在 Atom 关闭之后新起的项目。主打协作能力。
文本编辑器大战中又迎来了一员大将。
不过当前仅支持 Python, Rust, TypeScript, C/C++, JSON。1 支持列表可能之后还会增加。
官网：https://zed.dev/
Tour: https://zed.dev/docs/tour
前有 Visual Studio Code，后有 JetBrains 在积极开发 [[Fleet]]，
h
Read more ...