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...
Recent Posts
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
Jekyll Search Solutions
Updates
Recursive Programs
Partial Functions