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 email@example.com!
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
Black out day, selfies, eye contact
Five years ago today the first #BlackOutDay happened over on Tumblr. It was wonderful getting inundated in images of black folks and taking a break from images of whiteness. Being as surrounded by whiteness as I generally am out was definitely something I needed to see at the time.
Here's an assortment of images of me from the past year for this and happy #FineFemmeFriday to everybody.
I started reading it because I deeply admired the sheer clarity of purpose that comes of naming your Madoka fanfiction "Fargo" and I was extremely not disappointed.
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.