Verne in GitHub

面向开发者的垂直搜索引擎 devv.ai

Devv Search 是一个面向开发者的搜索引擎，并且通过 AI 的加持，提供了更好，更精确的代码搜索能力。之前介绍过 GitHub Code Search，但是只能通过简单的代码片段去搜索 GitHub 上已有的代码，而 Devv 搜索则是可以通过自然语言的方式去查询具体的编程问题，虽然 ChatGPT，Bard 也能做到，但是初步体验了一下 Devv.ai，目前还是比较准确的。 交互界面 Devv_ 的交互界面比较简单，不需要介绍，直接输入问题，获得答案即可。 related [[RAG 系统]] Read more ...

2023-11-02

在阅读中认识更多的单词 Relingo 插件使用

Relingo 是一款通过在浏览过程中将陌生单词标注出来帮助学习的工具，Relingo 有浏览器插件，也有提供 Android 和 iOS 客户端。 功能 Relingo 能根据设置难度等级以及收藏的词汇来自动高亮显示页面中的内容，并进行翻译。 通过阅读和观看积累自己的生词本，并通过后期的间隔记忆让背单词不再是一个任务 Relingo 可以在非常多的主流网站运行，还支持 YouTube 等流媒体 安装 点击这里 安装 Chrome 插件 使用 使用效果图 用 Relingo 自己的设置页面来做一个说明，但实际默认 Read more ...

2023-11-01 relingo , english , english-learning , language-learning

解决 OpenAI insufficient_quota 问题

因为一直在用 OpenAI 的 API，之前是账户中还有一些余额，但是在 2023 年 11 月 1 号就到期了，但是到期之后我账户中也是有充值了 5 美元的余额，理论上应该直接切换到使用我的账户余额，但问题就是 OpenAI 的接口无限制地返回了 insufficient_quota 错误。 网上去查询这个错误的时候大部分的错误都是说当前已经超过了配额限制，所以报错，但是明明我的账户中还有 4.95 美元的余额。所以我开始怀疑是不是 OpenAI 后台处理这个余额切换的时候出错了。 于是我就找到了 这个问题 几乎是一样的错误，最高赞里面的说明是，当 Read more ...

2023-11-01 openai , ai , chatgpt

我购买了一只 Blue Yeti

我购买了一支 [[Blue Yeti]]，这是一支我很早就想购买的麦克风，早很多年就在我的待购列表中，但是因为一直没有使用场景，所以一直就没有怎么开始，但是现在想要做一些播客相关的内容，所以就入手了。 优点 无需驱动，直接 USB 连接即可使用 四种独特的录音模式 立体声 心型 全指向 双向 使用 打开 Yeti 包装之后，将麦克风旋转 180 度，使得 Blue 的 Logo 和耳机音量控制朝向自己 调整到角度之后，拧紧底座左右两侧的固定旋钮 将 Read more ...

2023-10-31 microphone , blueyeti , hardware-device , device , audio-device , 麦克风

NextCloud macOS 客户端修改服务端地址

起因是因为我因为搬家把 NAS 放在了家里，然后使用了 ZeroTier 做内网穿透，于是原来搭建在 NAS 上的 NextCloud 局域网地址，变成了 ZeroTier 的地址。那么我所有的同步客户端就没有办法直接再连接上了，所以得想办法。 最初想到的最笨的办法就是登出，然后再用新的 NextCloud 地址登录。但是这样就需要重新关联本地的同步文件，极有可能会让 NextCloud 将同一份文件同步两次（这种蠢事我之前也干过）。 于是我就找能不能只修改本地的配置，让原来的 192.168.2.xxx 变成 ZeroTier 的局域网地址 192 Read more ...

2023-10-30 nextcloud , macos , config , cloud , storage , selfhosted , zerotier

使用 uBlock Origin 拦截 YouTube 广告

