ioc.exchange is one of the many independent Mastodon servers you can use to participate in the fediverse.
INDICATORS OF COMPROMISE (IOC) InfoSec Community within the Fediverse. Newbies, experts, gurus - Everyone is Welcome! Instance is supposed to be fast and secure.

Administered by:

Server stats:

1.3K
active users

Lúcás Meier

@zkproofs Yeah, tactics proofs are very write only for me. I guess you can kind of "embrace it", since you just need to be able to read the definition right, since you're confident the theorem is actually true.

@zkproofs I guess, an automated proof is not a substitute for explanation. (Nor is a pen and paper proof I guess)