自由软件 自由社会 读书笔记

《自由软件 自由社会》是 [[20220515-21-天计划]] 阅读的第一本书,虽然早就听说过 [[Richard Stallman]],也听过其提倡的[[自由软件]],但是从来没有系统地了解过 Stallman 的思想,以及自由软件具体指代什么,而软件开发又和社会有着什么样的连接。我带着这样的疑问看完了这一本 Stallman 的著作集。 关于[[自由]],在哲学领域,政治领域,以及有无数的哲人给出了无数不同的解读,卢梭在社会契约论中说,只有服从了社会为自己所设之规定才叫做自由,康德说「自由不是想干什么就干什么,而是不想干什么就不干什么」,[[赛亚 Read more ...


去中心化的协同文档 Skiff 初体验

昨天有朋友分享给我一篇文章,关于红杉领投两轮的 Skiff,简单的看了一下,文章介绍的 Skiff 是一款基于 Web3 的在线协同文档应用。具有与 Google Docs 类似的文档编写和共享功能。 Skiff 将 E2EE (端到端加密技术)作为在线工作的核心设计原则,被用于消息传递、写作、协作和通信。Skiff 服务器只会存储加密版本的数据,而无法破译它。 2024 年 2 月更新 Skiff 已经被 [[Notion]] 收购,将在 6 个月内关闭原来的服务。 文档内容可以在设置中选择存放在 Skiff 的中心服务器上,或者 [[IPFS Read more ...

2022-05-24 google-docs , gmail , skiff , web3 , metamask , ens , wallet

推荐三个代码统计工具 tokei, cloc 和 scc

有些时候在开源项目的时候可能需要对整个项目有一个全局的了解,比如想要了解这个项目中具体有多少行代码,那么这个时候,下面三个命令就派上用场了。 之前在 Twitter 上看到有人分享说 SQLite 的注释非常详细,甚至比代码都多,那么用下面这些工具一眼就能看到。 Tokei Tokei 是一个使用 Rust 编写的用来显示代码信息的命令行工具,Tokei 可以以编程语言为分类显示文件数,代码行数,注释行数,空行数。 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ Read more ...

2022-05-23 cli , rust , tokei , cloc , code , code-statistics , golang

使用 uPic 快捷上传图片到图床

uPic 是一个 macOS 上的图片上传工具,使用 Swift 编写。支持对接非常多的对象存储,以及可以自定义使用 [[Chevereto]],或者 Lsky Pro 作为图床。 安装 可以直接从 App Store 安装,或者: brew install bigwig-club/brew/upic --cask 自定义配置 配置 Lsky Pro Lsky Pro 兰空图床是一个 PHP 编写的图床程序。Lsky Pro 升级了 2.0 版本,API 接口也进行了重写。 首先使用用户名,密码获取 Token: curl -X POST Read more ...

2022-05-21 upic , macos , mac-app , mac-application

使用 beets 命令行工具整理音乐库

之前在了解到 [[MusicBrainz]] 以及在整理我的音乐库的时候 就获知了 beets 这样一款命令行工具,通过文件名来在  MusicBrainz, Discogs, 和  Beatport 中获取音乐的 metadata. beets 是一款音乐文件整理的命令行工具。 beets 的特性: 获取 metadata,包括封面、歌词、风格 转码 检查音乐库中重复的文件或专辑 通过浏览器来访问浏览音乐库,并支持直接在浏览器中播放 Installation 安装: pip install beets 首先输入如下命 Read more ...


GitHub Codespaces 使用

很早以前就收到 GitHub 邮件说可以使用 Codespaces Beta 了。但当时没有怎么在意,最近在想要修改一些项目中个别配置的时候不想将整个项目都拉到本地然后再提交,就尝试了一下网页端的 Codespaces,没想到的是整个体验过程非常顺畅,并且自动同步了之前在 VSCode 上的所有配置。 点击下图中的 Create codespace 可以快速地创建。 默认会使用 4 核 8G 内存 32 GB 磁盘的 Codespaces。 GitHub Codespaces 已经正式发布了,免费的用户也可以拥有一个 2 核 15GB 空间 Read more ...


逃离豆瓣之豆瓣代替服务

这篇笔记新建的时间是 2020 年 12 月 29 号,想来从那个时间点开始我就一直想着怎么离开豆瓣了。过去一年时间里面陆陆续续也发现了不少不错的网站,甚至有一些比豆瓣都要好用。这里就再整理一下。 豆瓣让我不能忍受的便是对词条的删减,以及对用户笔记,影评,书评的肆意审查,基本导致了现在豆瓣陷入不可用的状态。 我也曾经说过,我离不开豆瓣的几个理由: 我过去几千条的标注 豆瓣关注的有趣的灵魂 还有无数的有价值的影评,书评 豆瓣电影 剧集 NeoDB NeoDB 是一个建立在 federated network (联邦网络)中的用来 Read more ...


Proxmox 扩展 VM 虚拟机磁盘容量

之前在 Proxmox 上给 Ubuntu 划分了 64GB 的空间,运行一段时间之后磁盘空间剩余不多,就抽时间扩展一下。本文就记录一下给 Proxmox VE 的虚拟机扩展的过程。其实之前的文章里面也略微提到过一些,但是没有完整记录。 本来想着是这一篇文章把虚拟机的扩展和缩减空间一并整理了,但写着写着篇幅就比较大了,本文最后还是集中在扩容部分,缩减(shrink) 部分有机会再整理吧。 扩容之前 在扩容之前,为了防止发生错误,请先备份虚拟机,然后关闭虚拟机操作。 关于备份的操作可以参考: Proxmox VE 下备份和恢复虚拟机 虚拟机磁盘扩容 Read more ...

2022-05-10 proxmox , pve , linux , vm , virtual-machine

现代性与大屠杀读书笔记

属于 [[20220417-21 天计划]] 的第3本书。 什么是现代性 [[现代性]]是指的现代社会所具有的一些典型特征。现代(modern)一词16世纪才被创造出来。字面上的含义是「当下或此刻」。人们有了时间的概念,生活不再周而往复。 这本书中对现代性的解释大致分为两个层面: 精神层面,理性的精神,控制的欲望,人类想要认识一切、改造一切的精神 制度层面,高效而有序的社会组织形态 为什么会发生犹太人大屠杀 思想上 不是传统的反犹主义,而是一种现代的思想,[[园艺文化]] 和 [[种族主义]] Read more ...


解决 Adobe Premiere 不支持 mkv 问题

一直想学习一下视频剪辑,这两天正好拿一个韩剧试一下,但没想到第一步导入就被拦在了外面,不过还好,正好可以学习一下 mkv 格式,以及基本的视频格式。 我在将 mkv 格式的文件导入到 Adobe Premiere 的时候报错: File format not supported. mkv 格式 mkv 的全称是 Matroska Video File,是一种开放的多媒体档案封装格式,可以将不同编码的影片,音轨,字幕封装到同一个档案中。通常的扩展名是 .mkv, .mka , .mks 等等。1 为什么 Adobe 不支持 mkv 格式 Read more ...

2022-05-07 adobe , adobe-premiere , mkv , ffmpeg , macos , handbrake

最近文章

  • 让 AI 来编写 Git 提交变更信息 很早之前就看到了 GitHub Copilot 可以在 VS Code 中提交 Git 时自动编写提交 Message,但是实际上我一直没有用起来。正好现在对 Git Message 做一个完整的学习,顺便也了解一下当前的 AI Commits 方案。
  • Uptime Kuma 清理 SQLite 数据库历史数据 大概两年前我自己部署了 Uptime Kuma 来监控我的各项服务在线情况,这两年内一直工作非常稳定,除了偶尔的网络波动带来的误报,基本上没有其他大问题。
  • 历史最低 29 美元通过 Northwest Registered Agent 注册美国公司 前几个月很多人分享通过 [[Stripe Atlas]] 注册美国公司(LLC),但是 Atlas 及时通过微软的创业者链接也需要 250 美元,今天就教一下大家如何只需要 133 美元就可以注册一家美国 LLC。
  • kookey 美国静态住宅 IP 去年开始因为一些海淘的原因,所以租赁了一个美国静态住宅 IP,299 美元买了一台 Google Pixel 9,后来陆陆续续又因为申请美国网站的各种服务就一直续费了下来。所以本文就记录一下非常个人的使用。
  • Novita AI 面向 AI 开发者的 GPU 云平台 在如今 AI 时代,个人开发者和企业都想要高效,经济,且容易部署的 AI 模型,尤其是 DeepSeek 横空出世之后使得个人在部署使用私有 AI 模型方面变得异常简单,但问题随之出现,普通人的电脑无法带动 DeepSeek 发布的更消耗内存更消耗计算能力的模型,普通用户也很难去给自己的每台电脑都配上英伟达 4090,更不用说去管理 GPU 集群,而普通开发者如果想要将自己的模型部署到云服务上也非常棘手,而这就是今天我要介绍的 Novita.AI 要解决的问题。