@christianp The speed of light is currently 299792458 m/s

@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

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

¬¬¬¬¬¬¬¬¬¬(a⇾a)

olligobber boosted

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

@acciomath I love the logic ligatures

@acciomath the www ligature is so cute

This is a damn sexy font github.com/tonsky/FiraCode

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

Who called it a magma and not a hemidemisemigroup?

@ccppurcell
I should credit the user in reddit that showed a proof for a specific case that inspired this general proof : reddit.com/r/3Blue1Brown/comme

@mjd
I should credit the reddit user who showed a proof for a specific case that inspired my general proof: reddit.com/r/3Blue1Brown/comme

Political programming memes