Cost Semantics for Parallelism
Cost semantics is to discuss: How long do programs run (abstractly)?
Cost semantics is to discuss: How long do programs run (abstractly)?
Haskell is a dialect Algol!
Recap for Product/Sum Types
Partial Functions
Hereditary Termination and Logical Equivalence Recap
An example to start off
The main question is, how do we define two programs are equal, and how do we prove it.
Family of Types
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
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.
We state “A is true”, then “A” is a proposition, and “A is true” as a whole is a judgement.
Products
Total Programming Language
Exception and Interrupt
These notes will attempt to describe how operating systems virtualization (henceforth to be termed ``virtualization’’) is implemented. There are essentially ...
The Unix File System
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
The Kthreads Library
Synchronization
Introduction – The Bounded Buffer Problem
Race conditions and mutexes
Introduction
Cost semantics is to discuss: How long do programs run (abstractly)?
Haskell is a dialect Algol!
Recap for Product/Sum Types
Partial Functions
Hereditary Termination and Logical Equivalence Recap
An example to start off
Family of Types
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...
做一下这个没有秋葵没有灵魂的Gumbo（但是非常好吃！）
https://youtu.be/v777iWOUWEk （Playback on other websites has been disabled by the video owner）
最近根据下面的视频做了美式烧排骨，自己做了一些修改所以想记录一下
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...
Anchor-The Rapid Rise of Containers in Production
These notes will attempt to describe how operating systems virtualization (henceforth to be termed ``virtualization’’) is implemented. There are essentially ...
Software Defined Networking and The Cloud
Amazon Web Service
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...
Requirements and Comments
First post haha nima
Find the minimum r of two integers x and y
Introduction to Cache Oblivious Algorithms
Basic Quantum Computing with Least Physics Possible
Some Notes about Fibonacci Heaps
Some Notes of Introduction to Algorithm
Verifications
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.
We state “A is true”, then “A” is a proposition, and “A is true” as a whole is a judgement.
This blog talks about various data encoding methods and their advantages/limitations, along with protocols of transmitting them.
Anthoer book summary/review!
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: Two players, each makes a choice secretly and play simutaneously. And there is payoff.
Basic Definitions
There were some major updates to the infrastructure of this website so just to note them down before I forget.
Updates
Software Defined Networking and The Cloud
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 Part1-3
Profiler
The Setting
Variable Storage and Lifetime
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...