idmitrievsky's comments

On: Buttplug MCP

[idmitrievsky]

Why not?

On: Datafrog: A lightweight Datalog engine in Rust

[idmitrievsky]

It looks like an official borrow checker implementation called Polonius uses it as a dependency, so it makes sense: https://github.com/rust-lang/polonius/blob/981785c101b68ff54...

[kibwen → idmitrievsky]

Note that while Polonius is officially developed by the Rust project, it's still experimental. The goal is to someday ship it as part of rustc, but it still needs work.