Verne in GitHub

Rust 编写的代码编辑器 Zed

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 ...

2022-08-18 zed , rust , editor , atom

介绍一款支持 WebDAV 的网盘 teraCLOUD

teraCLOUD 是一家日本云存储服务提供商,提供基于云端的文件存储、同步和分享功能。用户可以使用 teraCLOUD 上传、下载、同步和分享文件,这些文件可以随时随地在各种设备上进行访问,包括电脑、手机和平板电脑等。 teraCLOUD 提供了多种存储计划,用户可以选择合适的存储空间和价格方案。除了基本的文件存储和同步功能外,teraCLOUD 还提供了一些高级功能,如文件共享、文件夹共享、外部链接共享等,方便用户与他人共享文件和合作工作。 teraCLOUD 采用了高度安全的技术保护用户数据的安全性和隐私。所有文件都会经过加密处理,同时,ter Read more ...

2022-08-17 teracloud , cloud-drive , webdav , finder , macos

PlanetScale 云端 MySQL 数据库使用记录

[[PlanetScale]] 构建在 Vitess 之上。[[Vitess]] 是一个可以扩展的 MySQL 集群,集合了很多MySQL特性和NoSQL 的扩展能力。 Vitess 创建于 2010 年,主用用于解决 YouTube 团队面临的 MySQL 扩容问题。 Vitess 是一个分片的非 ACID SQL 数据库(ACID 是原子性、一致性、隔离性和持久性的缩写)。 在 MySQL 中,FOREIGN KEY 约束的实现方式会 影响在线 DDL 。 Vitess 通过分片方式扩展 MySQL 数据库,数据在水平方向分区,Vitess 根 Read more ...

2022-08-16 mysql , planetscale , vitess , acid , sql , scale

新教伦理与资本主义精神 读书笔记

怎么知道的这一本书 在了解 [[马克思 韦伯]] 的时候,不管是介绍其人,或者是他的传记作品中都不断提及这一部巨著。 我希望读过这一本书之后可以回答如下的问题: 资本主义在世界的很多地方都诞生了,但为什么只有西方的资本主义会占领全世界? 资本主义和宗教之间有没有关联? 使得资本主义文明得以发展的必要条件是什么? 为什么 100 多年之后还要去读这一本 [[新教伦理与资本主义精神]]? 科学,专业领域有很多大问题,有很多的专家可以解答,但是同样有很多的大问题,关乎人生,关乎社会,关乎时代的大问题,并不能由某一个领域的专家来回答。 Read more ...


谣言 世界最古老的传媒 读书笔记

在阅读上一本 [[法国大革命前夕的舆论和谣言]] 的时候接触到了这一本《[[谣言:世界最古老的传媒]]》,作者让-诺埃尔-卡普费雷(Jean-Noël Kapferer)系统地剖析了什么是谣言,为什么会存在谣言,谣言的传递遵从什么样的规则,我们能不能消灭谣言等等。作者收集了世界上曾经流行的种种谣言,引用了诸多社会心理学实验,去阐述了这些谣言的来源,人们为什么会相信这些谣言,人们又是如何利用谣言来达成自己的目的。 什么是谣言 ? 奥尔波特和波斯曼认为,谣言是一个「与当时事件相关的命题,是为了使人相信,一般以口头媒介的方式在人们之间流传,但是缺乏具体的 Read more ...


在 IntelliJ IDEA 中使用 reset frame 回退 Debug

在 IntelliJ IDEA 中调试的时候,如果不小心断点跳过了,如果可以往前跳转就可以省去很多时间。搜索一下之后发现,在 IDEA 中叫做 Reset Frame(之前叫做 Drop Frame)。 在启动调试之后,在调试 Debugger 窗口中有 Frames ,其中就是调用堆栈。 点击其中的某一条,然后右击就可以看到菜单,选择想要跳转回去的 Frame,然后 Reset。 不过需要注意的是这个操作只会重置局部变量,全局变量的状态不会重置。 reference https://www.jetbrains.com/help/id Read more ...


字幕编辑软件 Aegisub 简单使用

前段时间非常感兴趣字幕制作,起因是因为现在已经逐渐可以脱离字幕来看韩影,而有些时候在一些国外的网站上能到制作非常精良的英文字幕,马来西亚字幕,日语字幕,但唯独缺少了中文字幕,想来一方面版权制作方也并没有在华语地区发行也没有制作中文字幕的必要,另一方面国内的字幕组大部分只会发布硬字幕压制的影片,并且随着这两年借口版权法对字幕组的打击,大量的字幕组都转到地下,曾经一度非常辉煌的人人字幕(美剧),猪猪字幕组(日剧,日影,日综),TSKS(韩剧,韩影,韩综),要不就是关站,要不就是解散,更甚至字幕组的运营人员都被判刑。但在没有完善版权法保护,并且又没有完善的方式 Read more ...

2022-08-01 aegisub , subtitle , fansub , 字幕组 , 字幕

从 mkv 文件中提取字幕文件

mkv 是一种容器,可以包含视频,音频流,也可以包含字幕等等文件,如果要从 mkv 文件中提取字幕,可以使用一款叫做 mkvtoolnix 的命令行工具。 mkvtoolnix macOS 下: brew install mkvtoolnix 在 Ubuntu 下: sudo apt install mkvtoolnix mkvtoolnix 使用 查看文件内容: mkvmerge -i path/to/video.mkv 提取字幕文件: mkvextract tracks path/to/video.mkv 3:file1.s Read more ...

2022-07-31 mkv , subtitle , cli , mac , linux

MySQL Binary Log 清理

