Notices by Noam Zeilberger (noamzoam@mathstodon.xyz)

@julesh *probably* a coincidence but this image reminds me a lot of the passageway to the bathrooms at the entrance to the research section of the Bibliothèque Nationale de France (https://www.bnf.fr/sites/default/files/styles/carousel_lg/public/2019-02/BNF_2011_055254.jpg).

@tito @julesh @fl Tito has some very interesting work with Cécilia Pradic on the expressivity problem in extensions of simply-typed lambda calculus with a affine/linear/ordered linear implication, see the "Implicit automata in typed λ-calculi" series (https://nguyentito.eu/2023-06-oxford.pdf). One of their exciting results is that in the planar case you can recover exactly the star-free languages (https://en.wikipedia.org/wiki/Star-free_language).