Verne in GitHub

使用 Trancy 和 AI 在线练习口语

今天和朋友电话聊到英语口语,他说自己很长一段时间不说英语,前两天和一个印度人交流的时候虽然能听懂,但是却说不出来的那种痛苦的感觉。我一想到我现在正在学习日语 也有遇到相类似的问题,并且我也需要不时的去联系一下英语口语,于是就搜索了一下,因为之前就知道有一些网站提供真人的 1 对 1 口语聊天服务。但是现在 AI 这么流行,也诞生了和 AI 聊天的工具,之前尝试过一个叫做 Speak 的应用,但今天一搜索发现了另外一个在线和 AI 聊天的网站 —- Trancy。 在 OpenAI 没有推出 ChatGPT 之前,其实每个人的手机都有两个我非常推荐的聊天 Read more ...

2023-08-11 ai , english , oral-english , trancy , chatgpt , openai

将 Evernote 笔记导入到 Obsidian

不久之前看到 Obsidian 推出了一个官方的插件可以将 Evernote 的笔记导入到 Obsidian 中,于是就把「将 Evernote 笔记导入到 Obisidian」列为了一项我的待办事项,虽然已经很多年没有用 Evernote 了,但里面还有一些摘录,我一直认为笔记只有能被检索到才有价值,而 Obsidian 的检索速度也非常快,虽然没有 OCR,但纯文本的检索如果能被反复找到,那么可能那些笔记还有价值。 准备老版本的 Evernote 如果使用最新版本的 Evernote,那么登录的时候 Evernote 就会弹窗让你付费,或者试用 Read more ...


Blaze 一个在局域网中点对点传输的网站

今天在了解一个根据英语搜索日语的网站 —- hiki 的时候,发现这个网站是使用一个叫做 [[Preact]] 的非常轻量的框架写的,然后我就沿着 Preact 的线索去查了一下那些网站是用 Preact 实现的,然后就发现了本文的主人公 —- [[blaze]]。 blaze 是一个基于 P2P 技术的文件共享 Web 应用程序。它允许用户通过直接连接和共享文件,而无需通过云存储服务或中央服务器。使用 blaze,用户可以轻松地共享大型文件、照片、视频等,并与其他用户进行实时的 P2P 传输。该应用程序提供了一个简单直观的界面,使用户能够快速上传和下 Read more ...


Lossless Cut 使用记录

Lossless Cut 一款跨平台的 [[FFmpeg]] 的 GUI,可以用来快速、无损地剪辑视频,音频。使用 Lossless Cut,用户可以轻松地选择视频或音频文件并进行剪辑操作。该工具支持各种常见的视频和音频格式,并且能够在不重新编码的情况下进行快速剪辑。 除了基本的剪辑功能之外,Lossless Cut 还提供了其他一些高级功能。例如,它允许用户选择特定的时间段进行裁剪,并且还支持批量处理多个文件。此外,它还提供了一些实用的工具,如帧精确切分、截图等。 Lossless Cut 的界面简洁易用,使得即使对于没有编码经验的用户也能够轻 Read more ...


Laravel Herd 本地 All in One 开发环境

Laravel Herd 是一个为 [[Laravel]] 而开发的集成开发环境,原生支持 Laravel 和 PHP。Herd 包括了 PHP 运行环境,Node 运行环境,Nginx 配置等等功能。 Herd 支持 Windows 和 macOS,包含了 Laravel 开发所需的一切。Herd 没有使用容器,虚拟机等虚拟化方式,使用二进制加快开发部署速度。Herd Pro 附带数据库,缓存,队列,存储等必要组件,加快开发速度。 功能 管理多个版本的 PHP,自带 PHP 7.4 到 8.3 支持多个 Node.js 版本 支 Read more ...

2023-07-20 php , laravel , herd

使用 k3sup 快速安装 k3s

多次想要学习一下 [[Kubernetes]] 但是多次照着搭建环境尝试失败,并且也没有找到合适的落地场景就「放弃」了,但是之前了解的时候看到了轻量级的 k8s 叫做 k3s,然后了解到了一个可以快速搭建 k3s 的项目 [[k3sup]],所以记录一下。 什么是 k3sup k3sup 是一个可以在任何 Linux 机器上安装并启动 [[K3s]] 的命令行工具,官方宣称可以在 60 秒内启动一个 k3s。k3sup 是一个可帮助快速轻松地在任何地方部署 Kubernetes 集群的工具。它使用 SSH 连接到远程主机并安装 k3s,然后提供一个可 Read more ...

2023-07-17 k3s , k8s , kubernetes , docker , google , k3sup , cluster , vps

通过可理解输入学习语言

在学习日语的过程中知道了 Comprehensible Input(可理解输入)这样一个语言学习的思想,它的核心就是「只有当我们能够理解时,我们才能获取信息」。 可理解输入假说(Comprehensible Input Hypothesis)是由语言学家 Stephen Krashen 提出的一个二语习得理论,这个理论简单地说就是 语言学习主要通过理解稍微超出当前水平的语言输入来实现 Krashen 使用 i+1 来表示这个概念,i 是学习者当前的语言水平,+1 是稍微超出这个水平的新内容 什么是可理解输入 「可理解输入」Compre Read more ...


端到端加密邮箱 Skiff 邮箱使用体验

去年的时候有介绍过一款 Web3 下的协同文档 Skiff,虽然我自己没有在深入使用,但是一直都在观察它的发展,之前也简单的介绍过 Skiff 邮箱,但当时 Skiff 提供的域名邮箱只能够使用 @skiff.com 自己的邮箱后缀,自定义的域名邮箱需要付费。但是今年 Skiff 周年的时候,免费的用户也可以绑定一个域名,因为 Skiff 提供了不错的 Web 界面,并且还提供了不错的客户端,所以如果有朋友不想自己折腾,先尝试一下 Skiff 提供的邮箱也不错。 2024 年更新 Skiff 已经被 [[Notion]] 收购,将在 6 个月内关闭服 Read more ...


让 AI 无处不在

Obsidian Obsidian 是我使用频率最高的笔记软件了,所以 Obsidian 的改造不能少。 插件 Copilot Chat 生成侧边栏对话框 Text Generator ,用来生成文字,提供灵感 WebStorm EAP 这是我利用新项目学习 [[Gatsby]] ,通过 WebStorm 提供的 AI Assistant 可以快速的对代码进行提问,以加快学习的速度和提高学习效果。 Cursor.so Cursor.so 是一款 AI 支持的编辑器,之前也有推荐过,在我主力的 IntelliJ IDE Read more ...


《每周工作 4 小时》读书笔记 - 寻找生活工作的平衡

怎么知道的这一本书 我已经忘记了最初是因为什么原因把这一本书添加到了书单中了,但是看了一下同期加入书单的图书,还有 [[毫无意义的工作]],可能是不知道从哪边看了一篇关于工作生活的文章,里面可能提到了这一本书,就这个名字就像让人把它加入待看列表。最近在 Twitter 有一个关键词 [[Indie Hacker]] 又再一次被频繁提起,与之关联的 [[Digital Nomad]],独立开发者,[[Company of One 一人公司]]等等,都成为了最近的流行趋势。在 OpenAI,Bard,[[Claude]] 等等 AI 辅助工具的帮助情况下, 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]] 将模型路由给充足额度的账号,这个之后再写文章说。