Email or username:

Password:

Forgot your password?
unnick's posts Post Back to profile
Top-level
Joel VanderWerf

@unnick

checking for Axiom of Choice ... yes

28 May at 1:14 | Wall-to-wall | Open on mastodon.social
2 comments
Loïc Denuzière

@joelvanderwerf
Does that mean that there's a way to cut a program into five pieces that's equivalent to fork()?
@unnick

28 May at 10:41 | Open on mastodon.tarmil.fr
greg

@tarmil @joelvanderwerf @unnick I think it means that Autotools is able to find a constructive proof of AC, which might indicate that Autotools is not consistent. But we already knew that ;)

28 May at 12:47 | Open on infosec.exchange
Go Up