actually, I kind of think logical consistency of one's belief system is overrated. (like, a belief system that's mostly, but not fully, right about everything will likely be inconsistent, but that's better than a belief system that's consistently wrong). so i wouldn't run a SAT solver on your posts
our contributions:
* we proved a thing in rocq
limitations:
* pretty much everything in the world except for that 1 thing is still not done in rocq.
managing agents like humans sounds like all the drawbacks of trying to get humans to do what you want, with none of the benefits you'd get from working with real humans
genuinely undefeated
why does llvm need its own special LLVMBool type. what's wrong with the normal bool
gabby seems to disagree
bsky.app/profile/full...
the world sucks, but at least we have irony
i like how merely importing a package in latex will often just set some random formatting option and destroy your entire document
