# Archives

## Crème Brûlée

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

## Risotto偷懒版

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

## Oven Baked St. Louis Spare Ribs

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

Add support for TOC in my Jekyll theme

## 2021

Just want to give a brief updates on my current status. I moved from Bay Area working for Arista Networks to Irvine@Orange County@SoCal working for Amazon on...

## Data Encoding and Transmission- Part 2 of Designing Data-Intensive Applications

This blog talks about various data encoding methods and their advantages/limitations, along with protocols of transmitting them.

## Data Models, Querys, and Storage - Part 1 of Designing Data-Intensive Applications

Anthoer book summary/review!

## Streaming Systems

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

## Cost Semantics for Parallelism

Cost semantics is to discuss: How long do programs run (abstractly)?

## Recursive Types

Recap for Product/Sum Types

## Recursive Programs

Partial Functions

## Parametricity - Logical Equivalence for Polymorphic Types

Hereditary Termination and Logical Equivalence Recap

## Polymorphic Functional Programming

An example to start off

## In Searching Counter Examples for Ramsey Number

This is a project I did in my undergrad, so I might forget some of the details. Also some of the design choices might seen stupid for now, but I am writing t...

Introduction

## Introduction to Category Theory

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

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

Family of Types

## Type Theory Foundations

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

Verifications

## Computational Interpretations

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

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

Products

## Basic Programming Language Theory

Total Programming Language

## Matrix Game Theory

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

## Combinatorial Game Theory

Basic Definitions

The Setting

## System Signals

Exception and Interrupt

## Bit Hacks

Find the minimum r of two integers x and y

## Cache Oblivious Algorithms

Introduction to Cache Oblivious Algorithms

## Basic Quantum Computing

Basic Quantum Computing with Least Physics Possible

## Introduction to Algorithm

Some Notes of Introduction to Algorithm

Profiler

## Dynamic Compilation

Dynamic Compilation Part1-3

Interpreter

## Programming Language Virtual Machine

Virtual Machine

PaaS

Anchor-The Rapid Rise of Containers in Production

## Operating System Virtualization

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

## SDN Introduction

Software Defined Networking and The Cloud

## AWS Introduction

Amazon Web Service

## File System

The Unix File System

## Memory Management

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

System Calls

Synchronization

## Condition Variables

Introduction – The Bounded Buffer Problem

## Race Conditions

Race conditions and mutexes