Away From Keyboard
Home
About
Posts
Tags
Projects
RSS
░
cat
~/tags/Programming
[25 POSTS]
2026/10/15
Merge the Folds: A Binary Counter Over the Title List
2026/10/10
Real Async in Codemode: A Proved Scheduler, and Where I Part Ways With opencode
2026/10/10
Codemode Without a Sandbox: Why I Kept opencode's Evaluator and Replaced Its Scheduler
2026/09/28
One Buffer, One Window: The Emacs Client for My Agent
2026/09/28
Fold, Don't Compress: Let the Agent Close Its Own Parentheses
2026/09/28
How Coding Agents Draw Their Input Box
2026/09/27
A Proved Core Inside a TypeScript App
2026/09/18
One Value, One Owner — Reading Bend Through Affinity
2026/09/08
Agent 的 grep 缺什么：排序远比匹配重要
2026/08/19
Rendering Mermaid Without a Browser: mmdc vs mermaidx vs merman
2026/08/18
Lisp 早就能改自己了，可它从来不会撤销
2026/08/11
什么语言最适合 LLM 生成代码？数据、迷思与我的 Lisp 体验
2025/12/27
What I've Learned Writing Gleam
2025/03/24
django-migration-notes
2025/03/21
Django gRPC workflow
2025/01/12
Python Integer Hashing
2024/12/01
Avoiding Offensive Strings in Random Name Generation
2024/10/28
programming concepts in SQL
2024/10/28
refreshing SQL skills
2024/08/21
transducer
2024/07/25
focus on concrete problem
2024/07/24
using record as dict key in Gleam
2024/07/01
Usage of Result type in Gleam/Rust
2024/06/30
Rust Compilation Failed on Apple Silicon MacBook
2023/11/23
Goto in C programming language