Archives

2023

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

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

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 ↑

2021

Back to Top ↑

2019

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 ↑

2018

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

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 ↑

2017

Matrix Game Theory

4 minute read

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

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

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

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

First post

less than 1 minute read

First post haha nima

Back to Top ↑