Verne in GitHub

Go 语言学习笔记 3：基础类型

和大多数强类型语言一样，Go 也有自己基本的类型系统。Go 语言的类型大致可以分为四大类： basic types 基础类型（basic types）包括 numbers,strings,booleans aggregate types 聚合类型（aggregate types）包括 arrays , structs reference types 引用类型（reference types) 包括不同组，包括 pointers , slices, maps, functions, channels ，他们都是程序变量或者状态的引用 Read more ...

2018-10-19 golang , programming

服务器监控整理

手上的 VPS 多余一台的时候总是想着通过一个统一的界面来监控管理。 需要监控的项 VPS 及服务在线时间 从某地到该 VPS 的 ping 值稳定程度 [[smokeping]] 该 VPS 各项资源的使用情况，包括 CPU，内存，IO，网络带宽使用 之前也有分享过两个很不错的服务器监控程序 nodequery 和 netdata。之后又陆陆续续发现了其他一些不错的监控程序，所以就顺手整理一下。 商业方案，也就是提供服务在线监控，并且如果超过一定使用量向用户收取一定费用的服务： [[SyAgent]] [[EHEH] Read more ...

2018-10-18 server , monitor , collection , linux

由 WebM 格式学习常见的容器和编码格式

因为使用 YouTube 所以接触到了 WebM 格式，这个格式 Google 开源的一个媒体容器格式，常见的文件后缀名是 .webm，他设计的目标是为了给 HTML5 提供视频和音频。Google 发起的 WebM 项目还有一个姊妹项目 WebP 是提供图像编码的。BSD 协议开源。1 编码格式和容器格式 我们平常所见的媒体格式，有 avi，mp3，mp4，mkv 等等，但是这些都是媒体文件容器的扩展，WikiPedia 有一份比较完整的媒体容器列表，在这份列表中我们也能看到其实 webm 格式就是 Matroska 容器的一层“皮”，mkv 格式也 Read more ...

2018-10-17 webm , youtube , google , video , ffmpeg , mp4

读万字访谈后感：软硬件公司的差别

9 月份一次出门在路上看了这篇万字采访，这篇文章主要以 Osterloh （Google 硬件部门 Leader）为脉络梳理了 Google 这几年在 硬件方面的尝试。文章中的观点并不是那么直白，但是看完却有一股气憋在心中不得不抒。作为用 Google 产品这么多年的忠实用户，Galaxy Nexus，Nexus 6 也是陪我度过了很多年，而 Google Glass 当年如何的红火，但是不得不说在 Google 在硬件确实不如其软件行业的发展，现在音箱被 Amazon Echo 压着打，手机不管是 Nexus 还是 Pixel 丝毫无法动摇 iPhon Read more ...

2018-10-16 google , apple , amazon , software , hardware , android

Jupyter 简单使用

Jupyter 是一个为了支持多语言交互式编程的项目， Jupyter Notebook 是一个开源的网络程序，允许用户创建和分享包含代码，视图，方程式，文本的文档。 Notebook documents 是应用产生的文档 Jupyter Notebook App 是一个服务端应用，可以让用户在浏览器编辑和运行 notebook documents Notebook Kernel 是计算引擎，执行 Notebook document 中的代码 Dashboard 控制面板 Jupyter 支持超过 40 中编程语言，可以轻松通过各 Read more ...

2018-10-13 jupyter , python

GraphQL 初识

在开发服务端接口的时候接触到 GraphQL 这个名词，故而有了这篇文章。因为初始，所以整理过程难免有些错误和疏漏，请留言告知。在我们面对一个新的名词，或者一门新的技术时，了解的过程可以分成这么几部分，他是什么，他解决了什么问题，他和目前同类型的技术相比优势在哪里，这样几个部分去看也就能够比较粗略，但是快速的了解一样新东西了。所以这篇文章的组织结构也以这样的方式进行。 GraphQL 是什么 GraphQL，很容易让人想起来 SQL，其实也很类似，可以理解为是一门查询语句，但和 SQL 不同的是，SQL 是查询关系型数据库，而 GraphQL 是查询 Read more ...

2018-10-12 graphql , restful , api , github , facebook

MySQL 配置优化

开启慢查询日志 查看慢查询日志 show variables like '%slow_query_log%'; set global slow_query_log=1; 使用上述方式修改，重启 MySQL 后修改丢失，如果要永久生效，需要修改 my.cnf 文件 slow_query_log = 1 slow_query_log_file = /tmp/mysql_slow.log Read more ...

2018-10-11 mysql , sql

Go 语言学习笔记 2：基本结构

和大部分编程语言一样，Go 也有很多内置关键字，下面这些关键字和语法相关，不能用于定义。 break case chan const continue default defer else fallthrough for func go goto if import interface map package range return select struct switch type var 三大类预定义的关键字 分类 关键字 Constants: Read more ...

2018-10-10 go-lang , google , programming

go 语言学习笔记 1：基本介绍和使用

Go 语言特性： 静态语言 函数支持多返回值 错误处理机制 支持语言并发 面向对象：使用类型，组合，接口来实现面向对象思想 反射 CGO，可以调用 C 语言实现的模块 自动垃圾回收 静态编译 交叉编译 BSD 开源协议 并发 Go 语言在语言级别支持[[Coroutine|协程]]，叫 [[Goroutine]]。Go 语言标准库提供的所有系统调用 (syscall) 操作，当然也包括所有同步 IO 操作，都会出让 CPU 给其他 goroutine Go 语言推荐采用“Erlang 风格的并发模型” Read more ...

2018-10-09 golang , google , java , programming

跨平台开源卡片记忆工具 Anki

在最开始了解到这个应用的时候，我无法简单地用一句话来形容这个应用，大部分人将它称为背单词软件，单词记忆应用，部分人有拿他作为知识管理应用，甚至有人拿他来学习乐谱，诗歌，但总之如果要用简单的话来描述这个软件，那么跨平台必定是关键词，另外一个关键词就是卡片（flash card），在另外一个就是循环记忆，那么至于卡片上承载什么样的内容，就完全由用户来决定了。 德国心理学家[[莱特纳]]在 1970 年出版了他一部重要的著作《How to learn to learn》，他在这本书中引用艾宾豪斯的遗忘曲线，发明了「莱特纳系统」，也就是「间隔式复习」的方法，让 Read more ...

2018-10-05 anki , learning , notes , english , language-learning , english-learning

电子书

本站提供服务

文章分类

最近文章

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