Boosted by dysfun@treehouse.systems ("gaytabase"):
amy@types.pl ("Amélia Liao 🍊") wrote:
Imagine praying to a slopinator to "fix the bug, make no mistakes, pretty please", dropping the incorrect turd unannounced on the complacent contributors who decided to run appeasement for the fascist support provided by your prompting addiction, then having the au-da-ci-ty to stride into a fork's comments to start shit about attribution.
Fuck all the way off. I'm more likely to humour someone asking me to acknowledge The Lord Thy God in my commits. "The common culture in the scientific process" is upheld only to the extent everyone involved is working in good faith; you are, demonstrably, not. You should be happy my commit pointed out exactly how your slop was incorrect bullshit, since it puts a bound on the time during which someone glancing at the Agda source would conclude that Andreas Abel has no idea what substitutions or the signature are.
