1Spy: language semantics for a statically-typed compiled variant of Python (opens in new tab)(antocuni.eu)1fanf221h ago0
5A new suite of modern tools for editing and publishing IETF RFCs (opens in new tab)(ietf.org)9fanf21d ago0
6AI companies use malware proxies to mount DDoS attacks on web sites (opens in new tab)(packetstream.io)3fanf22d ago0
8A revolution in mathematics? What happened a century ago and why it matte [pdf] (opens in new tab)(ams.org)2fanf23d ago0
11Text for proofing fonts: a farewell to the quick brown fox (opens in new tab)(typography.com)1fanf26d ago0
12Bear generates a compilation database for Clang tooling (opens in new tab)(github.com)1fanf27d ago0
13Ccls: A C/C++/Objective-C language server protocol implementation derived from C (opens in new tab)(github.com)2fanf28d ago0
14A simple Daikon-style runtime invariant miner for Python (opens in new tab)(rahul.gopinath.org)1fanf29d ago0
