I was just wondering if you had anything you would like to see an early-emacs-days #writer do with #emacs in our community particularly (noting your https://sachachua.com/topic/#topic-index-emacs-and-writing ).

Sorry, gef, for volunteering you for lab experiments ;p

Honestly my goal is to see whether #eev anchors work for his flow, and whether it's-possible to use my own 'easy' graph stuff.

No Edrx (https://anggtwu.net/) again, but I will read a note from him about his own type theory quest.

He speaks to some of the different meanings that appear when different people say the words type theory, as appear on the Mastodon recently!

Also, I got a lot of notes on obvious improvements and contex for my https://screwlisp.small-web.org/ articles so far which we can share and talk about!