{"type":"rich","version":"1.0","provider_name":"Transistor","provider_url":"https://transistor.fm","author_name":"Programming Tech Brief By HackerNoon","title":"Verification of a Rust Implementation of Knuth’s Dancing\nLinks Using ACL2: Rust and RAR","html":"<iframe width=\"100%\" height=\"180\" frameborder=\"no\" scrolling=\"no\" seamless src=\"https://share.transistor.fm/e/bde0e0bd\"></iframe>","width":"100%","height":180,"duration":209,"description":"\n        This story was originally published on HackerNoon at: https://hackernoon.com/verification-of-a-rust-implementation-of-knuths-dancing-links-using-acl2-rust-and-rar.\nIn this paper, researchers describe an implementation of the Dancing Links optimization in the Rust programming language.\nCheck more stories related to programming at: https://hackernoon.com/c/programming.\n            You can also check exclusive content about #rust, #dancing-links, #art-of-computer-programming, #dancing-links-optimization, #acl2-theorem-prover, #co-assurance-language, #restricted-algorithmic-c, #restricted-algorithmic-rust,  and more.\nThis story was written by: @gitflow. Learn more about this writer by checking @gitflow's about page,\n            and for more stories, please visit hackernoon.com.\nIn this paper, researchers describe an implementation of the Dancing Links optimization in the Rust programming language.","thumbnail_url":"https://img.transistorcdn.com/KhCapPSRkLGL2Xw8888yuChkNRWthaKapLYTvNdu4W4/rs:fill:0:0:1/w:400/h:400/q:60/mb:500000/aHR0cHM6Ly9pbWct/dXBsb2FkLXByb2R1/Y3Rpb24udHJhbnNp/c3Rvci5mbS9zaG93/LzQxMTY2LzE2ODM1/ODIzMzAtYXJ0d29y/ay5qcGc.webp","thumbnail_width":300,"thumbnail_height":300}