OS Design
While reading The UNIX Haters Handbook I realized that there exists much knowledge that has not been implemented in unix, nor any other os. I should campaign for the creation of an API that developers...
View ArticleThe Good IR
This post is part of a seres: The Good IR (BasicBlocks and control flow instructions) The Good IR: Other Control Flow Structures The Good IR: Instructions and Values The Good IR: Reporting Semantic...
View ArticleThe Good IR: Other Control Flow Structures
This post is part of a seres: The Good IR (BasicBlocks and control flow instructions) The Good IR: Other Control Flow Structures The Good IR: Instructions and Values The Good IR: Reporting Semantic...
View ArticleThe Good IR: Instructions and Values
This post is part of a seres: The Good IR (BasicBlocks and control flow instructions) The Good IR: Other Control Flow Structures The Good IR: Instructions and Values The Good IR: Reporting Semantic...
View ArticleThe Good IR: Reporting Semantic Errors via Type Checking
This post is part of a seres: The Good IR (BasicBlocks and control flow instructions) The Good IR: Other Control Flow Structures The Good IR: Instructions and Values The Good IR: Reporting Semantic...
View ArticleThe Good IR: Multiple Returns
This post is part of a seres: The Good IR (BasicBlocks and control flow instructions) The Good IR: Other Control Flow Structures The Good IR: Instructions and Values The Good IR: Reporting Semantic...
View ArticleIncremental Refinement
I’ve noticed that a great mechanism for learning and improving is via step-wise incremental refinement. I just want to record some of the places in which we can see this underlying (and powerful)...
View Article