How do people continually fall for this. Refusing to look at the playbook that has been run time and time again and then getting offended when it is too late.

Every time you go off the beaten path, you're locking yourself into less documentation, more bugs (since there's less exploration of the dark corners), and fewer people you can go to for help. If you've got 20+ choices to make, picking the standard option is the right choice on average, so you can just do it and move on. You have finite attention, so doing a research report on every dependency means you're never actually working on the core problem.

The exceptions to this are when a) it becomes apparent that the standard tool doesn't actually fit your use case, or b) the standard tool significantly overlaps the core problem you're trying to solve.

Reading that took five minutes and gave a good intro to the counter argument to Curry-Howard-all-the-things monomania. If having invested those five minutes, Lean still seems like the way to go (for whatever reason) fine. You are making a (closer to) informed choice, and likely better off than if you'd spent those five minutes doubling down on the conventional solution.

Most deviations from the group consensus are mistakes, but all progress comes from seeing past the group consensus. So making frequent small bets on peeking around your blinders is a good strategy.

It really should be "use the same tool that everyone else is using so you don't have decide which tool is the right one -- the herd made that decision for you!"

The Brompton bike is also quite bombproof. It's heavier than other options, but solid as hell.

"After an all-night battle on the Frisco Tracks, many residents of Greenwood were taken by surprise as bullets ripped through the walls of their homes in the predawn hours. Biplanes dropped fiery turpentine bombs from the night skies onto their rooftops—the first aerial bombing of an American city in history. A furious mob of thousands of white men then surged over Black homes, killing, destroying, and snatching everything from dining room furniture to piggy banks. Arsonists reportedly waited for white women to fill bags with household loot before setting homes on fire. Tulsa police officers were identified by eyewitnesses as setting fire to Black homes, shooting residents and stealing. Eyewitnesses saw women being chased from their homes naked—some with babies in their arms—as volleys of shots were fired at them. Several Black people were tied to cars and dragged through the streets."

---

"One kid groped another kid" is an insufficient explanation of this kind of violence and looting.

I did not offer any explanation, I stated that wikipedia does not offer the one that was claimed here.

The funny thing about scaling laws is that as soon as they were known, the whole objective became learning how to break them - bending the curve, at least. They provided an incredibly useful target, but 'law' was a bit too strong a word.