18:55:27 From Richard Luo : I believe Strang has a good section on dual vector spaces 18:55:54 From Nina Rothmayr : the eigenchris yt videos on tensors cover covectors 19:18:52 From Nina Rothmayr : is this related to bob coecke et al' graphical quantum computing? 19:31:20 From Michael Bukatin : "Thinking Like Transformers", https://arxiv.org/abs/2106.06981 19:36:22 From Kurusch Ebrahimi-Fard : I have to leave. Thank you for the talk. 19:46:07 From Michael Bukatin : https://en.wikipedia.org/wiki/Total_functional_programming 19:48:45 From Nina Rothmayr : Braiding theory sounds extremely interesting. Would this "store" the whole computation in the sense of a syntactic derivation? Like copies/traces? 19:52:19 From Michael Bukatin : Radul et al (2022): "You Only Linearize Once: Tangents Transpose to Gradients", https://arxiv.org/abs/2204.10923 19:56:01 From Nina Rothmayr : yes 19:58:22 From Richard Luo : I need to head out now, thanks again for the talk! 19:58:37 From Adam N : https://www.google.com/books/edition/Quantum_Physics_and_Linguistics/mvEXAwAAQBAJ?hl=en&gbpv=1&dq=quantum+physics+and+linguistics&printsec=frontcover 20:02:28 From Adam N : https://www.quantum-bits.org/?p=2226 20:04:15 From Nina Rothmayr : THANKS!!