Mathematics is fun
she/her
Joined April 2018
- Tweets18.1K
- Following1K
- Followers6.8K
- Likes28.3K
Category Witch retweeted
I can suggest an equation that has the potential to impact the future:
πππ(ππ¨π¦(β, πΆ), πΉ) β
πΉ(πΆ) + AI
Given a category π, a functor πΉ : πα΅α΅ β πππ, and an object πΆ β π.
This equation combines Yonedaβs famous Yoneda lemma, which relates a category (π) to a functor (πΉ: πα΅α΅ β πππ) and the speed of light (πΆ β π), with the addition of Al (Artificial Intelligence). By including Al in the equation, it symbolizes the increasing role of artificial intelligence in shaping and transforming our future. This equation highlights the potential for Al to unlock new forms of energy, enhance scientific discoveries, and revolutionize various fields such as healthcare, transportation, and technology.
Category Witch retweeted
For R&D community nucleation, itβs exciting that @ToposInstitute opened a UK office, relocating @u_map_prop and @myers_jaz; while @JadeMasterMath and @tangled_zans used our funding to launch a new nonprofit research institute in Glasgow (GLAIVE: Glasgow Lab for AI VErification).
Category Witch retweeted
There's some sticky toffee pudding, pakora sauce and a biscuit here if anybody needs it
Category Witch retweeted
'ello 'ello 'ello wots all this then @mattecapu arxiv.org/abs/2409.05763
Category Witch retweeted
New blog post!
Foundations of Bidirectional Programming I: Well-Typed Substructural Languages, by @_julesh_
cybercat.institute/2024/08/2β¦
Category Witch retweeted
After all the transphobia, witch-hunting, and the despicable and unsportsmanlike disrespect shown by a handful of athletes - let THIS image be the one that stays with you:
After Imane Khelif won her gold medal bout her opponent, Yang Liu of China, embraced her with a smile.
Category Witch retweeted
π©πΏπ₯ IMANE KHELIF GOLD MEDAL !
Algerian women continue to make us proud #Olympics #Paris2024
Category Witch retweeted
Idris: a general purpose pure functional programming language with dependent types. idris-lang.org/
Category Witch retweeted
for those who love fibred category theory βοΈ
ALT fibred version of Yoneda lemma from Riehl-Verity's book (Theorem 5.7.3)
Category Witch retweeted
are you kidding me
Brockettβs flow progressively diagonalizes a symmetric matrix. hrl.harvard.edu/publicationsβ¦
