don't exclude ASD for at least some of your friends, based on the self-selection bias in the field, maybe that's where their simplicity craving comes from and the coding addiction

Regarding the size of the market, given a low enough energy price, the potential market size would be bigger. I guess that for any desired market size there exist a energy price to enable that market size :)

"How to Read and Do Proofs" by Daniel Solow, also there is a playlist on YT with the video lectures, very beginner friendly in my opinion https://www.youtube.com/watch?v=lOnsQUFFUEE&list=PL8GFp_SBW-...

I interpreted it as the pain being caused by experiencing one's own perceptions and the importance is put on conceptualizing life (the experiencing) and dropping the self :)

I find the explanations more clear than other such courses. The examples are simple, sets and graphs, something that programmers can easily understand.

http://www.clafer.org/ Lightweight modeling

http://categoricaldata.net/fql.html FQL Functorial Query Languages