diff options
| author | Kartik Agaram <vc@akkartik.com> | 2019-07-31 15:45:55 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2019-07-31 15:45:55 -0700 |
| commit | 75f0d196adfb0a9b0bda35178a1f56a8f07736f7 (patch) | |
| tree | ab9ef4b6e259f844519b750a74b176a454ecdc66 | |
| parent | 1ed1d1c8428d569bcdc4062ba5786fa1dc6b7f2c (diff) | |
| download | mu-75f0d196adfb0a9b0bda35178a1f56a8f07736f7.tar.gz | |
5500
| -rw-r--r-- | Readme.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Readme.md b/Readme.md index 8c2fe02e..d2ddd157 100644 --- a/Readme.md +++ b/Readme.md @@ -767,7 +767,7 @@ can replicate: * There would be a stronger culture of reviewing the code for programs you use or libraries you depend on. [More eyeballs would make more bugs shallow.](https://en.wikipedia.org/wiki/Linus%27s_Law) -To falsify these hypotheses, here's a roadmap of planned features: +To falsify these hypotheses, here's a roadmap of the next few planned features: * A script to package SubX together with a minimal Linux kernel image (compiled from source, of course). @@ -775,9 +775,9 @@ To falsify these hypotheses, here's a roadmap of planned features: * Testable, dependency-injected vocabulary of primitives - Streams: `read()`, `write()`. (✓) - `exit()` (✓) - - Sockets - - Files + - Client-like non-blocking socket/file primitives: `load`, `save` - Concurrency, and a framework for testing blocking code + - Server-like blocking socket/file primitives * Higher-level notations. Like programming languages, but with thinner implementations that you can -- and are expected to! -- modify. |