ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematicsarxiv.org·2 pts·super256·0
Analysis finds Australia’s inflation being driven by company profits, not wagestheguardian.com·367 pts·super256·306
Is there a Correlation between Swearwords usage and Code Quality in Open Source? [pdf]cme.h-its.org·3 pts·super256·3
Rettiwt-API – API for fetching data from TwitterAPI, without any rate limitsnpmjs.com·1 pts·super256·0
Hello-world.rs: Memory safe, fast, configurable hello-world written in Rustgithub.com·2 pts·super256·0
Call of Duty Cheat Makers Tell Judge That Activision Is Already Suing Themtorrentfreak.com·1 pts·super256·0