Lessons from Building Static Analysis Tools at Google: https://cacm.acm.org/magazines/2018/4/226371-lessons-from-building-static-analysis-tools-at-google/fulltext
An excellent 'view from the trenches' of static analysis at Google's scale. Thread.
miniblog.
Related Posts
Idris 2 is self-hosting, faster, compiles to Chez Scheme, and has a bunch of PL design lessons!
Lessons learned from writing a linter/static analysis tool for shell scripts: https://www.vidarholen.net/contents/blog/?p=859
(Preserve positions, use error codes and document them, and there's a tradeoff between beginner mistakes and advanced mistakes!)
WireGuard: a wonderful example if newer protocols having simpler designs and learning lessons from old systems!
https://arstechnica.com/gadgets/2018/08/wireguard-vpn-review-fast-connections-amaze-but-windows-support-needs-to-happen/
(An alternative to OpenVPN in this case. Cf. wayland.)
