# Categories

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

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

## System Signals

Exception and Interrupt

## Operating System Virtualization

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

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

Introduction

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

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

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

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

## Random

Add support for TOC in my Jekyll theme

Just want to give a brief updates on my current status. I moved from Bay Area working for Arista Networks to [email protected] [email protected] working for Amazon on...

## First post

First post haha nima

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

## Risotto偷懒版

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

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.

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

Introduction

Interpreter

## Matrix Game Theory

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

## Combinatorial Game Theory

Basic Definitions

## Jekyll

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

## SDN Introduction

Software Defined Networking and The Cloud

## Operating System Virtualization

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

Virtual Machine

Virtual Machine

## Dynamic Compilation

Dynamic Compilation Part1-3

Profiler

The Setting

## Garbage Collection

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