@jrhawley The code itself is the input language of the proof assistant Isabelle.
The pretty picture is not actually an editor; just a pretty vehicle to present code generated by carbon.now.sh

I have just had an epiphany—"a monad is just a monoid in the category of endomorphisms" is the category theorist's "the mitochondria is the powerhouse of the cell" :D

Josh Chen boosted
Josh Chen boosted

This is monilaria moniliformis, and it’s a succulent that looks like little fuzzy bunnies.

I hope you’re having a nice afternoon! 💚

Josh Chen boosted

More CS Lewis thoughts; Sorry it keeps happening; Cosmic Trilogy spoilers I guess 

@bgcarlisle I found That Hideous Strength weird at first, but then it grew on me quite a bit!

Josh Chen boosted

Hey folks, if you’re still on birdsite, please help me boost this tweet:


Let’s get some more folks on Mastodon and the fediverse while also raising awareness about surveillance capitalism.

Thanks in advance :)


Josh Chen boosted

The World President took the call.
"All right, Dr Dastard, what are your demands?"
"Media always talk about my inventions and schemes, and call me 'mad scientist' or 'evil genius'."
"I can't control media-
"But it's not just me! It's never a lone genius! My team deserves credit!"
#MicroFiction #TootFic #SmallStories

Josh Chen boosted

radar.squat.net is an alternative and radical events agenda. It lists events at autonomous and community spaces that are generally either free or entry on donation

It would be great to see more events from other places around the world listed.


#squattheplanet #freespaces #radar

*please boost for visibility*

Josh Chen boosted

The science are multiplying!

I don't know the lower left moon language, but I'll try to translate the Swedish one:

'An inventor living in some backwater
wrote to the patent bureau last quarter
"I've halted the flow,
made vacuum-dried H2O,
you only need to add water!"'

@pranavats No I haven't! My motivation for anything chess-related is highly variable...and the game itself is one of those things for which I am currently happy to be an advanced novice 😆

Logically pedantic readings of song lyrics 

Proof. The first premise implies (L b b), from which the result follows by the second premise.

Show thread

Logically pedantic readings of song lyrics 

Everybody loves my baby
∀x. L x b

But my baby don't love nobody but me
∀x. L b x → x = m
Therefore I am my own baby
b = m

(Seen in Smullyan's A Beginner's Guide to Mathematical Logic)

@PhilDork >:(((

Dude, nerds != losers at all! Own it with pride, keep making your interests yours, you'll find a bunch of people who think the same way :)

Josh Chen boosted

When you're browsing on Firefox and you accident open in a new window instead of a new tab.

Show more
Scholar Social

Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully.