This Article IsCreated at 2024-02-17Last Modified at 2024-03-19Referenced as ia.www.f18

How I Got Banned From Sending PR To Zig For A Year

Content Warning: Deep Confusion. Drama Maybe?

The story is here. I still don’t understand what happened, and I have gave up on figuring that out.

In any case, it is weird how Github allows a project to act on behave of a user without their consent (in this case, requesting for a reviewer for whoever is sending a PR to Zig). This affordance should not be allowed in any software product.

Update: When studying the history of how Zig’s current type system came to be, I discovered that the two people I clashed with in this incident invented it. For details, see the footnotes of my article on abusing the type system in Zig. Now I need to contemplate on life, math, knowledge and concepts that I do not yet have words for.