diff options
| author | Kartik Agaram <vc@akkartik.com> | 2018-07-16 08:24:05 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2018-07-16 08:24:05 -0700 |
| commit | 984a109050f3491e05dae1299cf3ecf35253ed49 (patch) | |
| tree | fc3d87a926fccb2651ba7e75aa971326ef753dfb | |
| parent | c498f6cdd6477e2f40c2f940d02ab91b65b8e7fe (diff) | |
| download | mu-984a109050f3491e05dae1299cf3ecf35253ed49.tar.gz | |
4353
| -rw-r--r-- | subx/Readme.md | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/subx/Readme.md b/subx/Readme.md index cdfb1f06..b1d9cfcb 100644 --- a/subx/Readme.md +++ b/subx/Readme.md @@ -10,10 +10,8 @@ and libc.) 1. It seems wrong-headed that our computers look polished but are plagued by foundational problems of security and reliability. I'd like to learn to walk before I try to run, use the computer only to check my program for - errors and not hide low-level details. That may simplify the hard problems. - It adds to the burden of the programmer, but computers have been failing to - relieve the programmer entirely. Our abstractions so far leak at - inopportune times. + errors rather than to hide low-level details. This approach adds to the + burden of the programmer, but may make the hard problems more tractable. 2. The software in our computers has grown incomprehensible. Nobody understands it all, not even experts. Even simple programs written by a |