diff options
Diffstat (limited to 'TODO.md')
-rw-r--r-- | TODO.md | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -20,6 +20,8 @@ - monthly link sweep? - upgrade from bulma 0.9.3 to bulma 1.0.0 <https://bulma.io/documentation/start/migrating-to-v1/> +- add html linter. see reviews here: + <https://chezsoi.org/lucas/blog/a-review-of-html-linters.html> ## post ideas - fast document search: postgres fts, `pg_trgm`, and tika (git/test/sift) @@ -476,6 +478,7 @@ - bad rng vs side-channel - rng: (ps3) - side channel: not just theoretical (roca) +- proxy configuration for sagemath jupyterlab setup ## linkdump (2022-08-10): - css bg fade: |