Tian Keyu Model-Training Sabotage Incident: Victim Accounts and Evidencekeyu-tian-sabotage.github.io·3 pts·csmantle·0
Relaxed Memory Model Zoo: Ordering models by the inclusion of allowed behavioursrmm-zoo.kissig.org·2 pts·csmantle·0
Comments that go into code vs. those that go into the pull request descriptiondevblogs.microsoft.com·2 pts·csmantle·0
armlint: Examine AArch64 machine code to find suboptimal instruction sequencesgithub.com·3 pts·csmantle·0
LoongLeak: A Vulnerability Affecting Chinese Loongson 3A5000 and 3A6000 CPUsloongleakattack.com·10 pts·csmantle·0
ao486: x86-compatible Verilog core implementing all features of a 486 SX (2014)github.com·73 pts·csmantle·14