#Sheaf

Random Fermat's Last Theorem observation: the bridge between analysis and algebra in it is nonconstructive. Chris Birkbeck, a post-doc at UCL, has been making modular forms in Lean. He

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

Miss IG Geek (she/her)🕷

The realisation sneaking up and hitting us hardest of all is the yawning chasm between how things are said to work on paper and how things *really* are. On paper,

oldeuropeanculture

Thread: Very, very interesting ceramic vessel made by people of the Copper Metalworking and Grain Farming "Baden culture" which flourished in Central and Southeast Europe (Czech Republic, Hungary, Poland, Slovakia,

Rabbi Danya Ruttenberg

Over here on Jewish time, we’re in the middle of counting the Omer, the seven week time between Passover and our next major holiday, Shavuot. It has some pretty powerful

Pourquoi les investissements des pays du Moyen Orient dans le football sont géostratégiques ?#VenteOM#Troyes -Rachat de Sheffield UnitedLe prince saoudien Abdullah Bin Mossad Al-Saoud (54 ans) est actionnaire majoritaire de

Lore - Cryptid Shark

He turned off the lights, plugged in his husband's phone, set his alarm, and sat himself on the edge of the bed, staring down at the heavy sheaf of papers

Rabbi Danya Ruttenberg

Some thoughts—some Torah—on this in-between time, this liminal period in which we find ourselves. On the wilderness, on fear, on possibility. 1/x thread. So where we (Jews) are in our

The Korean Vegan, Esq.

THREAD: My law firm is publishing something I wrote to its internal webpage. Here it is in thread form: I was four years old when I realized I was different.

category fibered in sarahzrfs

thread timehttps://twitter.com/ZariskiBusiness/status/1281003062954467328 so, let's say we have a category C (it should probably be small if we want things to work well and we're being pedantic)a good case to keep

Peter J. Williams

THREAD: The book of RuthBegins as if it's going to be a story about a man:'In the days when the judges judged there was a famine in the land, and

a raconteur of repute

thinking about a prince who's like. the only son to a small kingdom, who can't leave, can't really travel, because his father is just terrified he'll be injured or lost

AJ | ✨✨✨🦐✨✨✨

au where wwx takes the demonic path, does his thing in the sunshot campaign, goes back to yunmeng changed—a puppet of himself, a paperman copy of the man he once

HornyOverlordFortuna AGE IN BIO DAMMIT!

The Kiribaku little red riding hood au that no one asked for! \o/ ~ Big Red Riding Wolf ~ CW: NSFW, a little fighting and blood, maybe? Wolf shifter Kiri,