@logicbot I mean, github.com/olligobber/DirectPr can almost generate the proofs, just need to add some conditional proofs of a→a etc. at the start, then figure out the I/O

Show thread

Fun project idea, a bot that responds to @logicbot with proofs of its tautologies.

@jsiehler I took a guess, then got a computer to brute force it and it proved me wrong.

olligobber boosted
olligobber boosted

you know, 'this mf' is technically a gender neutral pronoun

I declare ln(69)≈4.234 to be Sanderson's number

I think I need to set up a cat bed next to me laptop's heat vent.

olligobber boosted

Challenge for applied category theory: build a ronavirus, so that the world can be sane again.

olligobber boosted

Political programming memes 

Found via @statebox@twitter.com

Show more
Mathstodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!