Fun puzzles. I feel like gates are hard to distinguish from one another, except for the rotation and translation ones.

This is a too simplistic analogy of economy. The source of "money" is not people, it's trade (read "On Money" by David Hume (1752)), which always happened between people, but not only anymore. Examples of this: trade bots, smart contracts (which are just programs managing money).

Maybe we should start talking about open-washing (like green-washing is to ecological statements).

Very interesting. I think it needs to be clear that the fundamental theories (dependent type theory) is very much grounded. It's at the practical implementation of Lean4 that the critic aims at.

GIS is niche and technically difficult enough that I doubt your comment is right.

"Value" of a PR is somewhat overlooking the fact that it's code we're talking about. A great and large feature with terrible bugs has some "value", but you definitely don't want to review that PR for nothing, because it definitely won't be accepted.

What's almost certainly true is the amount of insanity he encountered at Anthropic.

They do speak of the gravitational singularity (not the event horizon). It's within the horizon, there is a contradiction between the need for two infallers' position to reach the singularity (thus hitting a point) and the causal impossibility of them actually meeting (following General Relativity?). This suggests that the point should maybe be a surface.

I don't follow most of the arguments however.

The first 1 star comment on the "YEREADW USB-C Tester Power Meter" marketed here is worrisome:

> HOWEVER, the issue is that, for some reason, on some devices, it seems to mess with PD negotiation. On chargers that I know can output 15V, it will not negotiate to 15V, it will only charge the device at 5V 3A.