{"id":"elixir-c30527dd99f9","seq":2165,"kind":"release","title":"Lazier Binary Decision Diagrams (BDDs) for set-theoretic types","url":"https://elixir-lang.org/blog/2025/12/02/lazier-bdds-for-set-theoretic-types/","permalink":"https://vulnpulse.app/items/elixir-c30527dd99f9","summary":"This article explores the data structures used to represent set-theoretic types and the recent optimizations we have applied to them.","severity":null,"techs":["erlang"],"cves":[],"tags":[],"source":{"id":"elixir","name":"Elixir Blog"},"published_at":"2025-12-02T00:00:00.000Z","fetched_at":"2026-10-21T16:17:45.834Z"}