kogasa

One of the few things I can be pedantic about, so I must...

topologically equivalent

Ambient isotopic in R^3, which is much stronger than homeomorphic, which is the usual notion of topological equivalence. Yet easier to understand intuitively, because ambient isotopy classes are basically just "what you can do with a rubber band."

It's possible to have an equiangular quadrilateral, i.e. whose sides are geodesics (the analogue of "straight line" on a sphere). The Gauss-Bonnet theorem implies their total interior angle is greater than 2pi, so four right angles can't work.

Here's an interactive demo of quadrilaterals on the sphere: https://geogebra.org/m/q83rUj8r

Notice that each side is a segment of a great circle, i.e. a circle that divides the sphere in half. That's what it means for a path to be a geodesic on the sphere.

Good point. Four equal angles, then, although they will each have to be greater than 90 degrees.

Four right angles.

Sure, but hosting the wiki itself has a cost.

I have read programs a lot shorter than 500 lines which I don't have the expertise to write.

I dunno, but the last season takes a hard left turn with one major character leaving the pd for ethical reasons and the others struggling with their part in the institution. It was definitely informed by current events.

Sure, throw people in jail who haven't committed a crime, that'll fix all kinds of systemic issues

Still not enough, or at least pi is not known to have this property. You need the number to be "normal" (or a slightly weaker property) which turns out to be hard to prove about most numbers.

Bitcoin is more widely seen as a vehicle for speculation rather than a decentralized currency. Unlucky.

Looks just like my old fluff did 10 years ago :)

What's the lockin? Is it really harder than just swapping the jdk path to switch between Coretto and OpenJDK? I understand Coretto being preferable for performance and security patches but I don't imagine it's that big of a deal if one eventually had to switch