wen @cyrridven@computerfairi.es
Heya @edwinbrady@twitter.com! If I wanted thread spawning and read-once, write-once memory cells in Idris2, where am I on a scale of "it's already there" to "lol nope"?
if you're wondering, this is my coping mechanism for having my umpteenth paper rejected with "this is a really well-written paper but I now think the result is trivial"
anyway can we have a workshop where you can only submit tutorials for other people's work and it's reviewed exclusively by non-experts?
hey i think that science communication and teaching resources should probably be considered academic outputs
violence against women
RT @debcha@twitter.com
On this day in 1989, a gunman walked into an engineering school in Montreal and began to systematically shoot the female students. Fourteen women died.
I was a junior at the University of Toronto at the time.
I wrote about it on its 25th anniversary. https://tinyletter.com/metafoundry/letters/metafoundry-17-twenty-five-years-later
Listen, Hyrule Battle isn’t my game, but it taught me one thing: all I want is a main series Zelda game where you play exclusively as Impa
If you make access to hormones difficult, you’re not stopping people from transitioning hormonally, you’re forcing them to do it at great cost and without any medical supervision.
RT @typer_uma@twitter.com
Free access to hormones is the only way forward.
People who want to transition will find access to hormones, either in the pharmacy or in the grey market. Cutting access from the former pushes people to the latter. This is as true for kids as for adults.
🐦🔗: https://twitter.com/typer_uma/status/1334227868272963587
if I had to implement a classifier to recognise the twitter bios of cishet white men I'd look for the absence of the word "tired"
set out to write a short little blog post on the foundations of session types but it looks like I'm gonna have trouble keeping it under 10K words 😅
Venom brought to you by the fact that @bring_dk@twitter.com didn't attempt to deliver my package, instead brought it to a pickup point, and are now refusing to tell me which pickup point.
I feel that @bring_dk@twitter.com should probably rebrand to @pickup_dk@twitter.com, since they never actually attempt to deliver.
like sure google might be reading all my emails but at least I also get to read them
almost had two accepted papers withdrawn because my university apparently can't run an email server
I just wanna be back home in Edinburgh 😭
transphobia, uk
RT @DavidPaisley@twitter.com
LGB Alliance recently boasted of a worldwide network of anti-trans "LGB" groups under the banner #LGBInternational
In Ireland, Wales, Australia, America, Canada, Spain, Mexico, Brazil, Iceland , Norway and Serbia.
I did some analysis and found some interesting results.
THREAD👇
🐦🔗: https://twitter.com/DavidPaisley/status/1330480707043471360
transphobia, uk
RT @JolyonMaugham@twitter.com
We waited some weeks for the BBC to be ready to cover our legal action to protect the legal rights of trans children. And the piece is up and is quite extraordinary. I'm not going to link to it because it is inaccurate and gives space to a transphobic hate group.
🐦🔗: https://twitter.com/JolyonMaugham/status/1330758709140729856
Improvising a chromakey ‘cuz you have to pre-record your conference talks.
transphobia
👇
RT @JayHulmePoet@twitter.com
I have spent a lot of time chatting to cis people about what it's really like to be trans and the fact is that most people are, unfortunately, entirely ignorant of how hard it is to be trans in the UK.
So here is a thread of things you probably ought to know:
🐦🔗: https://twitter.com/JayHulmePoet/status/1328994210599628801
