Josh Chen @jaycech3n@scholar.social
- Website
- https://joshchen.io
Laugh hard. Run fast. Be kind. // PhD student building formal proof systems // Other interests: ethical social media and ML for social good
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
This is monilaria moniliformis, and it’s a succulent that looks like little fuzzy bunnies.
I hope you’re having a nice afternoon! 💚
Facebook has a team working on getting kids under 13 hooked on Facebook.
Hey folks, if you’re still on birdsite, please help me boost this tweet:
https://twitter.com/aral/status/1084413170360422401
Let’s get some more folks on Mastodon and the fediverse while also raising awareness about surveillance capitalism.
Thanks in advance :)
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
https://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*
The science #limericks 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
Proof. The first premise implies (L b b), from which the result follows by the second premise.
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)
Merry Christmas, Fediverse! 😊
When you're browsing on Firefox and you accident open in a new window instead of a new tab.
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
Of course, journals have their own issues...
Publishing mediums, academic journals vs. conferences, theoretical CS
As a mathematician going on to do a PhD in theoretical #CS, i.e. someone going from a journal-based publishing model to a conference-based one, I sometimes ponder the effectiveness of the #conference as a means of disseminating new #research.
This recent article about #NeurIPS highlights some of my concerns..
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.”
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. https://www.eff.org/deeplinks/2018/12/new-fight-online-privacy-and-security-australia-falls-what-happens-next
Hi, I'm Josh! :)
I'm a soon-to-be PhD student in the computational #logic group at the University of Innsbruck, where I'll be working on automated #theorem proving and formal #proof! 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! :)
- Website
- https://joshchen.io
Laugh hard. Run fast. Be kind. // PhD student building formal proof systems // Other interests: ethical social media and ML for social good
