Verne in GitHub

学习使用 MarkDown 语言进行写作

MarkDown 语言是什么 MarkDown 语言发明的初衷就是让互联网发布内容易读易编写,它用一种简单的语法将文字内容组织,转变成 HTML 语言发布在互联网上 官网 使用 MarkDown 这种语言的契机是想要给极客公园投稿,在回复的邮件中他们提到了这种语言。在简单了解之后简单的看了下它的语法。在他们的回复邮件中他们还给出了一个文章的模板—- 可能吧。大家应该还记得可能吧每篇文章的排版模式吧!想当初禅叔应该就是用这种方式去写作的吧。使用 MarkDown 写作让你全心全意的专注在写作的过程中,不必关注格式,排版,这就是这门语言发明的初衷。其他具体 Read more ...

2013-11-01 markdown

modify build prop to get Ultra Strike

RE管理器修改/system/build.prop 如下图所示 By Tony Zhao 保存,重启,清空ingress数据 Read more ...

2013-10-31 Ingress

add auto complete

###add auto complete Preference->Java->Editor->Content Assist->Auto activation triggers for java . Then change “.” to “.abcdefghijklmnopqrstuvwxyz” Read more ...

2013-10-31 Ingress

Movie CSE for douban

脚本地址:http://userscripts.org/scripts/show/175005 Find useful movie download link from Google Custom Search Engine 通过 Google 自定义搜索引擎为豆瓣电影添加下载资源链接 参考豆瓣电影下载插件 by ratwu 将 Google Custom Search Engine 中找到的资源链接在豆瓣电影页面显示 Google CSE 地址: https://www.google.com/cse/home?cx=013193653470 Read more ...

2013-10-28 cse , 豆瓣 , douban , userscript

JDK 和 Tomcat 配置

这些天重装系统,好多东西都要重来,装系统倒是不麻烦,麻烦的是好多编程工具需要配置环境变量。这里就当作是备忘吧。以防止以后还需要。 JDK 是什么 Java Development Kit(JDK)是 Sun 公司针对 Java 开发人员发布的免费软件开发工具包(SDK,Software development kit). 普通用户并不需要安装 JDK 来运行 Java 程序,而只需要安装 JRE(Java Runtime Environment). 而程序开发者必须安装 JDK 来编译、调试程序。—-from Wikipedia JDK 下载地址 Read more ...

2013-10-09 java , jdk , tomcat , knowledge

Gelaxy Nexus Verizon 折腾

这两天入手一电信版 Galaxy Nexus(i515,Galaxy Nexus Verizon), 买的时候就是叫商家刷的 CM 的系统,回来一看还算满意,CM10.2 8 月份的版本,Android 4.3 很新,唯一让我不爽的就是 3G 有问题,一方面上不去 ingress, 一方面在开启 3G 情况同时开启 WIFI, 关闭 WIFI 之后 3G 就再也连接不上去了。于是我根据商家给的 ROM, 找论坛,Google, 折腾一下午才算有点眉目。 商家给的刷机包名称 (cm-10.2-20130803.1043-SKANK-toro.zip), Read more ...

2013-09-22 nexus , galaxy , google

域名解析 DNS

DNS 服务器 DNS 叫做域名解析服务,DNS 服务器在现在的网络环境中有着非常重要的作用,DNS 服务器扮演的角色就是将你在地址栏中输入的域名(比如,www.google.com) 解析成 IP 地址,然后通过 IP 地址去访问该网站,所以解析域名的快慢直接影响到你访问网站的速度. 所以 Google 在 2009 年推出了 Google 的 DNS 解析服务 DNS 劫持 DNS 劫持就是通过劫持了 DNS 服务器,通过某些手段取得某域名的解析记录控制权,进而修改此域名的解析结果,导致对该域名的访问由原 IP 地址转入到修改后的指定 IP,其结果 Read more ...

2013-09-21 google , dns , web

电信写号三码与五码

3 码包括哪些? ESN、IMSI、AKEY 5 码包括哪些? 五码分别是:IMSI,AKEY, ESN,AN,AAA。 ESN、IMSI、AKEY、AN/AAA 账号、AN/AAA 密码 3 码 5 码有什么作用? 几个术语 ESN ESN 是电子序列号Electronic Serial Number的缩写,这个码应该叫做机器码的,国外的机卡一体机在国外入网的时候,一般将机器自带的机身 ESN 码提供给运营商的,运营商就是根据用户的机身 esn 为基础,然后加入其它的数据使电话正常使用的。我们在国内见到的 cdma 机器都有 ESN 码的, Read more ...

2013-09-20

防止Android刷机变砖

了解名词术语 Bootloader Bootloader是一个启动加载程序,负责系统硬件的初始化工作,也是刷机工作的第一道坎。大部分厂商采用了锁Bootloader的方式 来阻止用户刷机,用户如果想要刷第三方固件就必须对Bootloader进行解锁,由于Bootloader加密算法较为复杂,所以解锁就变成了一件困难事,部分厂商因用户不满最终妥协,提供了官方的解锁途径,比如HTC和索尼爱立信,用户需要到官方网站进行申请然后解锁,但解锁后会失去保修,而另外一部分厂商则不提供解锁,那么解锁Bootloader就变成了一件很复杂的事,虽然有些黑客通过内外相勾 Read more ...

2013-09-12 Android , Rom , SuperUser , ClockworkMod , Fastboot , adb

AOKP vs. CyanogenMod 10.1

Similarities between both the ROMs Both are based on the latest version of Android The ability to customize Quick Settings T9 Dialer with Call Statistics Stock AOSP browser Stock Messaging App with expandable notifications LED Notification Control (Like Light Flow) Read more ...

2013-09-11 aokp , cyanogenmod

最近文章

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