Love to swim long distances, life long mediator and learner. Interested in saving the world One pain at a time
Pennsylvania, USA
Joined May 2017
- Tweets1.2K
- Following933
- Followers118
- Likes3K
don Im retweeted
PS: There are more cells than just 2-cells. In fact, you can even have “infinity categories.” Here’s a lecture explaining this concept with Emily Riehl. (23/22) youtu.be/mTwvecBthpQ
don Im retweeted
Now published:
doi.org/10.1016/B978-0-323-9…
Now on the arXiv:
************************************************
*** Higher Topos Theory in Physics ***
************************************************
arxiv.org/abs/2311.11026
ncatlab.org/schreiber/show/H…
hey, I it has been a while... I 've been building a company from ground up and paying close attention to the advancements of AI... This "o1-preview " is something else! o1 understands CAT and the calculus of relations.
"implication mirrors inference,"...!!!
don Im retweeted
Watch @symbolica Principle Scientist Dr. Paul Lessard talk about why category theory is the key to achieving a description of symbolic reasoning in machines and how we are using it to usher in a new era in machine learning.
We just dropped our conversation with Dr. Paul Lessard from @symbolica - Paul and his collaborators have written a paper on "Categorical Deep Learning and Algebraic Theory of Architectures". They aim to make neural networks more interpretable, composable and amenable to formal reasoning. The key is mathematical abstraction, as exemplified by category theory - using monads to develop a more principled, algebraic approach to structuring neural networks.
don Im retweeted
Want to understand the role of glial computation in long-term memory storage and retrieval? Visit our @CosyneMeeting poster (1-053) and check out our preprint at arxiv.org/abs/2311.08135. Joint work w/ @DimaKrotov and Jean-Jacques Slotine. 1/3
don Im retweeted
I have funding for a home PhD student at the University of Nottingham. If you would like to study category theory, logic and their application to the foundations of computer science with me, please get in touch. Details are on my teaching page:
stringdiagram.com/teaching/
don Im retweeted
Nelson Niu, David I. Spivak: Polynomial Functors: A Mathematical Theory of Interaction arxiv.org/abs/2312.00990 arxiv.org/pdf/2312.00990
"Quantum LLM"
Transformers swimming in the branchial space?
Firstness(CSP) ,the final piece, has finally thrown in the soup...
Now ,this has my full attention!
youtube.com/live/ITJ3AF3TK5M…
don Im retweeted
A rendering of the beginning of our universe (along one rulial+quantum branch) in our Wolfram Physics Project---and the first steps in the construction of space. (The nodes are not in space; they're what space is made of.) wolframphysics.org/
don Im retweeted
It was a joy catching up with you Lex, you're one of my favorite inquisitive people because of your depth of knowledge in AI, programming, and willingness to really explore complex topics. 🔥+❤️=❤️🔥
Here's my conversation with Chris Lattner (@clattner_llvm), a legendary engineer, his 3rd time on the podcast. We talk about Modular AI and Mojo, a new programming language that is a superset of Python and can achieve 35,000x+ speed ups over Python. youtube.com/watch?v=pdJQ8iVT…
don Im retweeted
Curious about string diagrams and wondering where to start? Fabio Zanasi and I wrote an introduction designed to onboard CS students into our own research and offer a glimpse into current research on the topic.
arxiv.org/abs/2305.08768
This is a first draft--feedback welcome!
