Sonarsource's PL/I static code analysis rules
2021-07-26
Non-Standard Analysis in ACL2 [pdf]
2021-07-26
Show HN: StaticBack end I open-sourced my SaaS dev tool
2021-07-23
The Kingdom of Loathing (free online game)
2021-07-23
Read a Paper: Static Single Assignment
2021-07-20
Accidental Observations
2021-07-20
An academic study static analysis alarms in C. ~2 hours,$8.00/h as a gift card
2021-07-20
Scorched, Parched and Now Uninsurable: Climate Change Hits Wine Country
2021-07-19
Apple Music Style Guide
2021-07-13
Carp: A statically typed Lisp, without a GC, for real-time applications
2021-07-12