Build Arch Linux in an existing GNU/Linux without downloading any binary files
Repositories
tianyicui repositories
Wrap Gemini CLI, Antigravity, ChatGPT Codex, Claude Code, Qwen Code, iFlow as an OpenAI/Gemini/Claude/Codex compatible API service, allowing you to enjoy the free Gemini 2.5 Pro, GPT 5, Claude, Qwen model through API
Dynamic Programming: Foundations and Principles
Reading Notes of Elements of the Theory of Computation
$HOME/Gentoo/etc
H-99: Ninety-Nine Haskell Problems
Notes and programs when reading Land of Lisp
Answer to life, universe and everything
Install Arch Linux in a chroot jail of another GNU/Linux (currently it's a working prototype)
Programming Languages: Application and Interpretation
My reading note of Pattern Recognition and Machine Learning
x86-64 assembly as a Haskell EDSL
The non-trivial programs and exercises from the book Programming in Haskell.
The Art and Theory of Dynamic Programming
AUR packages I've been working on
scripts help chinese netizen, who uses vpn to combat censorship, by modifying the route table so as routing only the censored ip to the vpn
VS Code in the browser
Selected Dragon Book exercise solutions
A script help you to install gentoo-prefix on Linux, tested on Debian/Squeeze