BDDs is the choice of data structure for Tau at the moment. "Working like the charmest charm" says Ohad Asor. Never seen him this satisfied with an implementation before.
Video by Model Checking.
Binary Decision Diagrams (BDDs)
6 years ago by etherpunk (75)
$16.15
- Past Payouts $16.15
- - Author $12.30
- - Curators $3.84
60 votes
- + tombstone: $8.145 (27.6%)
- + kevinwong: $6.247 (69%)
- + joythewanderer: $1.049 (100%)
- + penguinpablo: $0.175 (6%)
- + justyy: $0.110 (4.31%)
- + edje: $0.066 (100%)
- + madushanka: $0.060 (65%)
- + calatorulmiop: $0.058 (100%)
- + theywillkillyou: $0.038 (50%)
- + arconite: $0.027 (34.5%)
- + cryptonized: $0.023 (6%)
- + saliv8: $0.021 (100%)
- + thunderbirdcomic: $0.020 (100%)
- + voronoi: $0.019 (50%)
- + superfreek: $0.016 (100%)
- + coolmyll: $0.009 (100%)
- + rayfa: $0.008 (100%)
- + vinayakgupta: $0.008 (100%)
- + aaronleang: $0.008 (10%)
- + davidke20: $0.006 (5%)
- … and 40 more
That right there is the embodiment of my worst nightmare.... math. I'm not kidding when I say I still have nightmares about that stuff from high school
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Submit
Hello! Your post has been resteemed and upvoted by @ilovecoding because we love coding! Keep up good work! Consider upvoting this comment to support the @ilovecoding and increase your future rewards! ^_^ Steem On!
Reply !stop to disable the comment. Thanks!
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Submit