Yeah I don’t get it. Shifts and rolls are among the simplest of all instructions to implement because they can be done with just wires, zero gates. Hard to imagine a justification for leaving them out.

My main skepticism here is whether the theorems have been properly replicated in the proof. Verifying that the proof really captured the mathematical statement seems like a manual, human process, and quite hard to repeat reliably across proofs.

Yeah I learning about LPCAMM2 memory was far more interesting than the repairability score.

Oh completely. But my perspective is that we all should individually punish clickbait by not clicking. More broadly, we should strive to keep HN full of quality tech content rather than clickbait.

"better", "more accessible"? What the hell are you talking about? Clickbait doesn't make anything better or more accessible.

Instead, it makes it impossible to pre-select for interesting information. Instead of telling you what something is about, it tells you how you should feel about it. That's not improving accessibility.