Benki β†’ Bookmarks

β‡  previous page next page β‡’

Neo-reaction is mostly racist and chauvinist, but it is intellectually interesting because it raises a few good questions (not the least of which being how to deal with neo-reactionaries winning elections).

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.

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?

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.

β‡  previous page next page β‡’