iiinova — where your digital self keeps evolving

Reposted by Thomas Ahle

Clément Canonne @ccanonne.github.io · 11/01/2026

Mathematical writing is my passion.

The "kombucha girl" meme, where the left panel (with her frowning) stating "According to the proposition" and the right one (showing her interested face) stating "Lemma tell you"

0536

Thomas Ahle @thomasahle.bsky.social · 11/11/2025

Added a new symbols menu - let me know if I missed any of your favourite LaTeX commands!

250

Thomas Ahle @thomasahle.bsky.social · 16/03/2025

I needed an easy way to make high resolution equations to post on Bluesky, so I made this: thomasahle.com/latex2png

thomasahle.com

LaTeX to Image

Effortlessly convert LaTeX math equations into high-quality images (PNG, JPEG, SVG).

061

Thomas Ahle @thomasahle.bsky.social · 19/02/2025

Isserlis' (or Wick's) theorem is one of the strongest tools to handle High Dimensional Gaussians. Turns out it generalizes to _every distribution_ using cumulant tensors! That's higher order variance, skewness, kurtosis, etc.

110

Thomas Ahle @thomasahle.bsky.social · 18/02/2025

I added a Playground to tensorcookbook.com for when you need that Matrix or Tensor Derivative in a hurry. Hopefully it can also be a way to help people become familiar with tensor diagrams.

010

Thomas Ahle @thomasahle.bsky.social · 06/02/2025

Some sketches for the next chapter

000

Thomas Ahle @thomasahle.bsky.social · 04/02/2025

I added code execution to tensorcookbook.com so you can try tensorgrad's automatic tensor algebra without installing anything.

000

Thomas Ahle @thomasahle.bsky.social · 18/01/2025

Tensor Product Attention illustrated with Tensor Diagrams

150

Thomas Ahle @thomasahle.bsky.social · 18/12/2024

Neat one-page proof of "Stirling's bound" (n/e)ⁿ√{2π n} ≤ n! ≤ (n/e)ⁿ(√{2π n}+1) Inspired by the discussion on mathoverflow.net/a/458011/5429. Just had to keep hitting it with logarithmic inequalities...

010

Thomas Ahle @thomasahle.bsky.social · 12/12/2024

Poisson Probability Puzzle: Let X ~ Poisson(𝜇); Z = (X - 𝜇)/√𝜇; Y ~ Normal(0, 1). How close is E[|X|^k] is to E[|Y|^k]? Say we connect 𝜇 and k by 𝜇 = c k³, what is now the limit E[|X|^k]/E[|Y|^k] as k → ∞? This was harder to solve than expected, but the answer was surprisingly pretty 🌻

120

Thomas Ahle @thomasahle.bsky.social · 11/12/2024

"Central Limit Theorem" for the Poisson Distribution

010

Thomas Ahle @thomasahle.bsky.social · 03/12/2024

Test Time Training promises to finally unify learning and search. As always, chess is a good place to study such ideas: AlphaZero generalized and simplified most of the tricks in chess engines like Stockfish, but one category is missing: history heuristics... 1/5

120

Thomas Ahle @thomasahle.bsky.social · 29/11/2024

Clever use of the KV-cache: Writing in the margins (arxiv.org/abs/2408.14906) at Neurips next week. By "taking notes" as you read, ypu reduce the complexity from N^3 (N tokens at N^2 cost) to N^3/3 (1+4+9+...+N^2).

010