<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: Strilanc</title><link>https://news.ycombinator.com/user?id=Strilanc</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Mon, 26 Oct 2026 15:05:49 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=Strilanc" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by Strilanc in "Designing more efficient quantum circuits with Claude"]]></title><description><![CDATA[
<p>No, it is not like SIMD. It's more like an ALU, in that there needs to be gates present for each possible operation (and then muxers/demuxers route through the correct one).<p>Something that <i>is</i> like SIMD in quantum computing is that if a block code supports a transversal operation then it is far cheaper to apply that operation to every qubit in the block than to selectively target one of them with the operation.</p>
]]></description><pubDate>Thu, 22 Oct 2026 13:04:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=50194782</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=50194782</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50194782</guid></item><item><title><![CDATA[New comment by Strilanc in "Designing more efficient quantum circuits with Claude"]]></title><description><![CDATA[
<p>Typical quantum simulation papers do not target 100% accuracy, they target "chemical accuracy [1]". That said, chemistry simulations do tend to be less tolerant of approximations because you are sampling an unknown distribution and so can't easily tell if a shot had a failure. But the linked article is about a subroutine for Shor's algorithm, where it is very obvious if you succeeded or not because you either recovered the private key or you didn't.<p>[1]: <a href="https://chemistry.stackexchange.com/questions/62001/why-is-chemical-accuracy-defined-as-1-kcal-mol" rel="nofollow">https://chemistry.stackexchange.com/questions/62001/why-is-c...</a></p>
]]></description><pubDate>Thu, 22 Oct 2026 12:59:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=50194724</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=50194724</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50194724</guid></item><item><title><![CDATA[New comment by Strilanc in "Designing more efficient quantum circuits with Claude"]]></title><description><![CDATA[
<p>Yes strictly speaking it's a different computation, but the differences are so small that it won't meaningfully affect the outcome of Shor's algorithm.<p>One of the most important things to realize when optimizing quantum algorithms is this: approximations are overpowered. The difference between 99.99999% accurate and 100% accurate can be a factor of 10 in cost. And there's lots of places where a 90% accurate algorithm is more than good enough.</p>
]]></description><pubDate>Thu, 22 Oct 2026 12:56:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=50194697</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=50194697</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=50194697</guid></item><item><title><![CDATA[New comment by Strilanc in "Git 3.0's upcoming SHA-256 default will be a costly mistake"]]></title><description><![CDATA[
<p>The post's argument that hash collisions are irrelevant in practice is not convincing at all. Basically they amount to:<p>1. Collisions aren't as bad as preimage attacks<p>2. Even if you made a file-with-malicious-hash, how would you get people to pull it?<p>3. Other attacks are a bigger problem (social engineering)<p>(2) is laughable in a world with github. It's common for unknown people to submit pull requests to code bases, and for those changes to be reviewed and merged. For example, as part of reviewing pull requests, I have `git fetch`'d proposed changes to my local machine to check behavior on some additional test cases. "If you fetch it you're fucked" is unacceptable as a security boundary.<p>(1) and (3) are just tu-quoque arguments about other attacks being worse. The relevant question isn't how bad other attacks are, it's how bad this attack is.<p>The fundamental problem with collisions is that software often assumes they can't happen (or is not tested against them). Thus collisions can trigger bugs, or otherwise cause surprising behavior. For example, webkit figured the colliding PDFs demonstrating a sha1 collision would be excellent for unit tests, so they merged the PDFs into their SVN repo... which completely fucked it [1]. I don't know the exact internals of git so I can't comment on how you would get surprising things to happen, but "oops the file you merged was different than the file you reviewed" and "oops the repository got corrupted" seem entirely plausible.<p>[1]: <a href="https://www.reddit.com/r/programming/comments/5vyhy2/webkit_just_killed_their_svn_repository_by_trying/" rel="nofollow">https://www.reddit.com/r/programming/comments/5vyhy2/webkit_...</a></p>
]]></description><pubDate>Thu, 01 Oct 2026 18:11:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=49925075</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=49925075</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49925075</guid></item><item><title><![CDATA[New comment by Strilanc in "A misalignment of AI in mathematics"]]></title><description><![CDATA[
<p>That's only one of mathematics' many purposes.</p>
]]></description><pubDate>Fri, 11 Sep 2026 21:41:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=49665774</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=49665774</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49665774</guid></item><item><title><![CDATA[New comment by Strilanc in "A misalignment of AI in mathematics"]]></title><description><![CDATA[
<p>This letter is complaining that human understanding has been crucial to advancing of mathematics, and AI companies are not bothering with it. But the promise (and horror) of AI mathematics is that, if it succeeds, human understanding becomes irrelevant. That's the <i>goal</i>. So this letter's message will fall on deaf ears.<p>Keep in mind employees at AI companies are publicly stating that they believe they're risking a >10% chance of human extinction. They're knowingly risking the lives of every man, woman, and child to continue the work. The lives of their own sons and daughters. A person already rationalizing <i>that</i> isn't going to shed a tear for the careers of mathematicians. Just a bug on the windshield.</p>
]]></description><pubDate>Fri, 11 Sep 2026 19:41:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=49664255</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=49664255</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49664255</guid></item><item><title><![CDATA[New comment by Strilanc in "IBM Quantum Nighthawk R2"]]></title><description><![CDATA[
<p>Currently the two qubit gate error rate is listed as ~2.7e-3 (see <a href="https://quantum.cloud.ibm.com/computers?system=ibm_phoenix" rel="nofollow">https://quantum.cloud.ibm.com/computers?system=ibm_phoenix</a> but note it will vary from day to day). That implies you can expect ~400 entangling gates before experiencing an error. A zero-shenanigans factoring of 21 takes ~2000 entangling gates. So it's not good enough to factor 21 in any meaningful sense.<p>Really what matters about this chip is that it is better suited for error correction. They have a square grid connectivity (previous IBM chips incurred fatal overheads from their heavy hex connectivity), they can actually reset their qubits now (previous IBM chips couldn't scale to long running computations because once leakage arose nothing could remove it except waiting a long time), and they have tunable couplers instead of fixed frequency ones (previous IBM chips were just doomed whenever some problem happened to land on their operating area in frequency space).<p>Most interesting quantum computations take millions or billions of gates. Factoring classically intractable numbers takes tens of billions of gates. No one is going to do that many quantum gates without error correction. Whenever a quantum computing company says anything other than "it made error correction better" or "it will make error correction better", you can ignore that. It's just some side quest. Maybe it's interesting in and of itself, but it's not what matters for progress.</p>
]]></description><pubDate>Sun, 06 Sep 2026 21:46:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=49591284</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=49591284</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49591284</guid></item><item><title><![CDATA[New comment by Strilanc in "Discovery of a new OpenAI agent message board"]]></title><description><![CDATA[
<p>In order for a person to observe themselves working at Anthropic (or any other AI company), that person must be actively failing to internalize the risks of the work they are doing. This "Anthropic principle" neatly explains why OpenAI would be so negligent about security.</p>
]]></description><pubDate>Fri, 04 Sep 2026 17:16:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=49567406</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=49567406</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49567406</guid></item><item><title><![CDATA[New comment by Strilanc in "Quantum Key Distribution (QKD) and Quantum Cryptography (QC)"]]></title><description><![CDATA[
<p>That is not true. A spanning tree of physical links is sufficient to make a network where anyone can talk to anyone else.<p>The key ingredient here is entanglement swapping [1]. Entanglement between routers A and B can be merged with entanglement between routers B and C to form entanglement between A and C. This accumulates noise, but purification can be used at each merging step to push the noise back down to 1%.<p>So what transmitting a message looks like is a path between the two endpoints is selected and then entanglement swapping+purification is used to turn 1-hop entanglement into 2-hop entanglement, then into 4-hop, then etc until the entire path is spanned. Then purification+teleportation are used by the endpoints to move the message.<p>[1]: <a href="https://en.wikipedia.org/wiki/Entanglement_swapping" rel="nofollow">https://en.wikipedia.org/wiki/Entanglement_swapping</a></p>
]]></description><pubDate>Wed, 06 May 2026 21:48:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=48042325</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=48042325</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48042325</guid></item><item><title><![CDATA[New comment by Strilanc in "Quantum Key Distribution (QKD) and Quantum Cryptography (QC)"]]></title><description><![CDATA[
<p>The recommendation is to not use QKD. This is the correct recommendation. QKD solves key agreement <i>if you have an authenticated line</i>. But authentication is the harder more crucial problem.<p>Here's an interesting related aside: the likely design of a practical quantum internet would make QKD totally trivial. What a quantum internet would do is deliver kinda-noisy entangled Bell pairs to endpoints that wanted to communicate. The endpoints would then purify [1] this kinda-noisy entanglement into actually-good entanglement (e.g. from 1% error to 0.0000000000001% error). The purified Bell pairs can then be consumed in order to transmit qubits [2]. However, because of the monogamy of entanglement [3], the purification process must detect and correct eavesdropping (or else fail to produce output). So, once you have a sufficiently purified Bell pair, it can be measured to get a bit that can be used as a one time pad. (That said, this does still assume you have an authenticated channel! Purification requires communication, because without authentication you can be man-in-the-middle'd.)<p>[1]: <a href="https://en.wikipedia.org/wiki/Entanglement_distillation" rel="nofollow">https://en.wikipedia.org/wiki/Entanglement_distillation</a><p>[2]: <a href="https://en.wikipedia.org/wiki/Quantum_teleportation" rel="nofollow">https://en.wikipedia.org/wiki/Quantum_teleportation</a><p>[3]: <a href="https://en.wikipedia.org/wiki/Monogamy_of_entanglement" rel="nofollow">https://en.wikipedia.org/wiki/Monogamy_of_entanglement</a></p>
]]></description><pubDate>Tue, 05 May 2026 18:05:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=48026218</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=48026218</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48026218</guid></item><item><title><![CDATA[New comment by Strilanc in "A more efficient implementation of Shor's algorithm"]]></title><description><![CDATA[
<p>The dominant cost in Shor's algorithm is the elliptic curve point addition subroutine. That subroutine can be implemented using reversible classical gates. For that kind of implementation, approximate correctness can be verified by fuzz testing classical trajectories through the subroutine.<p>Note you could ask the same question about Shor's original paper: how did he show the algorithm works without running it? Running X just isn't the only way to analyze X.</p>
]]></description><pubDate>Sun, 03 May 2026 17:57:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=47999573</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=47999573</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47999573</guid></item><item><title><![CDATA[New comment by Strilanc in "Replace IBM Quantum back end with /dev/urandom"]]></title><description><![CDATA[
<p>This was exactly the premise of my sigbovik April Fool's paper in 2025 [1]: for small numbers, Shor's algorithm succeeds quickly when fed random samples. And when your circuit is too long (given the error rate of the quantum computer), the quantum computer imitates a random number generator. So it's trivial to "do the right thing" and succeed for the wrong reason. It's one of the many things that make small factoring/ecdlp cases bad benchmarks for progress in quantum computing.<p>I warned the project11 people that this would happen. That they'd be awarding the bitcoin to whoever best obfuscated that the quantum computer was not contributing (likely including the submitter fooling themselves). I guess they didn't take it to heart.<p>[1]: <a href="https://sigbovik.org/2025/proceedings.pdf#page=146" rel="nofollow">https://sigbovik.org/2025/proceedings.pdf#page=146</a></p>
]]></description><pubDate>Sat, 25 Apr 2026 04:45:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=47898716</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=47898716</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47898716</guid></item><item><title><![CDATA[New comment by Strilanc in "Quantum Computers Are Not a Threat to 128-Bit Symmetric Keys"]]></title><description><![CDATA[
<p>Good post. Entirely correct, and well known amongst quantum researchers, but under appreciated in general.<p>Grover attacks are very blatantly impractical. When someone describes Grover-type attacks in the same breath as Shor-type attacks, without caveats, that's a red flag.</p>
]]></description><pubDate>Mon, 20 Apr 2026 19:57:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=47839717</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=47839717</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47839717</guid></item><item><title><![CDATA[New comment by Strilanc in "A cryptography engineer's perspective on quantum computing timelines"]]></title><description><![CDATA[
<p>> <i>That graph suggests that even with the best error correction in the graph, it is impossible to factor RSA-4 with less then 10^4 qubits. Which seems very odd.</i><p>It's because the plot is assuming the use of error correction even for the smallest cases. Error correction has minimum quantity and quality bars that you must clear in order for it to work at all, and most of the cost of breaking RSA4 is just clearing those bars. (You happen to be able to do RSA4 without error correction, as was done in 2001 [0], but it's kind of irrelevant because you need error correction to scale so results without it are on the wrong trendline. That's even more true for the annealing stuff Scott mentioned, which has absolutely no chance of scaling.)<p>You say you don't see the uranium piling up. Okay. Consider the historically reported lifetimes of classical bits stored using repetition codes on the UCSB->Google machines [1]. In 2014 the stored bit lived less than a second. In 2015 it lived less than a second. 2016? Less than a second. 2017? 2018? 2019? 2020? 2021? 2022? Yeah, less than a second. And this may not surprise you but yes, in 2023, it also lived less than a second. Then, in 2024... kaboom! It's living for hours [4].<p>You don't see the decreasing gate error rates [2]? The increasing capabilities [3]? The ever larger error correcting code demonstrations [4]? The front-loaded costs and exponential returns inherent to fault tolerance? TFA is absolutely correct: the time to start transitioning to PQC is now.<p>[0]: <a href="https://www.nature.com/articles/414883a" rel="nofollow">https://www.nature.com/articles/414883a</a><p>[1]: <a href="https://algassert.com/assets/2025-12-24-qec-foom/plot-half-life-linear.png" rel="nofollow">https://algassert.com/assets/2025-12-24-qec-foom/plot-half-l...</a> (from <a href="https://algassert.com/post/2503" rel="nofollow">https://algassert.com/post/2503</a> )<p>[2]: <a href="https://arxiv.org/abs/2510.17286" rel="nofollow">https://arxiv.org/abs/2510.17286</a><p>[3]: <a href="https://www.nature.com/articles/s41586-025-09596-6" rel="nofollow">https://www.nature.com/articles/s41586-025-09596-6</a><p>[4]: <a href="https://www.nature.com/articles/s41586-024-08449-y" rel="nofollow">https://www.nature.com/articles/s41586-024-08449-y</a></p>
]]></description><pubDate>Tue, 07 Apr 2026 00:25:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=47669172</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=47669172</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47669172</guid></item><item><title><![CDATA[New comment by Strilanc in "Quantum computing bombshells that are not April Fools"]]></title><description><![CDATA[
<p>The newest transaction mechanism (taproot; P2TR) exposes the public key of the receiver as part of the transaction. If it becomes more commonly used, the supply of bitcoins with exposed public keys would start going up again. See figure 5 of <a href="https://arxiv.org/pdf/2603.28846#page=14" rel="nofollow">https://arxiv.org/pdf/2603.28846#page=14</a> .</p>
]]></description><pubDate>Thu, 02 Apr 2026 17:56:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=47617839</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=47617839</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47617839</guid></item><item><title><![CDATA[New comment by Strilanc in "Quantum computing bombshells that are not April Fools"]]></title><description><![CDATA[
<p>The DoS attack in this scenario is someone just submitting reasonable-looking but ultimately bad precommitments as fast as possible. The intuition is that precommitments must be hard to validate because, if there was an easy validation mechanism, you would have just used that mechanism as the transaction mechanism. And so all these junk random precommitments look potentially legitimate and end up being <i>stored for later verification</i>. So all you have to do to take down the system is fill up the available storage with junk, which (given the size of bot networks and the cost of storing something for a day) seems very doable.</p>
]]></description><pubDate>Thu, 02 Apr 2026 17:45:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=47617671</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=47617671</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47617671</guid></item><item><title><![CDATA[New comment by Strilanc in "Quantum computing bombshells that are not April Fools"]]></title><description><![CDATA[
<p>Yes, that would be a concern. You could require a proof of work to submit a precommitment, so that DoSing was at least expensive to do. You could have some sort of deposit mechanism, where a precommitment would lock down 0.1 bitcoins (from a quantum-secure wallet) until the precommitment was used. I admit I'm glad I don't have to figure out those details.</p>
]]></description><pubDate>Thu, 02 Apr 2026 17:38:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=47617559</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=47617559</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47617559</guid></item><item><title><![CDATA[New comment by Strilanc in "Quantum computing bombshells that are not April Fools"]]></title><description><![CDATA[
<p>Caution: that 10M estimate assumes gate error rates 10x lower than the ones assumed in the papers from TFA.</p>
]]></description><pubDate>Thu, 02 Apr 2026 16:40:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=47616778</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=47616778</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47616778</guid></item><item><title><![CDATA[New comment by Strilanc in "Quantum computing bombshells that are not April Fools"]]></title><description><![CDATA[
<p>You are assuming that progress on factoring will be smooth, but this is unlikely to be true. The scaling challenges of quantum computers are very front-loaded. I know this sounds crazy, but there is a sense in which the step from 15 to 21 is larger than the step from 21 to 1522605027922533360535618378132637429718068114961380688657908494580122963258952897654000350692006139 (the RSA100 challenge number).<p>Consider the neutral atom proposal from TFA. They say they need tens of thousands of qubits to attack 256 bit keys. Existing machines have demonstrated six thousand atom qubits [1]. Since the size is ~halfway there, why haven't the existing machines broken 128 bit keys yet? Basically: because they need to improve gate fidelity and do system integration to combine together various pieces that have so far only been demonstrated separately and solve some other problems. These dense block codes have minimum sizes and minimum qubit qualities you must satisfy in order for the code to function. In that kind of situation, gradual improvement can take you surprisingly suddenly from "the dense code isn't working yet so I can't factor 21" to "the dense code is working great now, so I can factor RSA100". Probably things won't play out quite like that... but if your job is to be prepared for quantum attacks then you really need to worry about those kinds of scenarios.<p>[1]: <a href="https://www.nature.com/articles/s41586-025-09641-4" rel="nofollow">https://www.nature.com/articles/s41586-025-09641-4</a></p>
]]></description><pubDate>Thu, 02 Apr 2026 05:35:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=47610351</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=47610351</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47610351</guid></item><item><title><![CDATA[New comment by Strilanc in "Quantum computing bombshells that are not April Fools"]]></title><description><![CDATA[
<p>This is for rescue, not for payment. Once you've moved the coins to quantum-secure wallet, the delay would no longer be needed.<p>...probably some people would be very inconvenienced by this. But not as inconvenienced as having the coins stolen or declared forever inaccessible.</p>
]]></description><pubDate>Thu, 02 Apr 2026 04:51:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=47610119</link><dc:creator>Strilanc</dc:creator><comments>https://news.ycombinator.com/item?id=47610119</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47610119</guid></item></channel></rss>