From 94204d2df56c2c46419640367f1132fd48429745 Mon Sep 17 00:00:00 2001 From: Alex Corcoles Date: Tue, 31 Oct 2023 23:59:04 +0100 Subject: [PATCH] Add email client, remove Turing parser --- IDEAS.org | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/IDEAS.org b/IDEAS.org index d73513f..7c79cbe 100644 --- a/IDEAS.org +++ b/IDEAS.org @@ -6,6 +6,12 @@ - The mailing list UI can be completely customized to look like microblogging, blogs, comment systems, etc. - max n messages over m days feature. n=0, don't send me emails. n=1, send me a digest every m days. n>=2, stop at n-1, then wait until the m period is over to send me a digest. +* Terminal mail client + +- Easy set up of common mail accounts (perhaps using mbsync, notmuch, mu, etc.) +- Sane defaults +- Markdown email (write email as Markdown, send as plain text + HTML) + * Userland WASM Linux distro - Bootstrap a Linux distro to run on WASM @@ -15,13 +21,6 @@ - Could replace Docker/containers for developers - Similar to https://github.com/WAVM/Wavix -* Turing Parser - -- A toolkit to write parsers for languages which are not CFGs and that need Turing-complete parsing code. -- Provides tools to implement stateful lexers, keeping line-column information and generating good error messages. -- Provides tools to transform the token stream, using arbitrary code, to generate annotated ASTs (i.e. with line/column number information) -- See https://github.com/alexpdp7/lmparser - * Extensible lightweight markup language - A language similar to AsciiDoc... -- 2.47.3