Tags

Programming Languages

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 ↑

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 ↑

Slides

Back to Top ↑

Thread

Kthreads

17 minute read

The Kthreads Library

Semaphore

20 minute read

Synchronization

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 ↑

Math

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...

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 ↑

酱汁

葱蒜酱

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 ↑

Logic

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 ↑

Philosophy

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 ↑

Books

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 ↑

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 ↑

猪肉

烤叉烧

less than 1 minute read

Oven Baked St. Louis Spare Ribs

less than 1 minute read

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

Back to Top ↑

甜点

Crème Brûlée

less than 1 minute read

Recipe from https://www.seriouseats.com/creme-brulee-recipe-7107199

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 ↑

Blog

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 ↑

牛肉

Back to Top ↑

米饭

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)

Back to Top ↑

Syscall

Back to Top ↑

Memory

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.

Back to Top ↑

File System

File System

7 minute read

The Unix File System

Back to Top ↑

AWS

Back to Top ↑

IaaS

Back to Top ↑

SDN

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 ↑

Container

Back to Top ↑

PaaS

Back to Top ↑

Virtual Machine

Back to Top ↑

Compiler

Back to Top ↑

Profiler

Back to Top ↑

赫炎

Back to Top ↑

Quantum

Back to Top ↑

Statistics

Back to Top ↑

Mosh

Back to Top ↑

iTerm

Back to Top ↑

tmux

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 ↑

GIL

Back to Top ↑

CMS

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 ↑

Netlify

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 ↑

饮料

Back to Top ↑