miniblog.

← Back to all posts
Dec 15, 2016 at 08:44
The value of a static analysis tool grows superlinearly with the size of the codebase:
Feelings confirmed by numbers
Feelings confirmed by numbers
For a long time I was worried by some articles on the Internet in which the authors tried to judge about the usefulness of static code analyzers relying on analysis of small projects.

Related Posts

Apr 20, 2026 at 20:32
3
LLMs are surprisingly good at reducing crash samples. I've had success with "this project crashes my static analysis tool with the following command, try to shrink the repro whilst preserving the crash. Commit each smaller version to a branch".
Jan 23, 2026 at 00:09
1
Futhark's design is deliberately trying to stay simple to keep long term design sustainable. The author also has an interesting discussion of relative versus absolute paths in import syntax, and how relative paths can make local analysis easier.
Designing a Programming Language for the Desert
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.
Jan 15, 2026 at 00:07
LLMs are great at style transfer, and this works surprisingly well for syntactic transformations too. I rewrote a small website's EJS templates to 1500 LOC of TSX with a oneshot in Claude. It took ~12 minutes, but it just worked. (TSX seems nicer than EJS for static analysis.)