Verne in GitHub

Cline 强大的 AI 辅助编程工具

之前的文章中介绍过 AI 支持的编辑器 Cursor,还介绍过 Codium 推出的 AI 智能编辑器 Windsurf,很早之前也介绍过如何在 JetBrains IntelliJ IDEA 中使用 GitHub Copilot 以及如何在命令行终端下使用 GitHub Copilot CLI 可以在终端下完成一些 AI 智能补全,提示等等操作。 今天我要来介绍另外一款基于终端,以及 VS Code 的 AI 编程辅助工具 [[Cline]]。 Cline 是一款 AI 辅助编程的,借助 Cline 可以实现 AI 自主编码,可以创建编辑文件,执行 Read more ...

2025-01-10 ai , cli , sonnet , claude , vscode

使用 GitHub Actions 构建 Docker 镜像并上传到 GitHub Packages

本文介绍一下如何使用 GitHub Actions 构建 Docker 镜像,并上传到 GitHub Packages。 GitHub Actions GitHub Actions 是 GitHub 官方提供的一项自动化平台服务,主要用于自动化软件开发流程中的各类任务,尤其适合实现 CI/CD(持续集成与持续交付)。 详情可参考这一篇 GitHub Packages GitHub Packages 是 GitHub 提供的一项软件包托管与管理服务,支持开发者将各种类型的软件包(如依赖库、容器镜像等)与源代码一同集中管理。通过这一平台,开发者可以 Read more ...


Google Gemini 2.0 Flash Thinking 模型

今天要来介绍一下 Google Gemini 刚刚推出的一个推理模型 Gemini 2.0 Flash Thinking model,这个是 Gemini 版本的 GPT o1 模型,这个模型会首先思考一下,然后再回复。 这个 AI 模型基于最近发布的 Gemini 2.0 Flash 模型,设计上与 OpenAI o1 一类的推理模型非常类似。 但是和 OpenAI o1 不一样的是,Gemini 的模型思考的过程会直接直接展示出来,因为模型「思考」(推理)的过程本身就非常有趣,现在在 AI Studio 中可以直接使用,可以直接看到模型的推理过程 Read more ...


利用 PirateShip 打单节省美国转运费用

之前因为申请 [[ITIN]] 已经申请了一个 Anytime Mailbox 美国的私人地址,但是如果直接让 Anytime Mailbox 房东转寄邮件,价格非常昂贵,以我自己的经验只邮寄 0.1 磅不到的信件,房东报价就高达 70 美元。所以这篇文章我就总结一下如何与 Anytime Mailbox 的房东进行沟通并让房东使用我们自己提供的邮寄单,将我的物品从美国寄送回来。 但是如果相同的地址,相同的重量,在 Pirate Ship 中邮寄的话,只需要 27.12 美元,几乎只需要原价的 1/3 价格。 并且幸好我的 Anytime Mai Read more ...

2024-12-17 pirateship , ups , usps , anytime-mailbox , atmb , dhl

Mint Mobile 又一家美国移动网络运营商

在之前的一篇文章中,因为在 Mint Mobile 上的商城上购买了 299 美元 Pixel 9 手机,暂时了解到了 Mint Mobile 这家公司,这里再来详细地介绍一下这家公司。 Mint Mobile Mint Mobile 是一家成立于 2015 年的美国移动虚拟网络营运商(MVNO),总部位于加利福尼亚,科斯塔梅萨。作为一家虚拟营运商,Mint Mobile 不拥有自己的基础网络设施,而是租用 T-Mobile 的网络来为客户提供服务。 公司最初是 Ultra Mobile 的子公司,但是在 2019 年独立分拆,Mint Mobil Read more ...


299 USD 买了一台 Google Piexl 9

前些天黑五的时候就看到了 Pixel 优惠通知,299 美元可以购买一台 128GB Google Pixel 9,但当时没具体看,后来回来又看到一篇推送,然后查了一下 Pixel 的原价 799 感觉还是可以看看怎么购买的。 简单的了解了一下之后发现是从 Mint Mobile 官方的在线商城购买,只需要是 Mint Mobile 的新用户,直接登录 Mint Mobile 的账号之后就可以直接在页面进行下单。但是下单需要注意,只能运送到美国的地址,需要进行转运,但是我之前不是正好用 Amex 的信用卡领了两年的 MyUS 会员嘛,这里正好用上,还是 Read more ...


Automa Chrome 下的自动化工具

我之前介绍过不少的自动化工具,比如 macOS 上的自动化工具 Hammerspoon,开源的自动化工作流 n8n,还有非常多的编程自动化的工具,当然编程天然的适合自动化,运维自动化 Puppet,应用自动化发布 Fastlane,还有很多 CI/CD 的工具,但是今天想要介绍一款使用简单,安装方便的基于浏览器的自动化应用 Automa。 Automa 是一款免费的浏览器扩展程序,专为简化和自动化网页操作而设计。它支持在 Chrome 和 Firefox 浏览器中运行,通过直观的拖放式界面,用户可以创建自定义工作流来完成各种任务,例如表单自动填写、数据 Read more ...


无代码数据库 NocoDB 使用体验

DocoDB 是一款开源的无代码数据库平台,可以进行数据管理和应用开发。 它的灵感来自 [[Airtable]],支持与 Airtable 类似的电子表格式交互、关系型数据库 Schema 设计、API 自动生成等特性。 Github:https://github.com/nocodb/nocodb NocoDB 是一款开源的无代码数据库平台,可以进行数据管理和应用开发。它支持多种数据源,包括 MySQL、PostgreSQL、SQL Server、SQLite 等主流关系型数据库,也能连接 Airtable、Google 表格等 SaaS 服务。 Read more ...


Anthropic 开源 Model Context Protocol(MCP) 创建了 AI 和数据源的双向连接

Anthropic 开源了 Model Context Protocol 简称 MCP 协议,是一种新的标准,用于将人工智能助手连接到数据所在的系统,包括内容存储,业务工具和开发环境。如果一句话来简单的介绍,就是 Anthropic 通过 MCP 协议将人工智能拓展到任意支持 MCP 协议的地方,而不仅仅局限于网络聊天对话,举一个例子就是如果通过 MCP 连接了本地文件夹,那么就可以让 Anthropic 操作本地文件夹,比如让 AI 在本地生成一篇文章,创建一个项目模板;或者通过 MCP 连接 IDE,那么就可以让 AI 直接读取并修改本地代码。 A Read more ...


Google 的 AI 云虚拟开发环境 Project IDX

Project IDX 是一项实验性质的项目,目的是为了将应用程序的开发搬到云端,通过浏览器在 Web 页面完成所有的开发,编译,部署。 Project IDX 可以让用户打开网页就进入开发流程,通过 Google 提供的云虚拟环境,直接在线开发应用程序。 Google 在 2023 年就公布了 Project IDX 项目,但是最近将 Gemini AI 的能力融入到了这一款云代码编辑器中。IDX 官方人员提到,当前开发人员面临的一个很重要的问题就是管理和配置项目运行环境比较复杂和困难,尤其是需要在多台设备上同时开发项目时,所以 IDX 的出现也是 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]] 有什么不一样,以及我现在是怎么用它的。如果你看完想试试,可以用我的邀请链接 注册,注册后会额外获得 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]] 将模型路由给充足额度的账号,这个之后再写文章说。