Categories

Programming Language Theory

Equational Reasoning

2 minute read

The main question is, how do we define two programs are equal, and how do we prove it.

Type Theory Foundations

3 minute read

We can think of Type Theory as being a catalog of a variety of notions of computation. The type structure determines the “programming language features”. For...

Computational Interpretations

2 minute read

Here we will talk about computational interpretations by the example of lax logic. Hope from the example we can have sense of how logic and PL are connected.

Judgements and Propositions

1 minute read

We state “A is true”, then “A” is a proposition, and “A is true” as a whole is a judgement.

Back to Top ↑

Operating System

Operating System Virtualization

34 minute read

These notes will attempt to describe how operating systems virtualization (henceforth to be termed ``virtualization’’) is implemented. There are essentially ...

File System

7 minute read

The Unix File System

Memory Management

46 minute read

This lecture will attempt to cover the various concepts that are important to the memory management functions that most operating systems must perform.

Kthreads

17 minute read

The Kthreads Library

Semaphore

20 minute read

Synchronization

Back to Top ↑

Type Theory

Type Theory Foundations

3 minute read

We can think of Type Theory as being a catalog of a variety of notions of computation. The type structure determines the “programming language features”. For...

Back to Top ↑

Cloud Computing

Operating System Virtualization

34 minute read

These notes will attempt to describe how operating systems virtualization (henceforth to be termed ``virtualization’’) is implemented. There are essentially ...

SDN Introduction

10 minute read

Software Defined Networking and The Cloud

Back to Top ↑

Random

First post

less than 1 minute read

First post haha nima

Back to Top ↑

Algorithm

Bit Hacks

2 minute read

Find the minimum r of two integers x and y

Fibonacci Heap

5 minute read

Some Notes about Fibonacci Heaps

Back to Top ↑

Cooking

Gumbo without Okra

less than 1 minute read

做一下这个没有秋葵没有灵魂的Gumbo(但是非常好吃!)

Risotto偷懒版

less than 1 minute read

https://youtu.be/v777iWOUWEk (Playback on other websites has been disabled by the video owner)

Oven Baked St. Louis Spare Ribs

less than 1 minute read

最近根据下面的视频做了美式烧排骨,自己做了一些修改所以想记录一下

Back to Top ↑

Proof Theory

Computational Interpretations

2 minute read

Here we will talk about computational interpretations by the example of lax logic. Hope from the example we can have sense of how logic and PL are connected.

Judgements and Propositions

1 minute read

We state “A is true”, then “A” is a proposition, and “A is true” as a whole is a judgement.

Back to Top ↑

Distributed System

Streaming Systems

4 minute read

I recently read through the book Streaming Systems so think it would be a good idea to write up a summary/thoughts about it. The book is recommended by 评:Str...

Back to Top ↑

Interpreter

Back to Top ↑

Game Theory

Matrix Game Theory

4 minute read

Matrix Game: Two players, each makes a choice secretly and play simutaneously. And there is payoff.

Back to Top ↑

Jekyll

Website Infrastructure Updates

3 minute read

There were some major updates to the infrastructure of this website so just to note them down before I forget.

Back to Top ↑

Software-Defined Networking

SDN Introduction

10 minute read

Software Defined Networking and The Cloud

Back to Top ↑

Virtualization

Operating System Virtualization

34 minute read

These notes will attempt to describe how operating systems virtualization (henceforth to be termed ``virtualization’’) is implemented. There are essentially ...

Back to Top ↑

Programming Languages

Back to Top ↑

Virtual Machine

Back to Top ↑

Compiler

Back to Top ↑

Profiler

Back to Top ↑

Statistics

Back to Top ↑

Garbage Collection

Back to Top ↑

Category Theory

Introduction to Category Theory

4 minute read

We can think of category theory as a generalized set theory, where in set theory we have sets and $\in$, but in category theory we have objects and arrows, w...

Back to Top ↑