Lightnews — Scholar-powered news

nate

@loglog.wtf

120 followers 170 following 160 posts

going fast (living slow) quantum computing practitioner mountain enjoyer (running and climbing) nyu -> overleaf -> uwaterloo -> unitary foundation come over to https://nates.place

nates.place

Posts Media Videos Starter Packs

nate @loglog.wtf · 23h

which now has a DOI: zenodo.org/records/1729...

nate @loglog.wtf · 1d

never expected a computational complexity sticker to be so controversial

either I have haters, or @henryyuen.bsky.social does

a fence post with lots of sticks on it, but with a MIP*=RE sticker scraped off

nate @loglog.wtf · 1d

Remember that workshop (werq.shop) that happened back in July on the future of error mitigation and correction? Well we wrote a report summarizing the highlights and takeaways so everyone who wasn't there can learn something!

werq.shop/static/repor...

1 1

nate @loglog.wtf · 3d

Share when it’s posted :)

nate @loglog.wtf · 4d

Thanks @wmorong.bsky.social for putting this on my radar :)

1 1

nate @loglog.wtf · 4d

maybe this one too: arxiv.org/abs/quant-ph...

The Heisenberg Representation of Quantum Computers

Since Shor's discovery of an algorithm to factor numbers on a quantum computer in polynomial time, quantum computation has become a subject of immense interest. Unfortunately, one of the key features ...

arxiv.org

nate @loglog.wtf · 4d

arxiv.org/abs/quant-ph...

A quantum computer only needs one universe

The nature of quantum computation is discussed. It is argued that, in terms of the amount of information manipulated in a given time, quantum and classical computation are equally efficient. Quantum s...

arxiv.org

1 1

nate @loglog.wtf · 9d

more formalized quantum information pls

Chris Pattison @chris-pattison.bsky.social · Jul 30

Alexander Meiburg has been working on formal verification of results in quantum information. It's exciting to see a growing library of tools for formal proofs in QI github.com/Timeroot/Lea...

GitHub - Timeroot/Lean-QuantumInfo: Quantum information theory in Lean 4

Quantum information theory in Lean 4. Contribute to Timeroot/Lean-QuantumInfo development by creating an account on GitHub.

github.com

nate @loglog.wtf · 11d

MIP*=RE sticker on a pole filled with other stickers

1 2

nate @loglog.wtf · 13d

OpenQudit is a new project from Ed from BQSKit that I think he’s getting some more resources to work on over the next year

nate @loglog.wtf · 13d

I think that some of these standardizations can happen before a standard IR as well which is great because I think that’s a ways off

nate @loglog.wtf · 13d

Circuit ops: github.com/OpenQudit/Op...
Circuit manipulation: github.com/unitaryfound... (a step in the direction of a common format compiler but not sure if this is what you imagine)
Calibration: funny enough I was just talking to some ionq folks about this and they’re interested in further dev

Reposted by nate

Korbinian Kottmann @qottmann.bsky.social · 13d

In case you haven't already: there is one more week to fill the @unitary.foundation quantum OSS survey for anyone using or developing qc software

unitary.foundation/posts/2025_q...

The 2025 QOSS Survey is Open! - Unitary Foundation

Unitary Foundation

unitary.foundation

1 4

nate @loglog.wtf · 14d

I’m generally in favor of standardization, but the more I’ve learned about the huge varieties of quantum stacks the more it seems like our industry is not developed enough to have abstractions that work across modalities. E.g. analog devices are programmed in a very different way than gate based.

nate @loglog.wtf · 14d

Gave some of these stickers I made to John Wright and the first thing he said was

“Why did you make this?”

lmao

Sticker that reads MIP*=RE with black text on rainbow background. Text in handwritten/childish handwriting

1 1 21

nate @loglog.wtf · 14d

Being off work for a week really makes me realize that 1 week is not nearly enough time to decompress from work-related stress or to shift out of work-like thinking patterns... 😔

nate @loglog.wtf · 18d

Hanging out at the Georgetown steam plant science fair this weekend with my project about Hilbert’s Grand Hotel.

Come through if you’re in Seattle!

1 13

nate @loglog.wtf · 21d

My feelings combined with a little controversy

nate @loglog.wtf · 22d

it's also the first time i mentioned gate.directory in a public setting which i created a few months ago. It still needs a lot of work to be a useful resource, but for the time being it's mostly just fun.

nate @loglog.wtf · 22d

I made a zine about quantum gates and distributed it at @unitary.foundation's unitaryCON this two weeks ago.

check it out :) and lemme know what you think

nates.place/static/ng01....

cover of zine called nates gates created on a typewriter

5 4 15

nate @loglog.wtf · 29d

all vibes
you
is need
love

nate @loglog.wtf · 29d

Do you ever stop going to conferences?

1 1

Reposted by nate

Pavel @spavel.bsky.social · Sep 7

UNLIMITED VELOCITY

One of the ways that LLM-authored code improves productivity is by merely SAYING it does things. It's way faster than the whole time-consuming process of actually doing things. This is real code someone sent to me for review.
A screenshot of a code editor. The line numbers are in the lefthand column, running from 121 to 125. There is a comment that says "Verify packages were created and check sizes" Then line 123 says echo Verifying Lambda packages were created... and Line 124 says echo checkmark emoji colon All Lambda packages verified successfully. There is no line in here that actually did anything.

62 840 3.6K

nate @loglog.wtf · Sep 7

I've heard that the fan experience at NPB games (and other leagues in asia as well) is better too, or at least more fun things happening. I want to make a tour some day!

nate @loglog.wtf · Sep 7

how do you like NPB games in comparison to MLB?