Program Proving, TLA+, Coq, Type Theory
On Sale
bluesnews.com·14h
QSB-109: Intel microcode updates
qubes-os.org·2d
PVS-Studio 7.38: new C++ analyzer core
isocpp.org·22h
Carbon and Modernizing C++ with Chandler Carruth
softwareengineeringdaily.com·1d
Python Beginner to Advanced Cheat Sheet
cheatography.com·3d
githubnext/monaspace
github.com·5h
Intriguing Properties of gpt-oss Jailbreaks
lesswrong.com·2d
Misalignment classifiers: Why they’re hard to evaluate adversarially, and why we’re studying them anyway
lesswrong.com·19h
OpenBench v0.3.0 is live! 🚀
threadreaderapp.com·1d
Loading...Loading more...