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.

https://github.com/jepsen-io/elle/tree/master/proof

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

**made out of flesh or wood** · Mar 30, 2020, 22:18

made out of flesh or wood relayed

**Kitty Unpretty** @KittyUnpretty@cybre.space · Mar 30, 2020, 22:18

Mar 30, 2020, 22:18

Kitty Unpretty @KittyUnpretty@cybre.space

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

**made out of flesh or wood** @nightpool@cybre.space · Mar 22, 2020, 20:51

**made out of flesh or wood** @nightpool@cybre.space · Mar 22, 2020, 20:51

Mar 22, 2020, 20:51

made out of flesh or wood @nightpool@cybre.space

my gate is open!!! come steal my fruis!

Show thread

**made out of flesh or wood** · Mar 22, 2020, 01:45

made out of flesh or wood relayed

**made out of flesh or wood** @nightpool@cybre.space · Mar 22, 2020, 01:45

Mar 22, 2020, 01:45

made out of flesh or wood @nightpool@cybre.space

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

ba642ae1e834269e.jpg

**made out of flesh or wood** @nightpool@cybre.space · Mar 22, 2020, 01:45

**made out of flesh or wood** @nightpool@cybre.space · Mar 22, 2020, 01:45

Mar 22, 2020, 01:45

made out of flesh or wood @nightpool@cybre.space

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

ba642ae1e834269e.jpg

**made out of flesh or wood** @nightpool@cybre.space · Mar 20, 2020, 02:09

**made out of flesh or wood** @nightpool@cybre.space · Mar 20, 2020, 02:09

Mar 20, 2020, 02:09

made out of flesh or wood @nightpool@cybre.space

bluff city season 1 is free for everybody during quarantine!

https://twitter.com/Friends_Table/status/1240817327895183362

**made out of flesh or wood** @nightpool@cybre.space · Mar 19, 2020, 01:00

**made out of flesh or wood** @nightpool@cybre.space · Mar 19, 2020, 01:00

Mar 19, 2020, 01:00

made out of flesh or wood @nightpool@cybre.space

@KittyUnpretty tfw there's a plague happening and you are the alone

**made out of flesh or wood** · Mar 16, 2020, 15:47

made out of flesh or wood relayed

**「VRISKA」** @vriska@lizards.live · Mar 16, 2020, 15:47

Mar 16, 2020, 15:47

「VRISKA」 @vriska@lizards.live

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

**made out of flesh or wood** · Mar 13, 2020, 19:49

made out of flesh or wood relayed

**Meep Morp Robot Caelyn** @caebooks@botsin.space · Mar 13, 2020, 19:49

Mar 13, 2020, 19:49

Meep Morp Robot Caelyn @caebooks@botsin.space

Botpost, possibly NSFW. Who knows?

**made out of flesh or wood** @nightpool@cybre.space · Mar 09, 2020, 01:57

**made out of flesh or wood** @nightpool@cybre.space · Mar 09, 2020, 01:57

Mar 09, 2020, 01:57

made out of flesh or wood @nightpool@cybre.space

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

25247bd744a1ca2a.jpeg

**made out of flesh or wood** · Mar 08, 2020, 14:10

made out of flesh or wood relayed

**danielle~!** @00dani@vulpine.club · Mar 08, 2020, 14:10

Mar 08, 2020, 14:10

danielle~! @00dani@vulpine.club

i want fuit snuggle

**made out of flesh or wood** @nightpool@cybre.space · Mar 08, 2020, 03:20

**made out of flesh or wood** @nightpool@cybre.space · Mar 08, 2020, 03:20

Mar 08, 2020, 03:20

made out of flesh or wood @nightpool@cybre.space

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

Show thread

**made out of flesh or wood** @nightpool@cybre.space · Mar 08, 2020, 03:20

**made out of flesh or wood** @nightpool@cybre.space · Mar 08, 2020, 03:20

Mar 08, 2020, 03:20

made out of flesh or wood @nightpool@cybre.space

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

**made out of flesh or wood** @nightpool@cybre.space · Mar 07, 2020, 23:24

**made out of flesh or wood** @nightpool@cybre.space · Mar 07, 2020, 23:24

Mar 07, 2020, 23:24

made out of flesh or wood @nightpool@cybre.space

regret:

e9a7edb4bff2593f.png

**made out of flesh or wood** · Mar 06, 2020, 13:43

made out of flesh or wood relayed

**👀[Imani will remember that.]** @imani@playvicious.social · Mar 06, 2020, 13:43

Mar 06, 2020, 13:43

👀[Imani will remember that.] @imani@playvicious.social

Black out day, selfies, eye contact

**made out of flesh or wood** · Mar 02, 2020, 01:53

made out of flesh or wood relayed

**Aaron Parecki** @aaronpk@aaronparecki.com · Mar 02, 2020, 01:53

Mar 02, 2020, 01:53

Aaron Parecki @aaronpk@aaronparecki.com

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.

**made out of flesh or wood** @nightpool@cybre.space · Feb 27, 2020, 05:19

**made out of flesh or wood** @nightpool@cybre.space · Feb 27, 2020, 05:19

Feb 27, 2020, 05:19

made out of flesh or wood @nightpool@cybre.space

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

**made out of flesh or wood** @nightpool@cybre.space · Feb 27, 2020, 05:17

**made out of flesh or wood** @nightpool@cybre.space · Feb 27, 2020, 05:17

Feb 27, 2020, 05:17

made out of flesh or wood @nightpool@cybre.space

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.