Alex Meiburg @Timeroot

Quantum info, Magic the Gathering jokes, and whatever else. | Postdoc @ UWaterloo IQC, Perimeter Institute. ohaithe.re Joined July 2009

Tweets

1K
Followers

147
Following

361
Likes

1K

Alex Meiburg @Timeroot

2 weeks ago

Lean's Mathlib has a definition of the "positive part of a matrix". It is a sufficiently complicated definition that, by default, Lean fails to load it. You need to increase the max processing steps, otherwise it simply quits.

0 0 1 48 0

Alex Meiburg @Timeroot

a month ago

Log on to X for first time in a while A bunch of people, including Americans, are upset about something A guy got killed A guy who lived by and ruled with the motto "Death to America" Confusion I log off X

0 0 1 56 1

Alex Meiburg @Timeroot

a month ago

Everyone talks about how much energy AI uses listening to users say "Thanks", but how much does the AI use saying "You've found another excellent and subtle point" ad nauseam

1 0 2 96 0

Alex Meiburg @Timeroot

a month ago

What kind of statistical distribution do you get if you look at hitting times in the Drunkard's Walk? A boisson process

0 0 0 51 0

Alex Meiburg @Timeroot

2 months ago

arxiv.org/abs/2508.00311 Looks like great progress on the \begin{align}-ment problem🥁

0 0 1 90 0

Alex Meiburg @Timeroot

2 months ago

‼️ Get hype 😁

Harmonic @HarmonicMath

2 months ago

‼️ Get hype 😁

13 58 556 193K 142

Download Image

0 0 3 181 0

Alex Meiburg @Timeroot

3 months ago

Took my kid to the playground, another kid asked "Did you take train here?" "No, we walked here." "Oh, we took the train because we live at [Full street address]. Those are my brothers, [names and ages]." 0/10, terrible OPSEC. This is how wars are lost. My child will do better.

0 0 0 62 0

Alex Meiburg @Timeroot

4 months ago

This is very cool. But, the phrase "more than just a milestone, it's a step" feels totally absurd. @XanaduAI do you want to hire me as a copy editor?

Xanadu @XanaduAI

4 months ago

This is very cool. But, the phrase "more than just a milestone, it's a step" feels totally absurd. @XanaduAI do you want to hire me as a copy editor?

6 32 110 9K 31

0 0 1 93 0

Alex Meiburg @Timeroot

4 months ago

Tweets that sound like they're from the first five minutes of a horror/sci-fi movie Right up there "we're excited that our new medicine cures [major disease], we're distributing it globally tomorrow"

Sam Altman @sama

4 months ago

Tweets that sound like they're from the first five minutes of a horror/sci-fi movie Right up there "we're excited that our new medicine cures [major disease], we're distributing it globally tomorrow"

516 677 10K 1.2M 1K

0 0 1 62 0

Polymarket @Polymarket

4 months ago

For those wondering, this is currently a 7.07% annualized ROI on 'NO' (assuming Jesus doesn't return). Are Jesus futures the next T-bills?

54 59 2K 337K 99

Alex Meiburg @Timeroot

4 months ago

It's an educational resource, that much is clear, I just can't actually identify anything one could plausibly learn from it. So perhaps it is art.

aron @Aron_Adler

4 months ago

It's an educational resource, that much is clear, I just can't actually identify anything one could plausibly learn from it. So perhaps it is art.

1 1 13 417 2

0 0 1 83 0

Gro-Tsen @gro_tsen

3 years ago

THE REASON CARROTS ARE ORANGE is that the Sanskrit (and ultimately, Dravidian) name “नारङ्ग” for Citrus × aurantium(?) happens to vaguely resemble the Latin (ultimately, Gaulish) name “Arausio” for a city (now) in France where a family of Dutch stadhouders had a principality. 🙃