Verne in GitHub

Linux 和 macOS 下 Rime 输入法配置记录

Rime IME 是中州韻輸入法引擎 (Rime Input Method Engine) 的缩写，项目网址如下： https://github.com/rime 按照官网给出的定义：Rime 不是一种输入法，是从各种常见键盘输入法中提炼出来的抽象的输入算法框架，这一套框架提供的灵活扩展性使得其不仅可以支持全拼，双拼等等中文输入，还可以扩展词库进行任何语言的输入，Rime 涵盖了大多数输入法的共性，所以在不同设定下，Rime 可化身为不同的输入法用来打字。Rime 是跨平台的输入法软件，Rime 输入方案可通用于以下发行版： 【中州韻 Read more ...

2014-11-21 输入法 , rime , input-method , cjk , language , korean , japanese , chinese , squirrel , 小狼毫 , 中州韵 , 鼠须管 , macOS

一系列计算机相关图书列表

代办事项中一直存在这样一个列表，一直没有完全吸收，这里先列着慢慢消化吧。不过大多数情况下都是直接豆瓣搜索看评价看了，也没有来得及维护这个列表，找个时间整理成豆列吧。 计算机系统与网络 《图灵的秘密》 《计算机系统概论》 《深入理解 Linux 内核》 《深入 Linux 内核架构》 《TCP/IP 详解 卷 1：协议》 《Linux 系统编程（第 2 版）》 《Linux 内核设计与实现（第 3 版）》 《深入理解计算机系统（原书第 2 版）》 《计算机程序的构造和解释（原书第 2 版）》 《鸟哥的 Linu Read more ...

2014-11-20 book , computer-science , network , linux

Nexus 5 不同版本

要给哥弄个 Nexus 5，网上一查有美版的 D820，还有国际版的 D821。顺手做个笔记LG D820 VS LG D821。两个版本的 LG Nexus 5 在几乎所有的配置和外观上都没有任何的区别，主要区别在通讯模块上，一个支持 GSM/CDMA/WCDMA/LTE，而另外一个不支持 CDMA，具体的支持情况外媒梳理如下： ##北美 Nexus 5 版本 (LG D820): GSM: 850/900/1800/1900 MHz CDMA: Band Class: 0/1/10（这个频段是中国电信也支持的，其实大多数有 CDMA 的国 Read more ...

2014-11-12 android , nexus , google , lg

Vim 插件之：vim-repeat

这个插件顾名思义，就是扩展了 vim 中 . 的功能，有些插件实现的复杂修改（比如修改 surrounding) 用原生的 . 无法实现，而用该插件可以实现。 Installation Plug 'tpope/vim-repeat' Usage 既然提到了 vim.repeat 就不得不提到 vim 的 . 操作。 比如使用 diw 删除了一个 word，那么可以使用 . 来删除另一个 word 如果使用 dd 删除了一行，那么可以使用 5. 来删除 5 行 如果在 insert 模式下，输入 hello!，那么使用 ESC 进 Read more ...

2014-11-03 vim , vim-plugin , tpope , vim-repeat

Google推出inbox的一点思考

前一天就看到Rumor说Google有一款inbox产品要发布，没想到今天一早就看到+Sundar Pichai 发了一Po 说发布这个产品了。第一时间申请了邀请码，可是到目前为止也没见邀请码的踪影，也就只能从一些介绍，截图，视频中看到一些端倪，也由此写下一些想法。 ##改变 Gmail发布已有10年，这十年时间Gmail改变了人们使用邮箱的习惯，而这十年变化的东西太多了，邮箱这一概念早被人说是应该淘汰的东西，时至今日邮箱却依然还是日常生活，工作交流中很重要的一个环节，可是邮箱亟需要变革，不仅是作为用户而言，并且是邮箱服务提供商应该需要思考的问题，越 Read more ...

2014-11-02 Google , inbox , Gmail

手机信号字母表示

使用智能手机的朋友会发现，在手机信号旁边或者上面都会有一些奇怪的字母，比如3G、E、H等等，这些字母都代表什么意思呢？哪种网络状态速度最快？下面让我们详细了解一下吧！ G指GPRS，它是GSM移动电话用户可用的一种移动数据业务，GPRS可说是GSM的延续，是2.5G网络。在iPhone手机上显示O；2.5G的速度约为10KB/s E指EDGE网络，是增强型数据速率GSM演进技术，属2.75G,速度约为20KB~30KB/s 3G指普通3G网络，在国内常见的3G有电信的CDMA2000、联通的WCD Read more ...

2014-10-24 Android , Knowledge

照片添加GPS信息

在玩Ingress之后的很长一段时间内，我觉得如果照片没有地理位置信息是一种缺失，而去年买的 Nikon 单反没有GPS模块，Nikon提供的GPS模块需要单独购买价格不便宜并且携带不方便，于是我找到一种既便宜又简洁的方式可以给照片添加上GPS信息。 需要借助的工具： 支持GPS的Android手机一部 Google My Tracks 应用 GeoSetter 软件 具体原理是：按照时间顺序，将手机记录的GPS信息写入相机拍摄的照片中。 具体步骤： 调校相机时间和手机时间保持一致 使用My Tracks应用记录GPS Read more ...

2014-10-02 DSLR , GPS , Nikon , 摄影

优化 Java 中正则表达式

Java 中和正则相关的工具类都在 java.util.regex 包下，Java 使用了 Nondeterministic Finite Automaton （NFA)，之所以称为非确定性是因为当正则匹配给定字符串时，每一个字符都可能和正则匹配多次。这个匹配引擎被广泛的使用在 .NET, PHP, perl, Python, Ruby 中。很多人认为正则处理很快，很强大，但是其实不同正则表达式的写法可能导致消耗的时间和空间相差几十倍甚至上百倍，当在一些移动设备中使用正则时则要更加注意。 在引擎内部，NFA 使用回溯（backtracking) ，通常 Read more ...

2014-09-30 java , regex

log4j XML 配置

我们都知道 log4j 有两种配置文件的语法，本文主要介绍 XML 格式的配置格式。 log4j XML 配置的一些细节记录。 priority 和 level 的区别 我们都知道日志打印的级别，从低到高依次是 TRACE, DEBUG, INFO, WARN, ERROR and FATAL. 日常使用中经常会看到 root 或者 logger 节点配置 <level value="INFO"> 这样的语句，root 节点中也有 priority 的配置 <logger name="com.package"> Read more ...

2014-09-28 java , log4j , log4j12 , log4j12-config

正则表达式学习笔记

从开始接触正则到现在已经过去很多年了，然而依然没有完全学会正则，每一次回顾的时候总是有很多很多的新东西。 什么是正则，看中文非常抽象，而英文 regular expression 就好理解得多，regular expression 它是一个有规律，常规的，经常需要用的表达式，究其根本就是一个用来搜索特定字符串的表达式，这个表达式遵循一定的规律，有自身的逻辑表达，通过这种通用的方式可以写出比较容易理解的搜索语句。 根据维基百科的说明 正则一词是美国数学家 Stephen Cole Kleene 于 1950s 正式使用。而这个概念则是在 1980s Read more ...

2014-09-27 regex , regular-expression , java , python , nlp

电子书

本站提供服务

文章分类

最近文章

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