wen @cyrridven@computerfairi.es
NHS
Literally, the amount of effort I have to put in to keep the NHS from tripping over itself is OBSCENE.
NHS
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.
NHS
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.
NHS
I am so. fucking. fed. up. with the NHS consistently and predictably failing me on all fronts.
wen
boosted
NHS
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.
NHS
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.
"Oh, I need a different version of Agda for this project!"
*hits compile, walks away, forgets about project, and never comes back*
Right now I've got burns on my knee from cooking. ON MY KNEE!
Listen, I would love a really fancy knife for cooking, but I'm a clumsy bitch and I WOULD gut myself.
Woo, I got endorsed! I'm a real research now! *proud baby pose*
(Turns out ArXiv gets really sad and confused if you submit your lhs2TeX input files along with the generated TeX files.)
ArXiv is ✨magical✨You give them your source, they work their magic, turn to you and say "Is this the paper you were thinking of? " except it's just your abstract and bibliography repeated four times.
Anyone endorsed to post to http://cs.PL on arXiv? It needs proof that I'm a PL researcher:
https://arxiv.org/auth/endorse?x=IKXUSK
