A very simple Java annotation processor that generates JavaBeans.
Racial justice, social justice, environmental justice—all good causes seem to be justice nowadays. Everything is a struggle between the condemned and the enforcers. Either you are an oppressor or you are one of the oppressed.
Is this a healthy way of looking at the world?
Now targeting JDK 19 for preview.
SWIFT is really just a glorified instant messenger. Money movement works without it, just less conveniently.
A tutorial on Z3. Z3 is a SAT solver. It is used as the underlying deduction engine in many applications that need a theorem prover.
An imperative language with a verification calculus built in.