autopushed

2026-08-07 15:06:19 +00:00 · 2022-11-14 21:53:20 +01:00
parent c7205a17dd
commit 2805c01bee
1 changed files with 2 additions and 0 deletions
@@ -19,4 +19,6 @@
        - one in preprint online (with [[ragnar]])
          - it's growing, but it should also shrink :)
          - maybe could merge three different definitions into one
+        - line of research tldr follows :)
+          - at least three people are working on it