nate
@loglog.wtf
going fast (living slow)
quantum computing practitioner
mountain enjoyer (running and climbing)
nyu -> overleaf -> uwaterloo -> unitary foundation
come over to https://nates.place
quantum computing practitioner
mountain enjoyer (running and climbing)
nyu -> overleaf -> uwaterloo -> unitary foundation
come over to https://nates.place
I’ve had the pleasure of working alongside Brian for a few years now as he went from first time contributor to a maintainer of mitiq. He’s a great person, fun to work with, and very dedicated to helping along the quantum ecosystem. He also had the biggest payout for the most recent release of mitiq.
🌟 UF Ambassadors are individuals who have dedicated their time and energy to our open-source projects—continuing to be strongholds in our vibrant community. Here’s a sweet testimonial from one of our ambassadors, 𝗕𝗿𝗶𝗮𝗻 𝗚𝗼𝗹𝗱𝘀𝗺𝗶𝘁𝗵 , about his UF journey!
November 6, 2025 at 3:51 PM
I’ve had the pleasure of working alongside Brian for a few years now as he went from first time contributor to a maintainer of mitiq. He’s a great person, fun to work with, and very dedicated to helping along the quantum ecosystem. He also had the biggest payout for the most recent release of mitiq.
Reposted by nate
I wish trying out different careers throughout your 20s/30s was normal. I like what I do but there’s always the thought that a different career might suit me better and how am I supposed to know
November 2, 2025 at 10:44 PM
I wish trying out different careers throughout your 20s/30s was normal. I like what I do but there’s always the thought that a different career might suit me better and how am I supposed to know
Reposted by nate
Reminder of the preferred approach when sharing arXiv preprint links
October 18, 2025 at 11:33 AM
Reminder of the preferred approach when sharing arXiv preprint links
Alex is gonna give a talk on the @unitary.foundation discord next wednesday (Oct 22) on formalizing QI in lean 👀
Are you ready to raise the bar for QIP next year? Shall we set the new acceptance standards to
1. paper on the arXiv,
2. Lean proof on GitHub?
arxiv.org/abs/2510.08672
1. paper on the arXiv,
2. Lean proof on GitHub?
arxiv.org/abs/2510.08672
A Formalization of the Generalized Quantum Stein's Lemma in Lean
The Generalized Quantum Stein's Lemma is a theorem in quantum hypothesis testing that provides an operational meaning to the relative entropy within the context of quantum resource theories. Its origi...
arxiv.org
October 16, 2025 at 1:23 AM
Alex is gonna give a talk on the @unitary.foundation discord next wednesday (Oct 22) on formalizing QI in lean 👀
For a second I thought my partner (civil engineer) was doing Feynman diagrams
October 15, 2025 at 7:31 PM
For a second I thought my partner (civil engineer) was doing Feynman diagrams
Reposted by nate
You feel that Seattle?! Check out that Polanco P-Wave! Polanco Game Winning Single, Crawford Scores, MARINERS WIN!! @Mariners are Toronto Bound! @Tmobilepark @FoxSports
#SeisTheMoment #SeizeTheMoment
#SeisTheMoment #SeizeTheMoment
October 11, 2025 at 5:20 AM
You feel that Seattle?! Check out that Polanco P-Wave! Polanco Game Winning Single, Crawford Scores, MARINERS WIN!! @Mariners are Toronto Bound! @Tmobilepark @FoxSports
#SeisTheMoment #SeizeTheMoment
#SeisTheMoment #SeizeTheMoment
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...
werq.shop/static/repor...
October 8, 2025 at 2:32 PM
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...
werq.shop/static/repor...
more formalized quantum information pls
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
September 29, 2025 at 5:42 PM
more formalized quantum information pls
Reposted by nate
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...
unitary.foundation/posts/2025_q...
The 2025 QOSS Survey is Open! - Unitary Foundation
Unitary Foundation
unitary.foundation
September 25, 2025 at 6:09 PM
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...
unitary.foundation/posts/2025_q...
Gave some of these stickers I made to John Wright and the first thing he said was
“Why did you make this?”
lmao
“Why did you make this?”
lmao
September 25, 2025 at 12:02 AM
Gave some of these stickers I made to John Wright and the first thing he said was
“Why did you make this?”
lmao
“Why did you make this?”
lmao
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... 😔
September 24, 2025 at 4:32 PM
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... 😔
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!
Come through if you’re in Seattle!
September 20, 2025 at 7:53 PM
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!
Come through if you’re in Seattle!
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....
check it out :) and lemme know what you think
nates.place/static/ng01....
September 17, 2025 at 12:47 AM
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....
check it out :) and lemme know what you think
nates.place/static/ng01....
Reposted by nate
first time hearing the term "AI-vegan". i like
great essay about how, even as models progress, we will still have devs working in niches that LLMs won't touch (productively) due to the nature of not having training data on the topic.
www.stephendiehl.com/posts/ai_for...
great essay about how, even as models progress, we will still have devs working in niches that LLMs won't touch (productively) due to the nature of not having training data on the topic.
www.stephendiehl.com/posts/ai_for...
The Stochastic Code Monkey Theorem - Stephen Diehl
Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future
www.stephendiehl.com
September 7, 2025 at 2:38 AM
first time hearing the term "AI-vegan". i like
great essay about how, even as models progress, we will still have devs working in niches that LLMs won't touch (productively) due to the nature of not having training data on the topic.
www.stephendiehl.com/posts/ai_for...
great essay about how, even as models progress, we will still have devs working in niches that LLMs won't touch (productively) due to the nature of not having training data on the topic.
www.stephendiehl.com/posts/ai_for...
Stoked to be paying more open-source contributors. All contributions to mitiq (project I maintain) are eligible!
🚀 𝗚𝗲𝘁 𝗣𝗮𝗶𝗱 𝗳𝗼𝗿 𝗬𝗼𝘂𝗿 𝗢𝗽𝗲𝗻-𝗦𝗼𝘂𝗿𝗰𝗲 𝗤𝘂𝗮𝗻𝘁𝘂𝗺 𝗪𝗼𝗿𝗸!
We’re teaming up with 𝗠𝗲𝗿𝗶𝘁 𝗦𝘆𝘀𝘁𝗲𝗺𝘀 to pay contributors to mitiq ($1K/release) + ucc ($250–$500/mo).
Payments start Sept 4 — claim yours: terminal.merit.systems
🔗 buff.ly/fOQ1LYv
#OpenSource #QuantumComputing #unitaryHACK
We’re teaming up with 𝗠𝗲𝗿𝗶𝘁 𝗦𝘆𝘀𝘁𝗲𝗺𝘀 to pay contributors to mitiq ($1K/release) + ucc ($250–$500/mo).
Payments start Sept 4 — claim yours: terminal.merit.systems
🔗 buff.ly/fOQ1LYv
#OpenSource #QuantumComputing #unitaryHACK
September 5, 2025 at 4:40 PM
Stoked to be paying more open-source contributors. All contributions to mitiq (project I maintain) are eligible!
just noticed I've given 256 stars on github. I guess no more. Sorry folks.
September 2, 2025 at 5:35 AM
just noticed I've given 256 stars on github. I guess no more. Sorry folks.
wow the dopamine hit from seeing my name pop up in someones talk (even if just for a diagram) is huge
September 1, 2025 at 10:28 PM
wow the dopamine hit from seeing my name pop up in someones talk (even if just for a diagram) is huge
It's fun when academics write blog posts as papers:
- dl.acm.org/doi/10.1145/... (Why haven't more quantum algorithms been found?)
- arxiv.org/abs/2412.18726 (Opinion: The simplest quantum computer)
- arxiv.org/abs/quant-ph... (Sundays in a Quantum Engineer's Life)
any other good ones in quantum?
- dl.acm.org/doi/10.1145/... (Why haven't more quantum algorithms been found?)
- arxiv.org/abs/2412.18726 (Opinion: The simplest quantum computer)
- arxiv.org/abs/quant-ph... (Sundays in a Quantum Engineer's Life)
any other good ones in quantum?
August 25, 2025 at 11:23 PM
It's fun when academics write blog posts as papers:
- dl.acm.org/doi/10.1145/... (Why haven't more quantum algorithms been found?)
- arxiv.org/abs/2412.18726 (Opinion: The simplest quantum computer)
- arxiv.org/abs/quant-ph... (Sundays in a Quantum Engineer's Life)
any other good ones in quantum?
- dl.acm.org/doi/10.1145/... (Why haven't more quantum algorithms been found?)
- arxiv.org/abs/2412.18726 (Opinion: The simplest quantum computer)
- arxiv.org/abs/quant-ph... (Sundays in a Quantum Engineer's Life)
any other good ones in quantum?
bruh...
new level of annoying
new level of annoying
August 25, 2025 at 9:32 PM
bruh...
new level of annoying
new level of annoying
can we agree that jobs =/= careers?
if so, why do so many companies offer "careers"... a career is made of potentially many jobs, one of which the employer is offering.
if so, why do so many companies offer "careers"... a career is made of potentially many jobs, one of which the employer is offering.
August 25, 2025 at 5:07 PM
can we agree that jobs =/= careers?
if so, why do so many companies offer "careers"... a career is made of potentially many jobs, one of which the employer is offering.
if so, why do so many companies offer "careers"... a career is made of potentially many jobs, one of which the employer is offering.
If you'll be at IEEE QCE this year, come to the quantum software 2.1 workshop i'm co-organizing with Catalina Albornoz, Josh Izaac, @rossquantum.bsky.social @mharrigan52.bsky.social and Elaine Wong!
sites.google.com/view/quantum...
sites.google.com/view/quantum...
Quantum Software 2.1 Workshop
Quantum Software 2.1:
open problems, new ideas, and paths to scale
IEEE Quantum Week 2025 conference, Aug 31st - Sept 5th
ABQ Convention Center
401 2nd St NW, Albuquerque, New Mexico, USA
sites.google.com
August 19, 2025 at 7:47 PM
If you'll be at IEEE QCE this year, come to the quantum software 2.1 workshop i'm co-organizing with Catalina Albornoz, Josh Izaac, @rossquantum.bsky.social @mharrigan52.bsky.social and Elaine Wong!
sites.google.com/view/quantum...
sites.google.com/view/quantum...
neither satisfied nor satisfied
August 19, 2025 at 3:03 PM
neither satisfied nor satisfied
come listen to @csenrui.bsky.social talk about his recent work at tomorrows seminar on the UF discord. It's open to anyone to attend :)
Come join the team for ⚛️ Quantum Wednesday!
This week, we'll discuss 𝗟𝗲𝗮𝗿𝗻𝗶𝗻𝗴 𝗮𝗻𝗱 𝗺𝗶𝘁𝗶𝗴𝗮𝘁𝗶𝗻𝗴 𝗣𝗮𝘂𝗹𝗶 𝗻𝗼𝗶𝘀𝗲 𝘀𝗲𝗹𝗳-𝗰𝗼𝗻𝘀𝗶𝘀𝘁𝗲𝗻𝘁𝗹𝘆 lead by our guest speaker 𝗦𝗲𝗻𝗿𝘂𝗶 𝗖𝗵𝗲𝗻.
🔗 Discord: buff.ly/GFRk4B9
📚 Paper: buff.ly/nlT3Ljg
This week, we'll discuss 𝗟𝗲𝗮𝗿𝗻𝗶𝗻𝗴 𝗮𝗻𝗱 𝗺𝗶𝘁𝗶𝗴𝗮𝘁𝗶𝗻𝗴 𝗣𝗮𝘂𝗹𝗶 𝗻𝗼𝗶𝘀𝗲 𝘀𝗲𝗹𝗳-𝗰𝗼𝗻𝘀𝗶𝘀𝘁𝗲𝗻𝘁𝗹𝘆 lead by our guest speaker 𝗦𝗲𝗻𝗿𝘂𝗶 𝗖𝗵𝗲𝗻.
🔗 Discord: buff.ly/GFRk4B9
📚 Paper: buff.ly/nlT3Ljg
August 19, 2025 at 2:56 PM
come listen to @csenrui.bsky.social talk about his recent work at tomorrows seminar on the UF discord. It's open to anyone to attend :)