Some mathematics, coding, and literature

馃憢 Welcome to Harry’s blog pages.

  • This blog is made by Hugo and Papermod, and is deployed with Github Pages.

UV for Python Project Management

Issues of Reproducibility Python is notoriously bad for reproducibility. (It is not the worst, the title of which shall be reserved, probably, for C++.) Clone any python repository with more then 1000 lines of code from GitHub and try to run it on your personal computer. The first step, which is to know which files to build and which command will execute the program, will be difficult enough. The much more difficult step, however, is to make sure your system has the correct version of python, each python package, each C library the python package rely on, and each driver and system software C library rely on. Hours could be spent without progress. ...

May 5, 2025 路 3 min 路 429 words

Error Handling in Rust

Error Handling in Rust Color Eyre This package is simply magical.

May 4, 2025 路 1 min 路 11 words

Fancy Terminal

Graphics in the Terminal If terminal leaves you an impression of dullness, black-and-white, and text-only, your impression may be wrong. Terminal is capable of producing surprisingly smooth, user-friendly, and graphical interface. Check cmatrix, btop, cava , and, may be most astounding of all, the spinning doughnut. Most of these are achieved by exploiting ANSI escaped sequence and termios POSIX standards. This post is a short summary of common functionalities. For more, check Wikipeida and termios man page. ...

May 4, 2025 路 3 min 路 471 words

Git Cheatsheet

Git Commands Multiple remote repositories git remote set-url <remote-name> --push --add <url> It seems like whenever this commmand is used, the original --push remote is removed. The work around is to use this command again and add the original --push remote url. TODO h3 for command name seems to be too large. Find a way to apply custom css only to this page. h4 seems just write for command name, it does not show in the TOC. ...

April 21, 2025 路 1 min 路 77 words

Deploy Hugo Blog site with Github Pages

Blogging with Hugo, Papermod, and Github pages is easy. (Writing the articles, of course, is a different business). This is a short guide for how to create and maintain such a website. To create a static blogging websites only requires Create the HTML, CSS, Javascript files, which are downloaded by the browser uponing entering its domain name; Obtain a domain name and host the files on a server connected to internect with this domain name. Hugo and Papermod can read the markdown files and produce stylish webpages. (That is the HTML, CSS, and Javascript files.) Github pages is a free remote service hosting the file and provide the domain name. ...

April 12, 2025 路 6 min 路 1102 words