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.

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?

Bohmian interpretation of quantum mechanics

What is pip then?

Projective geometry is when you draw a lot of lines

People just learning that Israel is an authoritarian theocracy are like:

Still getting weirded out about how: Lax functors C -> Span And Lax normal functors C -> Prof are the same thing

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).

If you're in Glasgow you can come see me play music here

Math Roadmap:

Cats are invariant under SO(3) transformations! 😼

\newcommand{\R}{\mathbb{R}}

You, foolishly: a double category has horizontal and vertical morphisms Me, wise, laying flat: no those are vertical and horizontal morphisms

Freestyling is left adjoint to forgetting the lyrics

Zariski inventing algebraic varieties was like:

Yes exactly. The trick is to find the right generality where the definitions have canonical choices

Above

Linear algebra is mother

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.

it just like me fr