My name is Aaron Hsu, and I'm a computer scientist. I'm changing the way people look at computing and programming languages, what they can do with them, and how they do it.
The Co-dfns compiler relies heavily on a workflow that leverages a number of technical documents to coordinate the various development processes, as well as supports the careful, stepwise refinement of a Function Specification into a compiler design which can be trusted and relied on. In existing Increments, the compiler as
What does it look like to edit text like a pro using the ed(1) text editor? We all know that ed(1) is the standard editor, but it seems like most people don't know what it looks like to actually use the editor in practice! I've taken the liberty
As researchers, developers, writers, or other information and content producers, we create written works in one fashion or another. The goal, usually, is to disseminate this information widely and to an audience in a consumable way that improves their sphere of knowledge in an useful way. In the current world