Tezos is using POS and has their own programming language: Michelson. And our community likes the language.

POS provides a fast transaction infrastructure for the dapp on Tezos. If you have tried other betting platforms on ethereum, for example, you would know how slow it is for the betting transaction.