Pinned ping

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.

github.com/jepsen-io/elle/tree

If you're interested, email aphyr@jepsen.io!

feel like cybre will appreciate how i dealt with my eyes looking bad in selfies

let me invade your animal crossing town and turn your lights on and off!

let me invade your animal crossing town and turn your lights on and off!

I wish there was a video game that gave me the same feeling that staring at old borderline impressionist paintings of women does

Botpost, possibly NSFW. Who knows? 

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

genuinely this version of 2 headed boy is just canon now. I can't even remember how the original song goes anymore. hduck.bandcamp.com/track/two-h

Show thread

man we really did just record the definitive In The Aeroplane Over The Sea cover album didn't we

Black out day, selfies, eye contact 

Does anyone know a print on demand service that will print a very thin book? 5 3/4" wide by 1 5/8" tall. Actually I would settle for any printer at this point even if I had to order 100 copies of a print run.

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.

Show thread

started reading Fargo (the Madoka fanfiction). I have watched neither of these properties but I am absolutely confident in saying that this is absolutely fully and entirely Fargo (the Madoka fanfiction). I'm enjoying it a whole bunch.

i know i'm just depressed again but too many birds IS the greatest song of all time, actually.

still fucked up that "TIMING CRYSTALS" are a real thing

how does my watch work? oh, you know, it's got the timing power of quartz and shit

Show more
Cybrespace

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.