miniblog.

← Back to all posts
Mar 31, 2020 at 06:28
Some excellent new error diagnostics from gcc with -fanalyze: https://developers.redhat.com/blog/2020/03/26/static-analysis-in-gcc-10/ The multi-function analysis reminds me of Infer, and the cute nested ASCII display resembles rustc.
Static analysis in GCC 10 | Red Hat Developer
Static analysis in GCC 10 | Red Hat Developer
Discover the new -fanalyzer option coming to GCC 10 that provides a static analysis pass to identify problems at compile-time, rather than at runtime

Related Posts

Apr 2, 2026 at 09:44
2
Some excellent safety improvements in C++26: hardening the standard library against out-of-bounds bugs, and a safer semantics for uninitialised local variables:
C++26 is done! — Trip report: March 2026 ISO C++ standards meeting (London Croydon, UK) – Sutter’s Mill
Mar 20, 2026 at 12:02
223
Excellent series on Self, both the programming model and the tool chain. I love how opening an inspector on a value (e.g. nil) then shows a link to all occurrences of the value in other open inspectors!
Environment and the programming language Self (part one; environment)
Environment and the programming language Self (part one; environment)
I bring you a message about a language that has been at the birth of many others, but almost no one knows it. A rumor of a graphical environment offering options like no other, but almost no one using it. I also bring information about a virtual machine supporting reflection almost to infinity, reaching almost half of the operating power of C in numerical calculations in its time, yet today forgotten.
Aug 17, 2025 at 08:05
3
The Matter protocol is excellent for puns. "Does it Matter? It doesn't Matter."