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