Women Talking About Mathematics
... Toby talking about AI and mathematics, ...
I was very happy to learn about the Lean project: https://leanprover.github.io/logic_and_proof.
Subscribe to Tibees.
Eugenia Cheng talking about abstraction at the Royal Institution on 5 April, 2023. Wouldn't it be cool of we had AI that could tell you about scheduled events nearby that might be interesting to you before they happened?
At 7:42 she talks about how nice it is to be able to see how things work, and how in modern technology that's seldom the case anymore. At 11:00 ... The logical study of how logical things work: see Reverse Engineering the MOS 6502.
Get her book The Joy of Abstraction in hardback or as an e-book: https://geni.us/GBfELuE.
Subscribe to Royal Institution.
Jade talking about optimization and symmetry. See Jade on Geometry and Optimization:
Subscribe to Up and Atom.
Comments
Post a Comment