Binary Log 中包含了 数据库更改的事件,比如表创建或者数据更改 一条语句更新数据花费的时间 Binary log 的目的: For replication,在 replication 源服务器的 binary log 提供了数据更改的记录,这些记录会发送给 replicas。源服务器会将 binary log 发送给 replicas,然后在 replicas 服务器中重新执行事务,以做到和源服务器相同的数据更改。[[MySQL Replication 主从同步原理]] 特定的数据恢复操作需要依赖于 binary l Read more ...


离线备份小鹅通反派影评以及节目列表

今天花了一点时间把小鹅通上的《反派影评》离线备份下来了,一直害怕哪天又突然没有了,反派影评几乎伴随着我渡过过去这几年的影视世界。早在更早之前就在《观影风向标》知道了波米,但是 6 年前因为这种原因节目停更了,随后波米就推出了《反派影评》之后几乎是每一期都会听,甚至有些节目会听上两遍以上。 但是疫情开始的着两年里,波米更新节目的频率越来越低,一方面也可能是能聊的电影也越来越少了,另外又刚在《随机波动》了解到波米因为眼睛才停更的,这里祝福一下波米早日恢复健康。作为一个影评人眼睛还是非常重要的。 离线备份小鹅通上的反派影评一直在我的待办事项上,今天终于有时 Read more ...


最近文章

  • Nowledge Mem 使用半年体验:让所有 AI Agent 共享同一份记忆 今年 2 月份我把 [[Nowledge Mem]] 装到 MacBook 上,想解决的是一个很常见的问题:我希望在 [[Perplexity]] 网页上查过的资料,直接在 Claude Code 中可以记住。但没想到大半年过去,它已经变成了我每天都在用的软件,而且是那种「不在后台跑着就会觉得别扭」的存在。我在 Claude Code、[[Codex]]、[[OpenClaw]] 里开的每一个会话,开头都会先从它这里拿一份简报;网页上和 AI 聊过的东西会自动同步进去;我做过的决定、踩过的坑、服务器的配置,都沉淀成一条条可以被任何 Agent 检索的记忆。说它是我所有 Agent 的记忆和大脑,一点都不夸张。
  • Aside AI 浏览器介绍:既能自己干活,也能接入 Agent 前两天整理了一篇 AI 浏览器自动化方案怎么选,把 Playwright、MCP、Agent 专用浏览器、WebMCP 这些路线梳理了一遍。在那篇文章里我提到,「内置 Agent 的 AI 浏览器」这一类里我最看好的是 Aside,原因是它的密码管理器设计得很用心,但篇幅有限没有展开。今天就单独写一篇,聊聊这个浏览器到底能做什么、和 [[Comet]]、[[Dia Browser]] 有什么不一样,以及我现在是怎么用它的。如果你看完想试试,可以用我的邀请链接 https://aside.com/r/UpYKnv9ziq 注册,注册后会额外获得 100 Credits。
  • AI 浏览器自动化方案怎么选:从 Playwright、MCP 到 Agent 浏览器和 WebMCP 的全景梳理 最近我一直在研究「让 AI 用浏览器」这件事。起因是看到 Nowledge 写了一个 browse-now Skill,可以直接让 Claude 控制浏览器,紧接着又偶然发现了 [[Ego Lite]] 这款专门为 Agent 设计的浏览器。顺着这条线,我把 Aside、BrowserOS、Deta Surf 这几款 AI 浏览器挨个调研了一遍,越看越发现它们的侧重点和实现方式差别很大:有人在做测试框架,有人在做浏览器插件,有人从 Chromium 内核开始为 Agent 改造浏览器,还有人在推动新的 Web 标准。它们看起来都在「让 AI 操作网页」,解决的却根本不是同一个问题。
  • 入手 GL.iNet Comet Pro(RM10):支持 Wi-Fi 6 的远程 IP KVM 家里的 [[Homelab]] 一直是一台 4 盘位的小主机跑 [[Proxmox VE]],上面跑着 Ubuntu 虚拟机、一堆 Docker 服务和下载机。平时远程管理全靠 SSH 加 [[Tailscale]],只要系统还活着基本没什么问题。真正让我不放心的是系统起不来的时候:升级内核后卡在启动界面、改网卡配置时手滑导致网络没起来、BIOS 被重置后不再从正确的硬盘启动,这时候 SSH 连不上,Tailscale 也不会在线,人不在家就只能干等。最近正好赶上一波促销,我入手了 [[GL.iNet]] 的 Comet Pro(型号 GL-RM10)远程 [[IP KVM]],叠加各种限时优惠之后实际支付 590.76 元,算是把 Homelab 远程管理的最后一块短板补上了。
  • 用 PowerContext 给多个 Coding Agent 做任务交接 现在我写代码基本是 [[Codex]] 和 [[Claude Code]] 轮着用。有时候是 Codex 的额度先用完了,有时候是某一步我觉得 Claude Code 更合适,于是一个任务经常要在两个 Agent 之间换手。真正麻烦的不是换工具本身,而是换手的那一刻:新会话对前面发生的事一无所知。之前选了哪个库、哪个旧接口不能动、改了哪些文件、测试跑没跑过,这些信息全都留在上一段对话里。我只能手动复述一遍,或者把一大段聊天记录贴回去,前者容易漏掉关键约束,后者浪费 Token,还会让模型在几千行历史里抓不住重点。说到底,我缺的不是一个更大的上下文窗口,而是一份能在 Agent 之间传递、而且接手方可以核对的「当前状态」。在写这篇文章的时候还出现了另外一个思路就是利用 [[magpie]] 将模型路由给充足额度的账号,这个之后再写文章说。