wen @cyrridven@computerfairi.es

love it when shitposting mathematicians accidentally rediscover my main field of research

RT @kitesva@twitter.com

Mathematical logic system where all objects are one-time-use. You used Z/2Z in a proof? Guess what it's gone now.

🐦🔗: https://twitter.com/kitesva/status/1382481177437622272

I keep accidentally cold fermenting my hummus but it's really good so no complaints

if you pitch a workshop to someone, but miscommunicate a little, and they end up asking you for the CfP so they can submit... that's a good sign, right?

trying as hard as I can to not start a workshop *before* I submit my thesis

Listen, I'm tired of finding novel ways to explain session types. How mad would y'all be if I just copied the same paragraph into every single paper?

I resent being in this tweet.

RT @GeraintWorks@twitter.com

ADHD is: Needing structure but resenting anyone who tries to impose it. Including yourself.

🐦🔗: https://twitter.com/GeraintWorks/status/1381914246276059138

of course I listened all the way to end

I feel personally attacked by this youtube recommendation:
https://youtu.be/jvkUXT0pMYE

Literally, the amount of effort I have to put in to keep the NHS from tripping over itself is OBSCENE.

There would've been no other way for me to address that, since they also don't have an open phone line, only a voicemail inbox with weeks of backlog.

I was only able to attend the meeting in which they told me they'd lost my referral because a friend of mine happened to know the http://nhsattend.vc url for the institution. They'd also forgot to send me the appointment link.

I am so. fucking. fed. up. with the NHS consistently and predictably failing me on all fronts.

Turns out the 2 year wait for your 2nd referral is enough time for them to lose your 1st referral, shrug, and just not refer you without telling you.

I am having feelings.

Sequent calculus talks about left and right rules. Is there terminology within sequent calculus for boring rules (L∧,R∨,L→) versus interesting rules (R∧,L∨,R→)?

Gotta say, very much a "do as I say, not as I do", 'cuz I use a *lot* of TeX packages, and I've never acknowledged their authors. Gonna give it a shot in the future! :)

This is from "Lambda terms for natural deduction, sequent calculus and cut elimination" by Henk Barendregt and Silvia Ghilezan [https://doi.org/10.1017/S0956796899003524]

Acknowledging the people who wrote your TeX macros is so wholesome, more people should do it!

There's not enough cat pics on my account: this is Zaza, she likes to sleep on upright pillows.