Alex Meiburg

Quantum info, Magic the Gathering jokes, and whatever else. | Postdoc @ UWaterloo IQC, Perimeter Institute.

[Alex Meiburg @Timeroot]

Oh ffs Fable.

[Alex Meiburg @Timeroot]

@lionkimbro10x @tamaybes Codex is hitting you with an updog joke. True superintelligence.

[Alex Meiburg @Timeroot]

@fortnow Those are my favorite complexity classes that I use to engineer bioweapons, naturally.

[Alex Meiburg @Timeroot]

arxiv is about to lose a lot of its clean structural spines and get a lot of equations labelled (♠) and (⋆)

[Alex Meiburg @Timeroot]

@hisagrmf I stared at this thinking "surely you mean 4, not 8, right?"

"503 divisible by 3?" -> A final 3 at the end doesn't affect it, simplify by throwing away -> "500 divisible by 3?" The 5 doesn't matter. Throw away more 5's. -> 500, 100, 20, 4. Just 4 is left. 4 isn't divisible by 3.

[Alex Meiburg @Timeroot]

But it's actually... a math professor! With a PhD! "Grade K" is one of the steps in their gradation of experience. https://www.bristol(dot)ac(dot)uk/jobs/find/details/?jobId=388703 (X blocks this link!?)

[Alex Meiburg @Timeroot]

This is from a job advert in the UK. Without further context, what kind of job do you think this is for?

[Alex Meiburg @Timeroot]

If I saw this without context, I would think it was a kindergarten teacher. This equates to about $77k USD, which is obviously on the high end, but totally exists in the US in some very high-cost-of-living areas or at private schools.

[Alex Meiburg @Timeroot]

@TaliaRinger The product of all positive integers is √2π ≈ 2.5066... .

[Alex Meiburg @Timeroot]

Excited to be giving a keynote speech at SAIR's Science x AI Summit at the end of the month.😃I'll talking about physics and Lean!

https://t.co/YtPhntxshP

[Alex Meiburg @Timeroot]

@davidad I really really have come to hate the words "structural" and "spine" because of this. Also, please, if you talk to me -- no setting off of repeated null qualifiers by a dash, zero of this, none of these.

[Alex Meiburg @Timeroot]

Sometimes Claude will refer to subagents as child processes, or for short, children. When this propagates through notes, sometimes it misunderstands itself. Which leads to it writing summaries of mathematical analysis like this:

[Alex Meiburg @Timeroot]

@VitoComedy Could've done Bring Down, Cast Down, Down//Dirty, or Demotion if they wanted something less violent

[Alex Meiburg @Timeroot]

The first stage of SAIR's "Math Distillation Challenge" completed. Happy that I got 8th place! Right below, *ahem*, someone named "magmaballs".😁

Stage 2 will involve generating Lean proofs and disproofs. Excited to see will come out of it!

https://t.co/LX4f9ikNq8

[Alex Meiburg @Timeroot]

"All the world's a stage,
And all the men and women are merely players;
They have their exits and their entrances,
And one man in his time plays many parts."

Until you appreciate this, you will not correctly interpret mechanistic interpretability research on LLMs.

[Alex Meiburg @Timeroot]

*Log on and see the agent did overnight*
Me: "Wow this is a neat optimization, sounds smart but I don't understand why it works. Can you explain it?"
AI: "Your prompt explicitly instructed me on this optimization, bc ..."

Oh, it wasn't genius AI, *I* was smart! And forgetful. :)

[Alex Meiburg @Timeroot]

Who thought that Hall of the Mountain King was a good song for waiting on hold with Urgent Care!?

this is not what ANYONE needs

[Alex Meiburg @Timeroot]

There are two kinds of tweets on my feed:
* Naomi Osaka is CLRS Algorithms
* Naomi Osaka is Elesh Norn

[Catherine Yeo @catherinehyeo]

Love seeing Naomi Osaka honor the CLRS Algorithms textbook at this year's Met Gala

[Alex Meiburg @Timeroot]

Claude Opus 4.7: Arguably a genius in every domain

Also Claude Opus: "3 isn't a valid hex char" ??