Why I Increasingly Prefer Working on Linux
A post from Tibo got me thinking about sharing a computer with AI agents
While scrolling through X, I came across a short post from Tibo.
[Read More]
Jev and Fast and Slow Thinking
Why I am interested in the System One idea, but still waiting before using it
Jev appeared on September 15, and within a few days it was everywhere in the developer conversations I follow. TypeSafe AI describes it as the first public System One model. It receives a state and a set of typed questions, then returns choices, scores, or yes-and-no probabilities that software can...
[Read More]
Understanding Convex Sets, Combinations, and Hulls
From a line segment to a proof that all convex combinations form the convex hull
I studied linear algebra and became reasonably comfortable with the calculations. Recently, the statement that all convex combinations form the convex hull made me pause. A rubber band around a collection of points was easy enough to picture. The sum of weighted vectors left several steps I wanted to understand....
[Read More]
BrowserSkill Lets Your AI Agent Use Your Signed-In Browser
Keep your existing accounts and extensions while the agent works in a separate Agent Window
If you already use an agent such as Codex or Claude Code and want it to help with everyday website tasks, I recommend trying Tencent’s open-source BrowserSkill.
[Read More]
Giving My Linux AI Agent Its Own Desktop
Testing native computer-use tools, then isolating GUI work with QEMU/KVM
If an AI agent operates my computer, can I keep using it too?
[Read More]
How I Organize Context and Tools in Codex
Connecting project guidance, task execution, and verification through a blog reading-time fix
In my previous post, The Codex Skills I Recommend Right Now, I divided my Codex environment into three layers.
[Read More]
The Codex Skills I Recommend Right Now
Chosen for practical workflows in research, engineering verification, and content work
Four months ago, I wrote down a list of Codex Skills I recommended. Back then, I was still choosing them mostly by name, and when I was getting started, I cared a lot about how many I had collected. Names like web-access, mem-search, and humanizer looked like permanent keepers. In...
[Read More]
Setting Up a V2Ray Proxy Client on a Linux Cloud Server
Install v2ray-core and manage its process and proxy environment variables with a shell script
For a brand new domestic Linux cloud server, network issues are often a significant obstacle that limits our learning and research. Similar to PCs, we can completely utilize proxies on cloud servers to resolve network issues and facilitate scientific research progress.
[Read More]
Setting Up GitHub SSH Authentication on Windows
Manage keys in Git Bash, add your public key, and test the connection
GitHub does not accept account passwords for Git operations over HTTPS. HTTPS can use a token or a credential manager; SSH uses a key pair. These are separate from signing in to the GitHub website. This post follows the SSH route on Windows with Git Bash, from generating a key...
[Read More]
An Introduction to Code Review
Review goals, feedback practices, and the role of GitHub pull requests
Code review involves reading and discussing source code to identify bugs and maintainability issues. It typically happens before a change is merged into the main codebase.
[Read More]
Why I Started Blogging
Starting with Blog-Driven Development to make sense of what I learn
It is the early morning of May 19, 2024, and the first personal blog will be written at this time, I think I will remember this moment forever.
[Read More]