之前一直在 Chrome 下观看 YouTube， 通过广告屏蔽插件，基本上可以看不到 YouTube 的贴片广告， 但是最近 Google 更新了 YouTube 的广告屏蔽插件监测，应该是最新的 Chrome 上线了一些新的特性能让 Google 做到，所以一系列的广告拦截插件都纷纷失效了。但是简单的搜索了一下之后发现，uBlock Origin 还能正常拦截广告。 虽然我也一直安装了 uBlock Origin，之前也推荐过，但是我忘记更新它的过滤规则，所以导致 YouTube 还是会出现广告弹窗，并且不让继续观看视频。 uBlock Orig Read more ...

2023-10-26 youtube , ublock , ublock-origin , ads , chrome , chrome-extension

我的照片管理方案

从 Picasa 时代就开始用 [[Google Photos]]，一个账户里已经累积了 30G+ 的照片，另外还有不少相机拍摄的照片躺在硬盘里从未上传。但最近我越来越不想依赖 Google Photos 了——之前写过文章，记录了我逐步从 Google 服务生态中迁移出来的过程。去年换了低配版 [[iPhone]] 之后，因为存储空间有限，订阅了 iCloud 200G 方案，最初只是为了缓解手机存储压力并与 macOS 同步，不知不觉也用了将近一年。但和 Google Photos 一样，我始终有个心结：想以文件的形式在本地管理所有照片，包括手机拍的 Read more ...

2023-10-24 photo-management , photo , google-photos , icloud-photo , icloud , nextcloud , 相册 , 照片

MacBook 16 寸连接外接显示器 CPU kernel_task 占用极高问题解决

上个礼拜在 Prime Day 购入了明基的 4K 显示器，但是用 Type-C 连接上电脑（Macbook 2019 16 寸）的时候发现，MacBook 非常卡顿，用 [[iStat Menus]] 查看了一下，发现 kernal_task 占用极高，进而导致系统非常缓慢。刚开始的时候还以为是软件开多了哪里不对，但是逐渐的发现，当我把显示器断掉之后立即就恢复了正常水平。所以立即把问题定位到了显示器上面。 根据之前的经验，我尝试重置 S.M.C，还重置了一下 NVRAM，但是都不管用。中间还尝试了一下将 Type-C 线更换成 HDMI，但依然没 Read more ...

2023-10-24 macos , macbook , macbook-16 , kernel_task , monitor , 4k-display , 4k

在任天堂即将推出新一代主机时我买入了一台 OLED Switch

不久之前看到小红书上有人出 Switch，就线下见面交易 28000 日元购入了一台 OLED 白色版本的 Switch，顺便还 4000 日元买了他的塞尔达荒野之息。这篇就简单的记录一下购买过程。 购买之前 了解版本区别 目前 Switch 一共有四个版本 Switch 初版，已经停产，目前在卖的应该都是二手 Switch 续航版，增强了续航，但是屏幕还是 LCD Switch Lite 版，手柄无法拆卸，无法连接电视投影 Switch OLED 版，更换了三星的 OLED 屏幕，可以连接电视投影 简单对比一下之后，根据自 Read more ...

2023-10-22 日本生活 , Switch , 任天堂 , 游戏 , 主机游戏 , 塞尔达 , 日本文化

我购买了一个键盘 Keychron K1SE

注册 Mercari（メルカリ） 的时候，初期赠送了 1000 JPY，所以在 Mercari 上搜索了一下自己待购列表中的物品，本来锁定了 PS5 的手柄 DualSense，以及 Blue Yeti，但是在浏览的过程中发现其实我缺少一个键盘，然后开始搜索起键盘来，因为首次购买的奖励只有 1000 JPY，所以也不想花太多的钱，所以把价格定在了 5000 作用，这个时候就发现了这一款 Keychron K1SE，最终用我初级的日语和卖家讨价还价到了 5500 JPY，个人感觉性价比还可以，于是就买了。 之所以缺少一个键盘的原因是，目前配置的电脑使用的 Read more ...

2023-10-18 keyboard , keychron , mercari

电子书

本站提供服务

文章分类

最近文章

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