CppNorth on Mythryl: “NDC Toronto 2026: Rust & Pickleball! 🦀🎾 Join Bob McNaughton: "Use…”

@cppnorth.bsky.social

NDC Toronto 2026: Rust & Pickleball! 🦀🎾 Join Bob McNaughton: "Use a Rust SAT Solver to play better pickleball!" Discover how formal logic and Rust can optimize your game strategy. 📅 ndctoronto.com/agenda 🎟️ ndctoronto.com/tickets 🍁 May 5-8! #RustLang #NDCToronto

ndctoronto.comUse a Rust SAT Solver to play better pickleball! | NDC Toronto 2026Many years ago, when I was an undergraduate CS student, my professor informed me that the Boolean Satisfiability problem was NP-Complete. I took this to mean it was not something I should waste any time thinking about or expect to be a useful tool in the future.

10/4/26, 5:41 pm0 reposts0 likes

Post