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

《自由软件 自由社会》是 [[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

最近文章

  • IBKR 使用教程系列之共同基金 ETF Replicator 这两天在 IBKR 上买了一点按月分红的 ETF,然后在邮箱中就收到了 IBKR 发过来的建议邮件,说 IB 还提供了一个共同基金的工具可以来寻找类似表现,但是费用更低的其他 ETF,这就是一款 ETF 发掘工具。
  • Google Stitch:AI 驱动的 UI 设计工具让创意快速成为现实 在昨天 2025 年的 Google I/O 大会上 Google 一口气发布了超多的 AI 工具集,其中包括了一款叫做 Stitch 的 AI 工具,它可以快速帮助设计师和开发者将 UI 设计理念变成可实际使用的设计稿,生成设计稿之后可以直接导入到 Figma,或者直接导出成前端代码。所以本文就具体来介绍一下 Stitch。
  • NameCrane 邮件托管服务体验:超大存储空间的终身邮箱解决方案 去年黑五以及今年年初逛论坛的时候偶然间发现一款邮件托管服务 NameCrane,我自己一直都有发邮件的需求,我自己也有维护邮件服务器,但是看到有合理的邮件托管服务还是会忍不住多看一下,于是我就被 NameCrane 提供的终身套餐吸引住了。
  • Spokenly macOS 上的语音转文字工具 前几天我介绍了一款 macOS 下的语音转文字应用 Aqua Voice 用语音的方式提升输入效率,但是 Aqua Voice 它有使用的限制,但是今天我很偶然地发现了一款完全免费的,并且可以直接离线使用的语音转文字工具 [[Spokenly]]。
  • Fider 用户反馈收集投票系统 Fider 是一个开源的用户反馈收集的系统,可以帮助开发者和产品团队更好地理解用户需求,从而有效地构建和改进产品设计。