Quantum info, Magic the Gathering jokes, Lean, whatever else. | Assistant Professor, Applied Math @ UWaterloo IQC, Perimeter Institute.

Joined July 2009
1-2 punch on the headlines
51
I now know the Mandela effect is real because Wikipedia is telling me this guy's name isn't Clippy? It's... "Clippit"??
1
1
3
101
I question Google's recommendations here
1
107
Like any other foreign language, it's important to practice your own speaking and writing, you can't rely entirely on listening and reading. Here was my attempt, expressing my shower thoughts compactly. Opus 5.5 and Astra understand it fine incl puns; Sonnet/GPT-5.5 not really.
1
182
You can just ask your agents to carry to have their conversations in Neuralese and they do. It's a pretty effective way to train yourself to read higher argumentation density. Pic: speculation about complexity consequences of pos. emb. corresponding to non-Abelian symmetries.
2
6
1,178
Okay, having this as an opener in Codex is OAI making fun of Anthropic, right? Right?
210
I overwrote my keyboard's firmware so that it runs a tiny character-level language model to predict the next key you'll hit. It has per-key backlight LEDs and just lights up the ones you're likely to hit. All inference local on the microprocessor - works without the computer too!
216
323
100
6,829
306,636
Replying to @dwrensha
lmao
1
3
2,026