Simple privacy-friendly web analytics alternative to Google Analytics.
Read, search and organize your RSS news feeds.
future
Communicate with your friends and colleagues through a shared folder.
future| Oct 2025 |
Using likely invariants to improve static analysis results
Identiying likely invariants can help us filter out false positives from static analysis results and prioritize issues.
|
Read » |
| Feb 2025 |
Modifying entire codebases without affecting git blame
Learn how to modify entire codebases, for example to automatically format your code, without affecting git blame.
|
Read » |
| Aug 2024 |
Getting started with clang sanitizers
Invaluable dynamic analysis tools that can be used during development to identify bugs that might otherwise go unnoticed.
|
Read » |
| Aug 2024 |
Qualities of a great static analyzer
Reflections on what makes a good static analyzer, a great static analyzer.
|
Read » |
| Aug 2024 |
Undefined behaviors in C/C++
Introduction to some of the most common undefined behaviors in C/C++.
|
Read » |
| Aug 2024 |
Learning from static analyzers
Static analyzers are making us better developers by helping us understand why something is a problem and what we should do instead.
|
Read » |
| Jul 2024 |
To open source, or not to open source
A question that every software developer contemplating productizing one of their personal projects asks themselves.
|
Read » |
| Jul 2024 |
Why I'm creating my own web analytics solution
A privacy-friendly web analytics alternative to Google Analytics, named re/analytics.
|
Read » |
| Jul 2024 |
Writing to think
Some of the ways that writing has helped me think over the years.
|
Read » |
| Jan 2024 |
Introducing re/blog
A simple client-side markdown blog engine, built for fun!
|
Read » |
| Oct 2020 |
Using roslyn for static analysis
Learn how to use Roslyn, also known as the .NET compiler platform, to statically analyze C# projects.
|
Read » |
| Aug 2018 |
Quick introduction to Coq
Learn the basics of Coq, an interactive theorem prover that is based on the calculus of inductive constructions.
|
Read » |
Hi, I'm Andrew. I currently work at Perforce on Klocwork, a static analysis tool for C/C++, C# and Java. Before that, I was researching ways to control information flows to empower users and help protect their privacy. I am also experienced in web development and machine learning.
I love building software, researching and writing. I've been doing it for the past 25 years or so.
I have an amazing wife, two wonderful daughters and a crazy dog (we still love him).
If you'd like to discuss, feel free to reach out. Je parle aussi français.
