A Homological Proof of P != NP: Computational Topology via Categorical Frameworkarxiv.org·12 pts·rescrv·21
HyperDex, a consistent, fault-tolerant key-value store, hits version 1.0.rc1groups.google.com·55 pts·rescrv·20