A very strange blog by one Mencius Moldbug, who calls himself a reactionary.
I am not sure whether “reactionary” as used here and “neo-reactionary” as used by Tyler Cowen are the same thing or whether it even is a coherent concept in the first place.
They are still very bad, of course, particularly if you are living in a large population center.
Lets you simulate the detonation of a nuclear war head in a location of your choice and estimate how bad it would be.
Try to make a guess before running the simulation and see how well it lines up with the result.
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.