Cost Semantics for Parallelism
Cost semantics is to discuss: How long do programs run (abstractly)?
Categories
- Programming Language Theory 14
- Cooking 14
- Operating System 10
- Type Theory 8
- Cloud Computing 6
- Random 5
- Algorithm 5
- Proof Theory 3
- Distributed System 3
- Interpreter 2
- Game Theory 2
- Jekyll 2
- Software-Defined Networking 1
- Virtualization 1
- Programming Languages 1
- Virtual Machine 1
- Compiler 1
- Profiler 1
- Statistics 1
- Garbage Collection 1
- Category Theory 1
Programming Language Theory
Imperative Programming - Algol
Haskell is a dialect Algol!
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.
Basic Computational Type Theory
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...
Sequent Calculus
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.
Sum and Product Types
Products
Basic Programming Language Theory
Total Programming Language
Cooking
越南Style蒜酱
原材料
Crème Brûlée
Recipe from https://www.seriouseats.com/creme-brulee-recipe-7107199
Gumbo without Okra
做一下这个没有秋葵没有灵魂的Gumbo（但是非常好吃！）
Risotto偷懒版
https://youtu.be/v777iWOUWEk （Playback on other websites has been disabled by the video owner）
Oven Baked St. Louis Spare Ribs
最近根据下面的视频做了美式烧排骨，自己做了一些修改所以想记录一下
Operating System
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
System Calls
Kthreads
The Kthreads Library
Semaphore
Synchronization
Condition Variables
Introduction – The Bounded Buffer Problem
Race Conditions
Race conditions and mutexes
Introduction to Threads
Introduction
Type Theory
Cost Semantics for Parallelism
Cost semantics is to discuss: How long do programs run (abstractly)?
Imperative Programming - Algol
Haskell is a dialect Algol!
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
Basic Computational Type Theory
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...
Cloud Computing
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...
Some Slides about Containers
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
Some Recent Updates
Add support for TOC in my Jekyll theme
Some personal updates
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...
Remote Shell Session Setup: iTerm2+tmux+mosh
Requirements and Comments
First post
First post haha nima
Algorithm
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
Fibonacci Heap
Some Notes about Fibonacci Heaps
Introduction to Algorithm
Some Notes of Introduction to Algorithm
Proof Theory
Sequent Calculus
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.
Distributed System
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...
Interpreter
Python Global Interpreter Lock (GIL)
Introduction
Interpreter Optimization
Interpreter
Game Theory
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
Website Infrastructure Updates
There were some major updates to the infrastructure of this website so just to note them down before I forget.
Jekyll Search Solutions
Updates
Software-Defined Networking
SDN Introduction
Software Defined Networking and The Cloud
Virtualization
Operating System Virtualization
These notes will attempt to describe how operating systems virtualization (henceforth to be termed ``virtualization’’) is implemented. There are essentially ...
Programming Languages
Programming Language Virtual Machine
Virtual Machine
Virtual Machine
Programming Language Virtual Machine
Virtual Machine
Compiler
Dynamic Compilation
Dynamic Compilation Part1-3
Profiler
Program Profiling
Profiler
Statistics
Markov Chains
The Setting
Garbage Collection
Garbage Collection
Variable Storage and Lifetime
Category Theory
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...