October 2023
M T W T F S S
« Sep    
 1
2345678
9101112131415
16171819202122
23242526272829
3031  

Categories

Archives

Archives

Incremental 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) approach:

Evolution. Each generation represents a random perturbation from the current generation. The perturbation is incremental by the process of genetic recombination. […]

The 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 Errors via Type Checking The Good IR: Multiple Returns —–

Why Have Early Returns?

I’ve been meaning for awhile now to do […]

The 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 Errors via Type Checking The Good IR: Multiple Returns —–

It’s actually, quite fascinating: not only is type-checking relatively simple to do, […]

The 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 Errors via Type Checking The Good IR: Multiple Returns ——

It’s taken some time, but I think I’ve arrived at a reasonable […]

The 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 Errors via Type Checking The Good IR: Multiple Returns —- In my last post on The Good IR, I had arrived at […]

The 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 Errors via Type Checking The Good IR: Multiple Returns —- After parsing, each function can be represented as a ControlFlowGraph of BasicBlocks. […]

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 must adhere to in order to have their code added to the system. It should start with using/creating a high-level […]