Like the “infohazard” from this book.

Bluesky now has over 10 million users, and I was #4,912,703!

(fixed version of meme)

@mattparlmer.bsky.social congratulations on the i-400-a launch!

You can capture Z3 inferred clauses from Z3Py using a callback.

I like this idea.

We can easily create new proposition data by applying rewrite rules to propositions. The Argument Compiler looms in the distance.

@til.bsky.social Here is an example of what I am working on for the logic project. An idea from Laurence Bonjour‘s In Defense of Pure Reason modelled in Z3Py. This script doesn’t run yet but I‘m happy with it.