Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification
Linters, Formatters, and Type-Checkers
playfulprogramming.comยท1d
Abstract Classes: A Software Engineering Concept Data Scientists Must Know To Succeed
towardsdatascience.comยท2d
And the other Big Red Logic Books?
logicmatters.netยท15h
cAST: Enhancing Code Retrieval-Augmented Generation with Structural Chunking via Abstract Syntax Tree
arxiv.orgยท1d
Loading...Loading more...