HN
Hacker News
Top
New
Best
Ask
Show
Jobs
tvda
25 karma · joined December 2, 2025
submissions
comments
Lazier Binary Decision Diagrams for set-theoretic types
elixir-lang.org
·
51 pts
·
tvda
·
5