Posts
//
Yet Another Explanation of (State) Monad
… and how to create a small DSL with it.
A Reading Note of The Little Typer
Doing proofs in a small dependent type language.
Implementing an On-Chip Network Router Using Good Practices
NoC router from scratch.
What does HDLs Describe and Why Chisel is a Good HDL
We want an HDL that can describe the behavior of hardware while producing efficient circuit designs.
Series: A Quick Taste of Programming Languages
The series is tend to discuss some basic concepts in PL theory and their implementation from a beginner’s perspective.