归档
总共 215 篇文章
2022 60 篇
- 08-01 Linux Kernel 00 - Introduction
- 08-01 Linux Kernel 01 - Build and Run a Tiny Linux Kernel on QEMU
- 08-01 Linux Kernel 01 - Debug the Linux Kernel
- 08-01 Linux Kernel 02 - Build a More Complete Small-scale Kernel
- 08-01 Linux Kernel 01 - Kernel Configuration Overview
- 08-01 Linux Kernel 02 - System Calls
- 06-01 Python 01 - Summary of Basic Syntax (unfinished)
- 06-01 Python 88 - String
- 06-01 Python 88 - String Formatting
- 06-01 Python 02 - Data Structures (unfinished)
- 04-01 Reading Notes - System Performance
- 04-01 FUCK-ELF
- 03-01 C 10 - Introduction to GCC Extensions
- 03-01 C 11 - GCC Inline Assembly (unfinished)
- 03-01 make 08 - Text Transform Functions
- 03-01 Software Analysis 00 - Introduction
- 03-01 Software Analysis 00 - Theoretical Fundations
- 03-01 Software Analysis 00 - Pointer Analysis
- 03-01 Program Verification 00 - Introduction
- 03-01 Program Verification 02 - Operational Semantics
- 03-01 Program Verification 01 - Basic Logic
- 03-01 Program Verification 02 - Linear Temporal Logic (unfinished)
- 03-01 Program Verification 04 - Separation Logic (unfinished)
- 03-01 Program Verification 03 - Hoare Logic
- 03-01 Program Verification 04 - Weakest Precondition
- 03-01 Program Verification 05 - Guarded Command
- 03-01 Reading Papers 00 - Related Works
- 03-01 Reading Papers 01 - Model Checking
- 03-01 Reading Papers - Directed Fuzzing
- 03-01 Reading Papers - Black-Box Fuzzing
- 03-01 Reading Papers - White-Box Fuzzing
- 03-01 Reading Papers - Grey-Box Fuzzing
- 03-01 Reading Papers - Fuzzing Temp
- 03-01 Reading Papers 03 - Symbolic Execution
- 03-01 Reading Papers 04 - Verification
- 03-01 Reading Papers 01 - Concurrency Testing
- 03-01 Reading Papers 02 - Crash Consistency
- 03-01 Reading Papers - Fuzzing Overview
- 03-01 Reading Papers 10 - System Design
- 03-01 Reading Papers 20 - Others
- 01-01 Python 00 - Introduction
- 01-01 Python 99 - Summary of Piecemeal Knowledge (unfinished)
- 01-01 x86 00 - Introduction
- 01-01 x86 01 - Basic Concept
- 01-01 riscv 00 - Introduction
- 01-01 gdb 00 - Introduction
- 01-01 gdb 88 - Useful Macro Definitions
- 01-01 gcc 88 - Tips and Tricks of Usage (unfinished)
- 01-01 gdb 99 - Debugging glibc with Source Code
- 01-01 Ubuntu 00 - Introduction
- 01-01 QEMU 00 - Introduction
- 01-01 Docker 88 - Learning Notes
- 01-01 QEMU 88 - Debug with QEMU Monitor
- 01-01 QEMU 88 - Useful Command-line Options
- 01-01 Git 00 - Introduction
- 01-01 Docker 00 - Introduction
- 01-01 Git 01 - Initialization
- 01-01 Git 0X - GitHub Access Authentication
- 01-01 VSCode 88 - Summary of Piecemeal Knowledge
- 01-01 Xv6 00 - Introduction
2021 12 篇
- 12-01 C 03 - Scope and Lifetime
- 12-01 C 04 - Organizing Multiple Source Files (unfinished)
- 12-01 C 04 - Summary of Piecemeal Knowledge (unfinished)
- 12-01 C 05 - Improve Your Code with [typedef] (unfinished)
- 12-01 C 06 - Macro (unfinished)
- 12-01 C 05 - More about Input and Output (unfinished)
- 09-01 Bash 00 - Introduction
- 09-01 Bash 01 - Getting Started
- 06-01 个人简历
- 06-01 Curriculum Vitae
- 05-01 LeetCode 0094 - xxx
- 04-01 C 06 - More about the Structure Type
2020 80 篇
- 08-29 LeetCode 0099 - Recover Binary Search Tree
- 08-29 LeetCode 0100 - Same Tree
- 08-28 LeetCode 0097 - Interleaving String
- 08-28 LeetCode 0098 - Validate Binary Search Tree
- 08-27 LeetCode 0095 - Unique Binary Search Trees II
- 08-27 LeetCode 0096 - Unique Binary Search Trees
- 08-26 LeetCode 0093 - Restore IP Addresses
- 08-25 LeetCode 0091 - Decode Ways