吊顶

Posts

Though life is hard, I want it to be boiling.

    评论系统、新式卡片和更多,10月博客迭代日志

    天高海阔,金秋送爽。10 月的新加坡依旧炎热。本博客系统迎来了又一次大更新。基于 GitHub Issue 的评论系统、现代的卡片式设计、标签功能的全面进化,这一次的更新内容丰富。我将从产品、设计、程序员三个角度阐述这次更新的几个要点。

    中文博客排版实践

    中文写作是一种享受。本文主要介绍本博客系统在中文排版上的思考与实践。

    Asynchronous Mutex (协程互斥锁)

    Asynchronous programs can also be applied on multi-thread system through "thread pool". However, using mutex in it might be a problem.

    Using QEMU to run Linux images on M1 Macbook

    As a student who is fond of system programming, I always want to develop Linux kernel directly on the M1 Macbook without nested VMs. This blog is a set-up tutorial of the developing environment. The target is to run a Linux kernel in the QEMU on macOS with Apple Silicon.

    Alligator In Vest - My first research work

    Now I am going to introduce our recent work. We call it "Investigator". Investigator uses hardware features to diagnose concurrency bugs on Arm.

    Use iTerm2 and zsh

    Developers should chase beauty and efficiency! Use a fantastic and productive terminal is better for developing great apps.

    几个 LaTeX 插件的使用心得

    理工科学生一般都会使用 LaTeX 写作。本文总结了一些在写论文期间遇到的较为复杂的 LaTeX 问题。

    Variance in Rust (Rust 中的协变、逆变与不变)

    I’m watching Jon Gjengset’s live coding stream. And the topic is “Subtyping and Variance”. This is my note.

    macOS 的键盘改键方案

    个人自用改键方案。效率提升巨大,且不与编辑器、IDE 的快捷键冲突。

    理解 Rust 泛型特征 (Generic Trait)

    在 Rust 中,特征(trait)也可以是泛型。引入泛型特征,一是希望特征不受具体类别的限制,二是希望特征具有更广泛的约束性。