A Strong Correspondance Between Bayesian Networks and Linear Logic Proof-Nets | Hacker News Reader