[zitterbewegung]

Everyone doing probabilistic programming. Can't really give a summary

https://en.wikipedia.org/wiki/Probabilistic_programming_lang...

Formal verification using ACL2 or Coq or other tools also.

[jakeogh]

https://news.ycombinator.com/item?id=9368443