@JadeMasterMath

Mathematics is fun

 she/her
sites.google.com/view/jadeedenstarmaster/home
Joined April 2018
  • Tweets18.1K
  • Following1K
  • Followers6.8K
546Media
Category Witch retweeted
wordgrammer
@wordgrammer30 Oct 2024
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.
13
22
4
254
14,343
I think this is more like a particular choice of semantics for programs, which makes sense in some contexts but not others. Or maybe I'm missing the point that all programs can be reduced to these somehow?
danb
@dnbt77725 Oct 2024
ok xitter.cf/justalexoki/status/184…
2
11
2,215
Bohmian interpretation of quantum mechanics
Physics In History
@PhysInHistory24 Oct 2024
Mention one scientific opinion that you’d defend like this ✍️
2
11
1,028
What is pip then?
Dmitrii Kovanikov
@ChShersh24 Oct 2024
Sometimes I don't know how else to convince people to try Functional Programming
6
881
Projective geometry is when you draw a lot of lines
Jay Cummings
@LongFormMath24 Oct 2024
Projective geometry 😍
1
2
17
1,569
People just learning that Israel is an authoritarian theocracy are like:
Noah Smith πŸ‡πŸ‡ΊπŸ‡ΈπŸ‡ΊπŸ‡¦πŸ‡ΉπŸ‡Ό
@Noahpinion23 Oct 2024
Whoa I just learned that interfaith marriage is illegal in Israel!! What the fuck?? This is insane.
2
2
30
1,856
Still getting weirded out about how: Lax functors C -> Span And Lax normal functors C -> Prof are the same thing
2
2
8
898
Category Witch retweeted
davidad πŸŽ‡
@davidad18 Oct 2024
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).
3
4
1
32
6,150
If you're in Glasgow you can come see me play music here
1
6
17
1,038
Math Roadmap:
53
550
70
5,338
441,860
Cats are invariant under SO(3) transformations! 😼
50
670
76
5,570
507,096
\newcommand{\R}{\mathbb{R}}
3
31
1,455
You, foolishly: a double category has horizontal and vertical morphisms Me, wise, laying flat: no those are vertical and horizontal morphisms
2
2
14
1,025
Freestyling is left adjoint to forgetting the lyrics
9
44
2,407
Zariski inventing algebraic varieties was like:
ekri@ekrii324 Sep 2024
Crazy stuff is happening on reddit
2
10
123
7,446
Yes exactly. The trick is to find the right generality where the definitions have canonical choices
Vanessa McHale@vamchale22 Sep 2024
A function a -> a only has one sensible implementation, a function Int -> Int has manyβ€”polymorphism is recessive. The implementation is constrained/clarified by the generality of the interface. Programmers warn of "premature abstraction," but this is confused w.r.t. foundations
6
863
Above
MathMatize Memes
@MathMatize18 Sep 2024
If you were the empty set, where would you want your face to be?
A - empty set with face below diagonal line B - empty set with face above diagonal line

ALT A - empty set with face below diagonal line B - empty set with face above diagonal line

2
10
967
Linear algebra is mother
2
3
15
1,089
I don't think this is fair. Think about how hard it is for a machine to distinguish "hallucination". There are just endless unknown unknowns.
Dmitrii Kovanikov
@ChShersh16 Sep 2024
The fact that LLMs still hallucinate 2 years after the initial release means: 1. Nobody knows how they actually work to fix them 2. Nobody actually cares
6
536
Category Witch retweeted
Jules@analytichegel14 Sep 2024
it just like me fr
Yam Peleg
@Yampeleg14 Sep 2024
it’s so over
3
4
807
Load more