Posts by Category

My automated Daily Health Report infrastructure

Back in the days when the Zero COVID policy was prevailing, our university introduced a Daily Health Report system. Students and faculty were mandated to submit a daily online form detailing their ...

Apr 23, 2023 6 minute read

Centralized Linux authentication with OpenLDAP

LDAP, the #1 way to get your graduation delayed (as has always been the meme around Tsinghua University), is every SysAdmin’s dream tool for their servers. As mighty as its rumors fly, LDAP takes t...

Mar 18, 2022 14 minute read

Install Proxmox VE on eMMC

Recently I bought a mini PC looking forward to setting up a home router. It started quite well except the specs were higher than I anticipated. 8 GB RAM plus 128 GB eMMC - too much waste for “just ...

Mar 1, 2022 2 minute read

New Pandora’s box: Install Linux and Windows onto the same NTFS partition

Linux 5.15 is shipped with a brand new driver for Microsoft’s classic NTFS filesystem, NTFS3. Unlike the decades-old open-source NTFS-3G project, which is based on FUSE and have always received cri...

Nov 28, 2021 5 minute read

Setting up a GitHub webhook on AWS Lambda

Last month I set up my own Telegram bot for GitHub event notification. To receive GitHub events via webhook, a receiver is needed. True, it isn’t hard to write a Flask or Sinatra server and throw t...

Feb 19, 2021 7 minute read

A Deep Dive into Containers

Since years ago, containers have been a hot topic everywhere. There are many container softwares like Docker, Linux Containers and Singularity. It’s hard to say one understand what containers are w...

Jan 31, 2021 24 minute read

Keep using Flash Player in browsers in 2021

It’s 2021 now, and Adobe Flash Player has been end-of-life after December 31, 2020. There are many cases where you want to retain it, however. For example, you may want to keep enjoying an old game...

Jan 12, 2021 2 minute read

Enabling better “Related Posts” with Jekyll

There’s a less-known feature of Jekyll that populates related_posts correctly with “related” posts, instead of the 10 latest posts when it’s disabled by default.

May 27, 2020 1 minute read

Use RSA CA Certificates with OpenSSH 8.2

OpenSSH 8.2 is coming to the latest Long-Term Service release of Ubuntu, Focal Fossa (20.04), and has some breaking changes for users using an SSH Certificate Authority.

Apr 7, 2020 3 minute read

How to change email of your Nvidia account

I recently retired a few old email addresses, and am currently going in a row to change email for accounts associated with those emails. Everything else went smoothly, with my Nvidia account being ...

Nov 22, 2019 1 minute read

Converting DFA to Regular Expression

This post originated from Lab 1 of course Compilers: Principles that I’m currently taking, in which we were required to write a flex program to parse a subset of the C language. The multiline comme...

Sep 25, 2019 1 minute read

Raspberry Pi 4 B Review and Benchmark - What’s improved over Pi 3 B+

Lately I’ve finally received my Raspberry Pi 4 (4 GB model), and I couldn’t resist the temptation to give it a try and see all the improvements that’s been reported for months.

Sep 10, 2019 9 minute read

Creating templated Systemd services

Last time I wrote an article about NAT traversal using FRP, which has been my personal solution for exposing SSH access of machines behind NAT to the internet for a long time.

Jul 16, 2019 2 minute read

How I saved a lost commit from GitHub

Earlier today I force-pushed to my repository USTC-RV-Chisel for testing purposes, without noticing that my local ref origin/master is 1 commit behind the actual master on GitHub. My friend pushed ...

Jun 7, 2019 2 minute read

Build a minimal Linux system and run it in QEMU

Linux is the #1 open-source operating system nowadays, and many people are running a Linux distro, such as Ubuntu or Arch. Linux is also the most popular choice for a server OS.

Apr 7, 2019 6 minute read

Filter manually installed packages from APT with AWK

It’s again when I want to find out what packages I have manually installed (or by a script) from the output of apt list, with all output on one line.

Mar 4, 2019 2 minute read

Bootstrapping Make

Have C or C++ project to build? You may think, “Yeah this is very easy, I’ll just call the compiler to do so”, and yes, let’s take a look at an example.

Feb 25, 2019 4 minute read

Setting up Ubuntu in VMware Workstation

A quick step-by-step guide for those wanting to get in touch with Ubuntu in a virtual machine with minimal effort. For example, at the start of a semester of Operating System Concepts course.

Feb 21, 2019 3 minute read

Programming the On-Board SPI Flash of Digilent Nexys4 DDR

This semester I have the course “Experiments of Digital Circuits”, the content of which is designing digital circuits using Vivado software, and writing Verilog code. Most of the lab papers require...

Nov 16, 2018 less than 1 minute read

Batch convert PowerPoint slideshow to PDF

The TL:DR line: If you want my script, you can get it here.

Sep 12, 2018 1 minute read

Alpha-Beta Pruning

As described in a previous article, Alpha-Beta pruning can be used to speed up minimax heuristic searching by pruning branches that will never be reached.

May 23, 2018 4 minute read

Making a Reversi game with Python

As a casual attempt to accomplish a Grand Assignment, I created a Reversi game with Python. The project is open-source on GitHub and you can view it with the link above.

May 10, 2018 3 minute read

Minimal, Complete, Verifiable Example

How to create a Minimal, Complete, and Verifiable example

Jun 7, 2018 2 minute read

Append int to std::string

For people new to template resolution and template type deduction in C++, they may have written this code and get confused why it doesn’t compile:

Aug 4, 2017 1 minute read

Some ideas about multicore on Android

Laptops have usually at most four cores, and dualcores are probably more common. I have recently switched from quadcore to dualcore and I can confirm there is a limited number of use cases for quad...

Jun 11, 2017 3 minute read

RegEx match open tags except XHTML self-contained tags

Original post: RegEx match open tags except XHTML self-contained tags by bobince on Stack Overflow

Nov 13, 2009 2 minute read

High-performance mass web crawling on AWS

The 3rd-and-last experiment of course Web Information Processing and Application required us to create a recommendation engine, and “predict” the rating (1-5 stars) for 4M user-item pairs based on ...

Dec 28, 2019 16 minute read

Joining SmokeDetector

After a plain request, an administrator of the SmokeDetector project added me under the Developers section of their team member list, which indicates that I am a known personnel for contributing a ...

Mar 14, 2018 3 minute read

I switched from Google Chrome to Microsoft Edge

Last year (maybe September? I don’t remember now) I switched my primary browser from Google Chrome to the new Microsoft Edge. It turned out to be a wise move and I’ve been with Edge for more than h...

Jun 12, 2021 4 minute read

Wolfram Mathematica 13 Key Generator Online

This page provides:

May 11, 2019 less than 1 minute read

Pairing the new Xbox One S controller (2018) with Android

I just bought an Xbox One S controller yesterday, expecting it would pair with my Android phone via Bluetooth. I have learned that the key mapping would be a bit messed up because it’s a Microsoft ...

Jun 17, 2018 1 minute read

How to crack IObit Advanced SystemCare 11.5

Aug 4, 2018 1 minute read

My speech at Microsoft Summer Camp 2019

This is a translated version from the Chinese (original) script. The slideshow can be acquired here. For comments, please head to the Chinese version of this post.

Aug 14, 2019 10 minute read