5 ms·
Knuth - "Fun With Binary Decision Diagrams (BDDs)" (June 5, 2008) https://www.youtube.com/watch?v=SQE21efsf7Y https://www.youtube.com/watch?v=SQE21efsf7Y He h
by carapace 4y ago
Knuth - "Fun With Binary Decision Diagrams (BDDs)" (June 5, 2008)
https://www.youtube.com/watch?v=SQE21efsf7Y https://www.youtube.com/watch?v=SQE21efsf7Y
He has some other good material on BDDs, some of it in TAoCP.
(My search fu is failing me this morning. I found https://crypto.stanford.edu/pbc/notes/zdd/ https://crypto.stanford.edu/pbc/notes/zdd/ which seems interesting, and Ben Lynn has some cool stuff linked from his home page: "Lambda calculus one-line self-interpreter", "Haskell compiler that runs in the browser"...)
- dubya 4y agoKnuth also has sample code here: https://www-cs-faculty.stanford.edu/~knuth/programs.html https://www-cs-faculty.stanford.edu/~knuth/programs.html I couldn't get some of it to work due to pointer hijinks not cooperating with Macos, but it's fine in a Linux vm.
- dunham 4y agoBen Lynn's "Award winning compiler" is one of my favorites, and he keeps adding to that page.