Dimethyl Blog

This is the note of CS3321 Database System Technology(数据库技术), a course offered to Grade 3 Computer Science undergraduates at SJTU focusing on mathematical principle of relational normalizations and design theory of database instead usage of database. If you focus on practical usage of database systems such as writing SQL queries and building database applications, you may consider NIS3351 Database Principle and Security (unavailable) instead. Sacastically, NIS3351 has nothing to do with database security.

Some pictures and content in this note are taken from slides, which can be checked at course homepage or homepage of Qiang Yin, the lecturer.

This blog, run by GitHub Actions and Hexo, is regularly updated. Although git commit messages provide some insight into the changes made, this log offers a more detailed overview of significant updates and modifications.

Root repository of this blog locates at Github - MingchenDai/mingchendai.github.io. You can check the changes there directly, or refer to this log for a summarized view of the updates in reverse chronological order.

Update logs are edited manually since February 2nd, 2026. Normal update of this post (including adding new update message and modifying existing commit ids) and About page will not be recorded here.

Counted by a VSCode plugin, the platform I spent the most time on is Debian via SSH remote connection from MacOS. However, Windows is still an important platform I use frequently, especially for some specific software that only runs on Windows or have requirements for a powerful GPU. This post records some issues I encountered when using Windows 11 on my Lenovo laptop, and their solutions.

As my computer is a dual-booting system with Arch Linux, some issues are related to dual-booting systems. These issues and their solutions will not appear in this post - please check Arch Linux - Windows Dual-Booting System Installation Guide for details.

This is a note of MATH1207 Probability and Mathematical Statistics (概率论与数理统计) taught at SJTU. It is originally written in Chinese to keep consistency with lecture language and translated into English later.

The note covers all contents of the course taught in 2025-2026-1 semester, including random events and probability, random variables and their distributions, numerical characteristics of random variables, joint distributions of multiple random variables, random samples and sampling distributions, estimation, and hypothesis testing.

Quick Navigation to check Common Discrete Random Variables and Their Properties and Common Continuous Random Variables and Their Properties.

This is a note for CS2501 Discrete Mathematics (离散数学) for information security major in SJTU. It is originally written in Chinese to keep consistency with the course language, and later translated to English.

Discrete mathematics mainly contains 3 parts: graph theory, logic, and set theory. Graph theory introduces basic concept of graphs, eulerian and hamiltonian paths and circuits, trees and spanning trees. Logic part introduces propositional logic and predicate logic, including syntax, semantics, equivalence, and inference. Set theory part introduces basic set concepts, relations, functions, and combinatorics.

Introduction

Installing Arch Linux is not an esay thing in any way, especially for a dual-booting system. Ensure you grasp basic skills of searching and asking questions, and basic English reading profession to read warning and error messages.

Also, this post records some issues encountered in usage of dual-booting Arch Linux and Windows systems, and their solutions. Check them in the last section Possible Issues During Normal Usage.

Steps and delicacies in 2025. See more in Masonry Collection.

Another year in postcrossing and here is the digest of 2025. Check my postcard activities at Collections/Postcards.

Slow Mail in a Fast World: 2025 Overview

The transition from high school to university is often described as a leap, but for me, it felt more like a shift in time zones. Suddenly, the rhythm of life accelerated. Looking back at the Spring semester of 2024 and the Fall semester of 2025, the blur of academic rigors, orientation events, and the sheer mental load of “First Year” adjustments took center stage.

Here is a digest of the postcrossing postcards I’ve sent in 2024. My postcard activities can be found on Collections/Postcards.

This post introduces how to display a postcard map in a Hexo blog using data exported from Postcrossing or in a custom format.