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
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!"'

Logically pedantic readings of song lyrics Show more

Logically pedantic readings of song lyrics Show more

Josh Chen boosted

Since you've all already made the trek to join Mastodon, consider these more ethical, privacy-friendly alternatives to other social media, web browsers, etc.


Josh Chen boosted

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

Josh Chen boosted

Imperial space station classes

1. Death Star
2. Serious-Injury Planet
3. Bruise Moon
4. Insult Asteroid
5. Make-You-Feel-Unwelcome-But-Don't-Actually-Do-Or-Say-Anything-Overtly-Hostile Micrometeorite

Publishing mediums, academic journals vs. conferences, theoretical CS Show more

Publishing mediums, academic journals vs. conferences, theoretical CS Show more

Josh Chen boosted

Tim Pennings noticed that his Welsh corgi, Elvis, seemed to follow the optimal path when chasing a ball thrown into Lake Michigan — Elvis seemed to realize that he ran faster than he swam, and so could minimize his retrieval time by racing intelligently along the beach before jumping into the water. But how did he make these judgments?

“We confess that although he made good choices, Elvis does not know calculus,” Pennings wrote. “In fact, he has trouble differentiating even simple polynomials.”

Josh Chen boosted

In a crushing blow to digital rights, Australia has joined the UK in claiming the right to secretly compel tech companies to re-engineer software and hardware so it can be used to spy on their users. eff.org/deeplinks/2018/12/new-

Hi, I'm Josh! :)
I'm a soon-to-be PhD student in the computational group at the University of Innsbruck, where I'll be working on automated proving and formal ! Basically, this means I get computers to automate logical reasoning, which helps greatly in providing rigorous guarantees of the safety of real-world systems (computer hardware, internet protocols, self-driving cars, ...).

Looking forward to meeting cool new people here! :)

Scholar Social

NOTICE: Registration on scholar.social is open to anyone who is willing to abide by our Community Standards. Email scholar dot social at protonmail dot com if you want an invite!

Federated microblogging for academics

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.

We strive to be a safe space for queer people and other minorities in academia, recognizing that there can only be academic freedom where the existence and validity of interlocutors' identities is taken as axiomatic.

"An academic microblog that you can be proud to put on the last slide of a presentation at a conference"

"Official" monthly journal club!

(Participation is, of course, optional)

Scholar Social features a monthly "official" journal club, in which we try to read and comment on a paper of interest.

Any user of Scholar Social can suggest an article by sending the DOI by direct message to @socrates@scholar.social and one will be chosen by random lottery on the last day of the month. We ask that you only submit articles that are from *outside* your own field of study to try to ensure that the papers we read are accessible and interesting to non-experts.

Read more ...