• Home
  • About
  • Blog
  • 有用的一行脚本/命令系列
  • 其他 - 可能以后会被单独挑出来当成一篇文章的
  • 2022-01-13-MiniML writing a functional compiler from scratch - The SECD IR
  • MiniML - Writing a Functional Compiler from Scratch - Introduction
  • 闭包和 generator 在编译器里的实现——简明栗子教程
  • Inheritance, interfaces, typeclasses, delegation, modules, traits, and mixin --- Are they the same thing?
  • 学习 Go 笔记
  • 奇奇怪怪正则表达式的总结
  • CTeX 和生僻字的故事
  • 使用 overlayfs 完成工具链快速切换
  • Running xv6 on my laptop with grub
  • qemu 启动时卡在 booting from hard disk
  • Symbolic Executions, Concolic Executions?
  • REPT - Reverse Debugging of Failures in Deployed Software
  • C 语言博大精深
  • 学习 Scala 笔记
  • Java Packages
  • 简单的 epoll echo 程序
  • Extensibility, Safety and Performance in the SPIN Operating System
  • tmux, vim, ssh 复制粘贴导引
  • 学习 Rust 笔记
  • 自动升级内核模块工具设计中的几点考虑
  • Configuring Ubuntu to meet my perverted needs ;P
  • Docker -- 概念类比的入门
  • 理解文件系统
  • LDD3 笔记
  • Linux 内核中宏的神奇用法
  • 读 "The Unix Time-Sharing System"
  • 关于锁机制 -- spinlock 和 mutex, 以及 recursive lock 等
  • Semantic Patches
  • Hello World
  • Fine-grained and Accurate Source Code Differencing
  • 面向 Linux 设备驱动的内核服务需求特征研究
  • Email
  • Github
  • Bitbucket