2 ms·
Everyone doing probabilistic programming. Can't really give a summary https://en.wikipedia.org/wiki/Probabilistic_programming_language https://en.wikipedia.org
by zitterbewegung 11y ago
Everyone doing probabilistic programming. Can't really give a summary
https://en.wikipedia.org/wiki/Probabilistic_programming_language https://en.wikipedia.org/wiki/Probabilistic_programming_lang...
Formal verification using ACL2 or Coq or other tools also.
- jakeogh 11y agohttps://news.ycombinator.com/item?id=9368443 https://news.ycombinator.com/item?id=9368443