If you have a background in Isabelle (or other proof systems), I'd appreciate your help in completing a formal proof of Elle's correctness. I've got most of the formalism and properties defined, but I've had a really difficult time convincing Isabelle of the lemmata.
If you're interested, email firstname.lastname@example.org!
my gate is open!!! come steal my fruis!
bluff city season 1 is free for everybody during quarantine!
Got my final 1923 zine from @xor this week! what an amazing project. Parker has packed these chock full with absolutely stunning artwork, poems, writing, and some truly amazing glimpses into an earlier age—one not so different from the one we live in now
I see. And what now?
Cybrespace is an instance of Mastodon, a social network based on open web protocols and free, open-source software. It is decentralized like e-mail.