drewfer @drewfer@qoto.org

*knock knock*

"Who's there?"

"Your mortality."

Status: Currently celebrating labor day at the office, working.

Just won the fast draw competition?!? #TotallyNotAnAccident

It's 5:00 on Friday and I'm listening to dubstep and writing unit tests for the CRC impl.

CS People: anyone with formal proof experience? We're toying with some research into #DeepSpec style formal proofs of architectures and language and I'm looking for some good survey papers to get up to speed. Any suggestions?

It seems like instance admins should look at Postel's law when thinking about their social responsibilities as an admin.

If you want the fediverse to be an engaging and robust tool for the exchange of ideas you need to moderate users on your instance strictly by your code of conduct but accept pretty much anything save technical attacks and illegal content from other instances and let the local users moderate their own feeds.

@trayofbees You might like this:

https://youarenotsosmart.com/2018/02/26/yanss-122-how-our-unchecked-tribal-psychology-pollutes-politics-science-and-just-about-everything-else/

Ugh. Need coffee. I'm too old for this <5hrs of sleep business but Witcher 3 owns me.

@chest_bot give baby dragon to trayofbees@innerwebs.social

@chest_bot open chest

Making a null modem cable. Party like it's 1993!

Not sure who put the @arxiv_cs bot on QOTO.org but I ❤️ you.