#Issues

Kevin Buzzard

XenaProject

Isabelle/HOL has schemes! https://www.isa-afp.org/entries/Grothendieck_Schemes.html . The formalisation is due to Bordg, Paulson and Li. In this thread I will try to explain why this is a big deal. 1/n The

Gavin Sheridan

gavinsblog

Some background on the impending Supreme Court judgment. Here's a brief history of the MANs project:https://twitter.com/gavinsblog/status/1024320964027449345 Here's a thread from the Court of Appeal phasehttps://twitter.com/gavinsbl

Sarah Mughal Rana—سارة

sarahrana769

THREAD ON MUSLIM HOLOCAUST: UYGHUR MUSLIM GENOCIDE AT THE HANDS OF CHINA EXPLAINED (1/?)(Follow @UyghurProject too after reading!)#Uyghurs #UighurGenocide #UyghurHolocaust https://twitter.com/sarahrana769/status/1296549520176754693 Who are

GG: Kamala Was Right About Everything

GGforthepeople

Dear fellow white women, It's been a while since I made one of these posts. But because and since we are coming up on the 100th anniversary of the 19th

Griffin Gulledge

griffingulledge

What you’re watching is Uigher Muslims escorted off of trains headed off to forced labor camps. All of their heads are shaved. A second holocaust is happening right now, in

Assange Defense

DefenseAssange

Day 14: Julian Assange's extradition hearing. Today we expect testimony from Patrick Eller, digital forensics expert, on the computer crime charge and the alleged agreement between Assange & Chelsea Manning

Syreeta Nolan

nolan_syreeta

It is my honor to chat about mentorship as part of #DEHEMChat for @DisInHigherEd. I want to learn about you & the landscape of mentoring in those with disabilities. I

sameera khan

SameeraKhan

The universal glorification of New Zealand PM Jacinda Ardern“The posturing of Ardern and the Labour Party as opponents of xenophobia is an attempt to drown out any discussion of the

noverisa 💫

kryr117

30 days idol challenge akiyama mao stolen from @alicepiyopiyo (thank you!! )i hope i can post it everyday without missing a day 2021/05/09day 1: idol in redwell, maopin =

Dr Roel Konijnendijk

Roelkonijn

I study early scholars of Greek warfare.Most of them are obscure teachers and professors.Only one is found in the letters of Mazzini, Bismarck, Garibaldi, Karl Marx and Abraham Lincoln.That's right,

Michelle Cohen, MD

DocMCohen

Let’s talk about a common, problematic way that we conceive of “health.” Too often we equate the absence of illness with morality. This leads down many bad paths both on

khh café

khhcafe

san e- claimed feminists were mentally ill in his song “feminist”- overall a huge misogynist- claimed to endorse “spycams” which secretly records women without consent watch this video for a

elanhub.net

elanhub

Daily Manna 11 May 2021: What’s Written About You?A thread https://elanhub.net/daily-manna-11-may-2021-whats-written-about-you/ Daily Manna 11 MayKEY VERSE: “Now the rest of the acts of Rehoboam, and all that he did, are they

mads

utahmads

Since @decarcerateutah’s bail fund is opening today (!!), I’m sharing a lot of info about bail and pre-trial detention. Right now, I’m going to do a thread about my arrest

QuantumsAshes

QuantumsAshes

Rapublicans and police unions continue to spout the lie that there's a war on police. So, it seems like a good time to re-up some facts. Attacks on police have

Health Remedy

health_remedy1

7 Subtle Signs That Someone Likes YouA thread https://healthremedyblog.wordpress.com/2021/04/28/7-subtle-signs-that-someone-likes-you/ We have all been there. Crushing on someone and wondering if the person feels the same about us or at l