From 8795d2cc0094e4b2e77fa44e4f37e7ab034805b0 Mon Sep 17 00:00:00 2001 From: alex Date: Sat, 19 Oct 2024 16:08:35 +0200 Subject: [PATCH] Add typing database --- IDEAS.org | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/IDEAS.org b/IDEAS.org index 344aa6d..80d4cdb 100644 --- a/IDEAS.org +++ b/IDEAS.org @@ -67,6 +67,15 @@ chromium --headless --dump-dom mastodon.social/@foo/12345... | w3m -T text/html - Proxy + web frontend that does ~chromium --headless --dump-dom $URL --virtual-time-budget=10000 | w3m -T text/html -dump~ - Perhaps pluggable DOM manipulation +* Typing database + +- A database of keyboard layouts. +- You can query how many keystrokes are required to enter a specific character. +- A database of characters used when writing in specific languages. + +This would be useful to decide which characters to use for programmatic syntax. +(That require few keystrokes for most users, but collide as little as possible with punctuation, etc.) + * Better "smart TV" experience ** Browser cursor control -- 2.47.3