@bea I've implemented 4 processors in it so far for symbolic execution and it has no peers currently.
@Fuego hot damn
@Fuego i think
i think they'd fuckin throw me in a pit full of rose bushes if i added that as a dependency to mastodon
tho...
with the powers of federated microblogging and automated theorem proving combined
surely we'd be unstoppable?!
@typhlosion @Fuego so... no change then
@bea I um... why do we need a solver in mastodon?
Just make something that can ingest the database and be a standalone thinger ;)
@Fuego it was proposed as a flexible and efficient way of doing toot filtering on the server side!
@bea uh... Godspeed. Imma see myself out hahahaha
@Fuego yr killin me fuego d: