Verne in GitHub

IPFS 介绍

IPFS 的全称是 「InterPlanetary File System」，直译过来叫做「星际文件系统」，这是一个点对点的媒体传输协议，作者创建这个项目的目的是为了建立一个持久的，分布式的文件系统。1 A peer-to-peer hypermedia protocol designed to make the web faster, safer, and more open. IPFS 白皮书由Juan Benet 发表于 2014 年。 IPFS 允许用户不仅可以接受文件，还可以托管文件内容，类似 BitTorrent 协议的方式，网 Read more ...

2020-10-20 ipfs , distribute-network , internet , file-sharing

gitconfig includeIf 管理多用户配置

~/.gitconfig 配置用来存储用户相关的配置，当 git 在提交或其他操作时，如果找不到项目目录下的 .git/config 文件时会回退到使用该全局配置文件。 大部分的配置可以通过 git config 来配置，比如常见的设置用户名和密码。 git config user.name "Ein Verne" git config user.email "[email protected]" 通常情况下只需要维护一份全局的 ~/.gitconfig 然后在各自的项目中维护自己的 gitconfig 即可，但是我最近遇到一个问题便是，我迁移了几十个项目 Read more ...

2020-10-18 git , gitconfig , version-control , github

使用 zinit 管理 zsh 插件 完美代替 Antigen

一直使用的 antigen 来管理 zsh 的插件，但是最近 zsh 因为加了一些插件变得非常慢，所以就想找找办法提速 zsh，在查询的过程中发现 antigen 已经很久没有更新，很多人推荐 antibody, 于是又试了一下 antibody, 不过在调研的过程中又发现了 zinit。 再一番对比以后，发现 antibody 所谓的并行执行也没有提速很多，反而是名不见经传的 zinit 通过配置将加载时间稳稳地降低，在新建终端时几乎立即可用。 zinit 是什么 zinit 在众多的 zsh 插件管理工具中是一个比较小众的工具，但是因为其具备的 T Read more ...

2020-10-17 zsh , zinit , linux , terminal , antigen , plugin

修复 Ubuntu 丢失的引导

今天工作的电脑因为长时间没有关机，重启了一下之后发现竟然无法启动，显示 no bootable device。大概率是因为更新的时候把 Ubuntu 的 GRUB 给更新坏了。 纯手工 首先需要通过可以启动的 U 盘系统开机，然后使用 grub-install 来安装 GRUB: fdisk -l sudo blkid sudo mount /dev/sda1 /mnt sudo grub-install --boot-directory=/mnt/boot /dev/sda 使用 boot-repair 工具一键修复 先使用 USB Ubunt Read more ...

2020-10-15 linux , ubuntu , grub , boot-loader

阿里云函数计算 fun cli

大部分的资料来自于 GitHub 页面。 安装 安装 npm，并执行： npm install @alicloud/fun -g 配置 两种方式对 fun 进行配置， .env 配置文件 在项目 template.yml 文件所在目录，新建 .env 文件，并配置： ACCOUNT_ID=xxxxxxxx REGION=cn-shanghai ACCESS_KEY_ID=xxxxxxxxxxxx ACCESS_KEY_SECRET=xxxxxxxxxx FC_ENDPOINT=https://{accountid}.{region}.fc. Read more ...

2020-09-26 aliyun , fun , cli

阿里云函数计算中使用 Python psycopg2 访问 PostgreSQL

在之前的文章中提到过 函数计算 但一直没有正式的用起来，现在正好通过在阿里云函数计算中连接访问 PostgreSQL 来系统性的学习一下阿里云的函数计算。 首先要了解的几个概念： Fun，Fun 命令是阿里提供的一个用于本地编译，部署函数计算的命令行工具，通过编写本地的 template.yml 配置文件可以对函数计算的服务, 方法, 网关 进行管理。更多内容可以参考官方提供的文档 Fun 命令简单使用 fun 命令的安装可以参考官方的文档. 配置 fun: fun config 这里需要填写账号相关的信息。执行后会将账号相关的信息保 Read more ...

2020-09-23 function-compute

Mac OS 上的平铺窗口管理工具 yabai

yabai 是一个 Mac OS 上的平铺窗口管理工具。Linux 上很早就有一系列的平铺窗口管理工具，比如 i3, awesome 等等。yabai 将这个功能带到了 Mac 上。所谓的平铺式窗口管理，是相较于普通的浮动窗口管理，在通常使用的情况下，系统上的应用如果打开了很多，就不可避免的相互叠加，需要频繁的使用 ⌘+Tab 来切换窗口。而平铺式窗口管理，则将所有的窗口平铺在桌面上，窗口之间不会相互重叠。 为什么要用平铺式窗口管理 在不了解平铺式窗口管理之前，我个人非常厌烦的一个事情就是不停地在不同的窗口之前切换，并且切换的效率非常低，虽然在 Ma Read more ...

2020-09-17 mac , tiling-window-manager , window-manager , hammerspoon

macOS 上好用的截图工具

macOS 自带 ⌘+Shift+3 截取整个屏幕 ⌘+Shift+4 截取部分屏幕，按下快捷键之后选择 ⌘+Shift+5 打开截图应用，在应用中可以选择截图、录制视频等 ⌘+Shift+6 截取 Touchbar 的屏幕 ⌘+Shift+Ctrl+4 截取屏幕并保存到粘贴板 ⌘+Shift+4+space 截取某个窗口或菜单 shottr shottr 是一款 macOS 上的截图工具，支持部分，全屏，窗口，滚动截图。shottr 还支持文字打码。 我沿用之前的习惯： F1 部分截图 Cmd+Shi Read more ...

2020-09-10 macos , screenshot , snipaste , shottr , record

You Quiz on the Block E70 世代差异

Covid-19 以来很少有让我继续追下去的韩综，除了带我入坑的周末综艺，一个 《[[Begin Again Korea]]》剩下的就只有《You Quiz On the Block》了。可以看得出来韩国的综艺人，电视人总还是带着一些社会关怀再做内容，之前在《Begin Again》里面就提过，在这个特殊的时代，他们把歌声第一时间先给一线的医护人员，公共服务人员，在这个疫情的特殊时期《Begin Again》就是一个治愈的存在，而相同的《You Quiz》第三期开篇就是对社会一线人员的致敬，公交司机，私营店老板，快递员，防疫人员，社会正是在这些人继续工作 Read more ...

2020-09-05 thinking , south-korea , history

跨平台的 GPU 加速终端 kitty

之前在学习使用 dotbot 管理 dotfiles 的时候参考了不少 GitHub 上的 dotfiles 项目，发现大家都不约而同的用到了一个叫做 kitty 的终端，我个人在 Linux 上用 Guake ，在切换到 Mac 之后选择了大部分人推荐的 iTerm2，虽然用着也没有遇到问题，但一旦和 kitty 比较起来速度便成为了一个问题。 官网地址：https://github.com/kovidgoyal/kitty 为什么要换用 kitty？ 之前使用的 [[Guake]]， iTerm 自身也并没有什么问题，但近两年来越来越喜欢纯文本 Read more ...

2020-08-27 gpu , terminal , linux , mac , guake , drop-down

电子书

本站提供服务

文章分类

最近文章

  • 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]] 将模型路由给充足额度的账号，这个之后再写文章说。