From eb318b3ab081a9bf6591775a9c4c948e819cc887 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Thu, 19 Jul 2018 13:05:48 -0700 Subject: 4370 --- subx/Readme.md | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'subx') diff --git a/subx/Readme.md b/subx/Readme.md index 2d2031cd..77f338ad 100644 --- a/subx/Readme.md +++ b/subx/Readme.md @@ -12,16 +12,18 @@ and libc.) walk before I try to run. The plan: start out using the computer only to check my program for errors rather than to hide low-level details. Force myself to think about security by living with raw machine code for a while. - Reintroduce high level languages only after confidence is regained in the - foundations. Delegate only when I can verify with confidence. + Reintroduce high level languages (HLLs) only after confidence is regained + in the foundations. Delegate only when I can verify with confidence. 2. The software in our computers has grown incomprehensible. Nobody understands it all, not even experts. Even simple programs written by a single author require lots of time for others to comprehend. Compilers are a prime example, growing so complex that programmers have to choose to - either program them or use them. I'd like to explore how much of a HLL I - can build without an optimizing compiler, and see if the result is more - comprehensible by others. ([More details.](http://akkartik.name/about)) + either program them or use them. I think they may also contribute to the + incomprehensibility of the stack above them. I'd like to explore how much + of a HLL I can build without a monolithic optimizing compiler, and see if + deconstructing the work of the compiler can make the stack as a whole more + comprehensible to others. 3. I want to learn about the internals of the infrastructure we all rely on in our lives. -- cgit 1.4.1-2-gfad0