> To turn cattle into trusted financial guarantees or collateral without requiring inspectors to visit the property, Cowmed equips cows with an AI-powered Smarty Collar. These collars constantly monitor health, behavior, and location. The raw data is then converted into an encrypted digital identity tied directly to the B3 credit agreement. [Emphasis mine]

- “up” and “down” was explained. If I bet “down” I’m betting my stock will underperform the monkey index? And if I am correct, I will make money (short the asset) or simply loose less than if I’d invested in monkey?

- loosing less money was green (win) when monkey is down even more.

Instead you need to find like-minded people who are willing to challenge their thinking.

Define “massive”. SpaceX is only 1.2% of QQQ.

Also known as “social proof”/“social credibility”, and it’s a common mistake to assume it has no value whatsoever.

https://cricketmedia.com/childrens-magazines

https://rangerrick.org/

This is far more precise. The article talks about this from the users side, how there is a class of user who enjoys learning all of these “extra” features, even though they ultimately provide less value than the core features.

>> If people find vim, emacs, or whatever genuinely good and productive, I’m not going to criticize them for using it. People are most comfortable with what they know. But for the people I am discussing, that same familiarity blinds them to their tools’ flaws, and leads them to celebrate those flaws, flaunting them as games.

I think it’s fine if that’s your hobby, but I agree that in a professional context one should be much more critical of their tools. Even asking “why do I need a tool for this at all?” will reveal shortcomings in processes, data structures or other tools that will reap much greater rewards if effort is put into fixing those instead of optimizing use of a quirky tool.

Is strongly typed not “I compiler/runtime guarantee the bytes I read adhere to type T”?

A common way to market to these firms is to be very easy to find when their software starts to have serious issues.

[1] https://www.laputan.org/mud/

I don’t think this is actually true. What’s your source for this? States set K-12 curriculum.

Just to be clear, software development itself is not deterministic, though? The software developer pushes a given business process from less-deterministic toward more deterministic? When we say we’ve “abstracted LLMs out of a process” we’d also say that we’ve abstracted software developers out that process as well?