ceoln @ceoln@qoto.org

HourlyWolves presents: https://nitter.net/hourlywolvesbot/status/1601019074229805058/photo/1

🐦🔗: https://nitter.net/hourlywolvesbot/status/1601019074229805058

I think I've found my new favorite Japanese word...

#Kuchisabishii

On Twitter it took us almost 5 years to reach to 50,000 followers.

Here at Mastodon we may be able to do it within one month.

Support our mission & amplify our voice.

#follow #Auschwitz #memory #museums #memory #history #fediverse #mastodon

Do whatever you can to tell the author that you liked their book, if you indeed did. For those of us who aren't ever going to make a living at this, good reviews are the best thing we can reasonably expect to happen when it comes to our writing. I had a coworker tell me today she read Girl on the Moon and was "enthralled" and she's on book 2 now. It really made my day. #writing #WritingCommunity

you better believe i tried the nightmare popcorn

Thread about #UnivalentCombinatorics, in the sense of @egbertrijke.

Usually people think of #ConstructiveMathematics as being more restrictive than #ClassicalMathematics.

In this thread, I want to give a concrete example illustrating that constructive mathematics is more general than classical mathematics.
1/

#introduction I'm a Lecturer in #ComputerScience at Australian National University #ANU in #Canberra , researching #logic and #typetheory with occasional #categorytheory , and teaching a big course on introductory #programming via #Haskell , plus a little course on #lambdacalculus . I write about old and new(ish) key papers in my fields at my #blog https://updatedscholar.blogspot.com/ . Not a tweeter, but wanted to see if Mastodon worked for me instead!

Why cubical type theory, and why cubical Agda?

The discussion in this thread is going to be a bit technical in several fronts. Sorry.

I was meaning to write this for a while, but this discussion motivated me to write this now:
https://mathstodon.xyz/@agdakx@types.pl/109479087194839726

1/

Just spitballing here, but I think it might be time for lunch.

#CatsOfMastodon #lunch

RCR Episode #260: Recommended Standard 232 and Programmed Data Processor-1. 1960 brought us RS-232 and the PDP-1. Join us as we talk more about COBOL, floppy disk manufacturing, programmable rulers, Microchannel architectures, Happy Computers, and more!

http://rcrpodcast.com/episodes/2022/12/8/rcr-episode-260-recommended-standard-232-and-programmed-data.html

#rcrpodcast #retrocomputing #cobol #pdp #rs232

“Nothing will be what you expected.”

Advice from your 80-year-old self https://www.themarginalian.org/2016/01/18/advice-from-my-80-year-old-self-susan-omalley/

I wish I could reach the correct audience to suggest to that, if you are going to work full time remote, especially for a mostly remote company for the first time, it is absolutely crucial that you learn how people communicate and actively participate in it. Not just how work information is disseminated. Join your “random” and hobby Teams or Slack channels. Meet people not on your direct team. Join a social group if your company sponsors one you find interesting. It indeed takes effort as an introvert - but while working remote you are not building relationships organically like in an office, at all. Those work relationships are important to getting stuff done in business, emotionally feeling part of a team and mission, and staying mentally healthy. We spend a big chunk of our lives working!

Over the last 5 years of working and managing a team FT remote, this social interactivity is one of the top indicators I’ve observed of whether someone will succeed and be balanced and happy, long term - or whether they will burn out and be left behind. The people who often vanish the fastest never chatted except when prompted to do so for business, never turned their camera on, nor set a profile image.

I’m not telling you to step way outside your comfort zone. I’m not saying there aren’t situations where it’s necessary to turn off the camera. I’m not saying you’ll automatically fail if you never socialize. I’m just giving you some advice based on hard life lessons of watching people thrive versus be unhappy.