Recent advances in computer science since 2010?

Since I left school (early 2010s) a couple of recently developed techniques were widely adopted by the industry. For example, Asymmetric numeral systems for compression (e.g. Ubuntu ships with zstd command line utility which implements ideas from ANS). Raft consensus algorithm for consensus in distributed systems, implemented in many widely used systems such as etcd. are some recent advances in computer science from the last decade that have 1) sound theoretical basis, are 2) implementable, and 3) have achieved some level of adoption in the industry (this last criterion is nice to have but not necessary). I am interested in other examples that fulfill at least 2 out of the 3 (subjective:-) criteria that I enumerated. (For example, a new technique that has both (1) and (2) but has not yet been adopted is something I'd like to know about.)