#Implied

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

tantum

QuasLacrimas

btw, for ppl interested in translation, here is a more technical version of Wyatt’s argument: (1/?) 2/ Translation is an art if you’re translating Proust or La Fontaine or something.

🌺 Dodo 🌺

LadyDodo77

Commenting and analyzing the "holes" of the movie The Last.A thread First of all, we have two formats: movie and novel. The movie was the first movie considerated to be

PHOENIX

PhoenixLaNegra

Nice piece of investigative journalism. Very revealing on how Weinstein was routinely pulling the strings to keep damaging info from getting out by using his connections with certain individuals working

Vel 🌕

blackpalaladin

**Castle of Threads** SPN AU | Sheith | Wing Kink | NSFWhttps://twitter.com/theredpalaladin/status/1037702322497957888?s=19 Hitman AU | Sheith\Shirocest | NSFWishhttps://twitter.com/theredpalaladin/status/1047124807098281985?s=19 Cheer Ski

Wut's my name? Wut's my name? Ur actin kinda crazy

InspectorNerd

Y'all I'm watching the first few episodes of 'Them'. It is really starting to get on my nerves... the pacing is really off and the characters aren't written sensibly. Esp

Khaenri'ah Lore Project

khaenriahcom

Beyond pranks, whimsy, & order, Hu Tao is one of the most complex characters in Genshin Impact.She doesn't only respect death, she *rejects* it. In a world ruled by the

sky 👑

chvntiddie

ALL REFERENCES MADE IN THE SKZVERSE; a LONG but important master thread made for those who don't understand the skzverse [DISCLAIMER]:-i am NOT skz so my theories may be inaccurate-everything

Uncle Bernbach

unclebernbach

1) Some say that Mary (92) was the real-life Peggy Olsen from Mad Men; a brilliant copywriter and a vocal copy chief. Mary was much more than that. She revolutionised

🧪 giant microbes black plague 🧪

ibajun

hello i am a 17 year old autistic trans person who played undertale when around the time he first found out about his diagnosis and was in incredible denial about

ai

loveperayaa

Karakter Arthit di sotus di gambarkan sebagai seseorang yg masih super duper abu-abu dalam gay thingy.Dipandanganku konflik Arthit itu sebenernya bukan sama Kongpob tapi sama dirinya sendiri. Dia bukan "lack

niki | simping for cha young✨

chayenzo_sxfik

let's talk about han seo, hockey and his relationship with vincenzo!disclaimer: probably more unorganized than usual lol but i had a lot of thoughts on this and definitely super long

visa is almost done ✍🏾📖

visakanv

I saw someone tweet “I wish smart writing came to me as easily as dumb tweeting” and I am here to share with you my strategy for using the latter

Uncle Bernbach

unclebernbach

Mary Wells Lawrence changed advertising forever. This is a thread about her story and how she became an ad industry legend in the 1960s. 1) Some say that Mary (92)

Tyz 💸

bokuroowo

Since everyone else is doing it...my very own A3 as Tumblr Posts Thread 1. i was in the bathroom earlier thinking abt the potential that misumi and omi have as

Stephen Barlow

SteB777

I want to make a very important point here. Not to justify myself, but so people can understand why there has been no progress on reducing carbon emissions and why