Verne in GitHub

2025 年历史最低 29 美元注册美国公司

前几个月很多人分享通过 [[Stripe Atlas]] 注册美国公司(LLC),但是 Atlas 及时通过微软的创业者链接也需要 250 美元,今天就教一下大家如何只需要 133 美元就可以注册一家美国 LLC。 现在全球化的商业环境中,不论是初创的 SaaS 公司,还是实际经营跨境电商,进出口业务,都需要有一个正式的商业实体,一方面可以为个人提供责任保护,将个人资产和公司债务分离,另外一方面也可以在税务上提供更大的灵活性,并且有助于提升商业信誉。 我个人结合我自身的需求以及经过大量的研究和比较之后,最终选择了 [[Northwest Regist Read more ...


kookey 美国静态住宅 IP

去年开始因为一些海淘的原因,所以租赁了一个美国静态住宅 IP,299 美元买了一台 Google Pixel 9,后来陆陆续续又因为申请美国网站的各种服务就一直续费了下来。所以本文就记录一下非常个人的使用。 住宅 IP 是什么 首先我们来说一下什么是住宅 IP。 住宅 IP 是由互联网服务提供商(ISP)分配给个人用户的真实家庭网络 IP 地址,由 100%真实 WIFI 网络用户组成。这些 IP 地址与实际物理位置关联,具有不连号、散点分布的特点,与普通网民使用的 IP 完全一致。相比数据中心 IP,住宅 IP 更难被网站识别和屏蔽,被列入黑名单的 Read more ...

2025-05-30 ip , us-ip , static-ip , vpn , proxy

Novita AI 面向 AI 开发者的 GPU 云平台

在如今 AI 时代,个人开发者和企业都想要高效,经济,且容易部署的 AI 模型,尤其是 DeepSeek 横空出世之后使得个人在部署使用私有 AI 模型方面变得异常简单,但问题随之出现,普通人的电脑无法带动 DeepSeek 发布的更消耗内存更消耗计算能力的模型,普通用户也很难去给自己的每台电脑都配上英伟达 4090,更不用说去管理 GPU 集群,而普通开发者如果想要将自己的模型部署到云服务上也非常棘手,而这就是今天我要介绍的 Novita.AI 要解决的问题。 什么是 Novita Novita.AI 是一个专为开发者设计的 AI 云平台,用户可以 Read more ...

2025-05-29 gpu , ai , open-source , model , deepseek , google

Zig 语言编写的开源终端 Ghostty

在 Linux 上我使用 [[Guake]],到后来换成 macOS 之后使用 Kitty,直到前段时间更换成 Warp,但是没想到这几天又发现一款不错的终端 Ghostty。没查不知道,但是一查之后才发现 Ghostty 背后的作者的故事是多么精彩,并且 Ghostty 使用的 Zig 语言也是我第一次听说。 Ghostty 由著名的开发者 Mitchell Hashimoto(HashiCorp 联合创始人)使用 Zig 语言编写的一款终端模拟器,在速度,功能性方面都有不错的优势。 Ghostty 目标是成为一个更快,功能更丰富的下一代终端应用, Read more ...


关于在 Docker 容器中如何优雅关闭 Java 应用的记录

这两天遇到一个和 Docker 运行相关的问题,我们使用 Azure App Service 来运行服务,但是每次重启服务的时候,发现不会出发 Javalin 的 stop,感觉 Java 进程没有接受到 Docker 容器停机的信号,然后就被系统杀死了,所以就这个问题,仔细地研究了一下 Docker 运行以及如何优雅地关闭 Docker 容器中的 Java 进程。 问题原因 信号是操作系统用于向正在运行的进程发送消息,使其以特定方式运行的一种方式,常见的情况是操作系统会向进程 ID 发送 SIGTERM 信号来终止进程,当我们执行 kill PID Read more ...

2025-05-23 docker , java , sigterm , shell , dockerfile

IBKR 使用教程系列之共同基金 ETF Replicator

这两天在 IBKR 上买了一点按月分红的 ETF,然后在邮箱中就收到了 IBKR 发过来的建议邮件,说 IB 还提供了一个共同基金的工具可以来寻找类似表现,但是费用更低的其他 ETF,这就是一款 ETF 发掘工具。 所以收到邮件之后,我就立即定了一个计划,晚上回来就登录 IBKR 的后台,下载 Trader Workstation(TWS),然后在其中找到了这一款工具。 Mutual Fund/ETF Replicator 是一个非常使用的分析工具,可以帮助用户找到相似业绩的共同基金和 ETF,通过比较可以找到管理费用更低的组合。 Mutual Read more ...

2025-05-22 etf , ibkr , us-stock , stock-market

Google Stitch:AI 驱动的 UI 设计工具让创意快速成为现实

在昨天 2025 年的 Google I/O 大会上 Google 一口气发布了超多的 AI 工具集,其中包括了一款叫做 Stitch 的 AI 工具,它可以快速帮助设计师和开发者将 UI 设计理念变成可实际使用的设计稿,生成设计稿之后可以直接导入到 Figma,或者直接导出成前端代码。所以本文就具体来介绍一下 Stitch。 Stitch 是什么? Stitch 是 Google Labs 推出的一个实验性项目,它利用 Gemini 2.5 Pro 的多模态能力,帮助用户将简单的文本提示或图像输入转换成复杂的 UI 设计和前端代码。这个工具的核心理 Read more ...


NameCrane 邮件托管服务体验:超大存储空间的终身邮箱解决方案

去年黑五以及今年年初逛论坛的时候偶然间发现一款邮件托管服务 NameCrane,我自己一直都有发邮件的需求,我自己也有维护邮件服务器,但是看到有合理的邮件托管服务还是会忍不住多看一下,于是我就被 NameCrane 提供的终身套餐吸引住了。 CraneMail 服务概述 NameCrane 的 CraneMail 是一个专业的商业邮件套件,集成了云存储、网页邮件客户端、垃圾邮件过滤等多种功能。它被定位为 Google Workspace 和 Office 365 的替代品,但价格更为亲民。NameCrane 是 BuyVM 旗下独立公司。 在黑五促 Read more ...


Spokenly macOS 上的语音转文字工具

前几天我介绍了一款 macOS 下的语音转文字应用 Aqua Voice 用语音的方式提升输入效率,但是 Aqua Voice 它有使用的限制,但是今天我很偶然地发现了一款完全免费的,并且可以直接离线使用的语音转文字工具 [[Spokenly]]。 Spokenly 来自一个独立开发者 Vadim Akhmerov,在 macOS 下应用只有 3.3 MB 大小,作者直接利用了本地集成的 Whisper 模型来提升识别准确度和效率,如果用户想使用 GPT-4o 的模型,也可以自己输入 API Key 来使用联网的模型。 Spokenly 是什么 S Read more ...


Fider 用户反馈收集投票系统

Fider 是一个开源的用户反馈收集的系统,可以帮助开发者和产品团队更好地理解用户需求,从而有效地构建和改进产品设计。 特点 使用 Go 语言和 TypeScript 和 SCSS 等技术开发,AGPL 协议开源 用户可以提交返回,并对反馈进行投票 支持 RoadMap 展示,向用户展示开发进度和版本更新 定制品牌 Logo,颜色和文本 多语言支持 用户身份登录 提供 API 接口 部署 docker 部署 可以通过 docker 安装 services: db: restart: always Read more ...

2025-05-14 fider , golang , typescript , agpl , feedback

最近文章

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