Poor authors who post serious papers today
Posts by nate
We are living in exciting times. Starting today, the zoo will be completely redone by AI! errorcorrectionzoo.org/__41ai
Where you heading now?
Very happy that this project has been able to on-ramp some folks into the quantum industry as well as it has. Many contributors made their first quantum software contribution to mitiq.
Mitiq 1.0 GitHub release with a mitiq sticker in the foreground
After nearly 6 years of consistent releases, mitiq has its first major release. I’m very happy to have shepherded this project for the time that I have, but this release is a culmination of over 90 people working together to make quantum computers suck a bit less.
Reject modernity, embrace tradition
cover of nates gates volume 2. cover depicts a 4x4 matrix, a 3-torus, a 2 qubit gate, and a weyl chamber
a page about the weyl chamber.
U(4) appreciation club
a new issue of nate's gates is available on my website :)))
nates.place/gates/
not sure if i've been spending too much time around @marisozols.bsky.social, but i'm increasingly convinced rep theory is the way to understand ideas through quantum
one, but despite my best efforts I haven't been able to find a method to asymptotically beat a Given's rotations decomposition.
anyway, i'm just throwing stuff at the wall to see if anything sticks.
yeah exactly the matrices i'm working with form a subset (not group) of O(n), they're in the improper part of the group (det = -1), and are specified by 2n integers satisfying some inequalities. all this leads me to believe i should be able to find some decomp that's more efficient than a naive n^2
Do you like animals?
> Learn pandas
i understand "parameter optimal" means dim(SU(n)), but just curious if you thought about compiling real operations specifically.
cool paper (and nice diagrams!). any ideas how this could potentially be applied to compiling orthogonal gates?
i ran flagsynth on a family of ortho matrices I have and indeed it seems to do better than qiskit, but i'm still getting n^2 scaling even though the matrices are determined by n params
when you're spending all your money on m̶e̶,̶ ̶a̶n̶d̶ ̶s̶p̶e̶n̶d̶i̶n̶g̶ ̶t̶i̶m̶e̶ ̶o̶n̶ ̶m̶e mitiq
aws.amazon.com/blogs/quantu...
shkspr.mobi/blog/2026/03...
if i don't vibe code hard enough am i going to get left behind or am i going to just skip out on the early days of a rapidly evolving tech that will be fine to learn later if it has real value?
what's the vibe of the audience? pushback? acceptance? sadness?
one of the good things about being an open-source maintainer is i get free human-mediated tokens on other peoples LLMs
so when you want to save something for later reading you don't leave it open to rot in a tab for months??
ugh @github.com i think someone broke your markdown "insert next number in the list when user hits enter" feature
LLMs train on the things humans choose to write about (tending toward the anomalous and extraordinary), not the things humans largely think and experience (tending toward prosaic/banal). Noted
also i should add that claude one-shotted this which i was very impressed by as i did not know about the public api.
obviously MLB has my email since i've been to MLB games, but it's always good to exercise your privacy :)
to get MLB games on your calendar you either go through google or give your email to MLB (both ew). That said, MLB has a public API which has the schedule info.
if you can run a python script then this script will create an ics file you can upload to your cal client
gist.github.com/natestemen/a...
wondering what an xz attack would look like on mathlib.
even if it wasn't to infect other computers, but just to get a proof across the line exploiting something in the LEAN compiler.
joe dirt approves
oh shit leanmaxxing