Lazier Binary Decision Diagrams for set-theoretic types
(news.ycombinator.com)
1.
Today's top topics:
cnet