Bruno Gavranović

Getting started with Deep Learning via Category Theory: Paper: arxiv.org/abs/2103.01931 Blog post: brunogavranovic.com/posts/2021-03-… Video: youtube.com/watch?v=1NHBex… Curated list of CT+ML papers: github.com/bgavran/Catego… Introduction to CT: github.com/bgavran/Catego… 🧵 of Tweet threads 👇

Transformer-based neural networks achieve impressive performance on coding, math & reasoning tasks that require keeping track of variables and their values. But how can they do that without explicit memory? 📄 Our new ICML paper investigates this in a synthetic setting! 🧵 1/13

Someone with both a conscience and a spine, clearly unqualified for the Trump administration.

There’s something radically symbolic in these videos. Federal agents pulled from protecting against external threats to focusing inward against our own people, while long lines of armored vehicles head towards our nation’s capitol. The dark midnight of authoritarianism is here.

It may be time to develop AI programming languages. Code generation must be optimized for guiding models in exploring solution space and ensuring correctness, not for human comprehension. Code specification must optimize synchronization between human intention and AI

Calling c the "speed of light" completely misses the point. Rather, c is the "spacetime exchange rate": how many units of space you can exchange for one unit of time. In actuality, everything travels at the "speed of light", just not necessarily through space alone... (1/4)

Someone wearing a bulletproof vest is only a "fair concern" to you if you’re planning to shoot them.

Local thief wants a pledge that these specific houses never have burglar alarms or dogs.

i still can't get over how good @texoport__'s monad tutorial website is and not just because i now have a banging migraine that won't go away for 6-9 business days

Functional programming is getting to be very much like AI in the sense that whenever some innovation championed by functional programmers enters the mainstream it stops being "Real FP" so people can keep saying that FP is academic and unusable

It's very useful to practice thinking about elementary set theory *without* thinking directly about elements. Spend some time thinking about sets *only* in terms of functions. Any function `f : A -> B` cuts an "A-shaped picture" out of B. In the special case where A is a…

Wait a minute… Trump’s mad that Walmart is blaming tariffs—that he implemented—for higher prices… and says the real issue is they don’t want to eat the cost? So the problem isn’t the tariffs. It’s that corporations won’t sacrifice their profits to cover for his economic…

It brings me no joy to say this but I've been vindicated once again.

You would hope that a lawmaker would know that the Supreme Court exists to defend the Constitution and the rule of law, not the popular will. Saying the will of the people trumps the law of the land is authoritarian demagoguery.

n-category theorists can think in ways that we mortal mathematicians cannot. 😔

[Via jeanas.bsky.social on the non-Musky place.] And yes, this monstrosity is an actual commutative diagram from an actual math paper: “Comma 2-comonad I: Eilenberg-Moore 2-category of colax coalgebras” by Igor Baković arxiv.org/abs/2505.00682 (on page 53).

Now that people aren't going write their code themselves, maybe it can even be Lisp. AIs don't need syntax that makes source code look accessible. They're fine programming in s-expressions.

Trump could also be in Kyiv, making historic decisions and selling weapons to Ukraine and the EU to help them fight against Russia, North Korea, Iran and China. But he’s not, because he listened to the wrong people. One of the biggest blunders in modern geopolitical history.

Much of mathematics is carefully constructing your own nose, so that you can follow it later

do you think a 4th century chinese alchemist would even be able to process what's actually necessary to achieve what he spent his entire life trying to do

This isn’t a budget, it’s a bunker. It’s pre-collapse preparation for violence at home and abroad, not shared prosperity. It’s a visual of MAGA paranoia, alt-right fear-mongering, and the structural abandonment of the social contract.