#Computer

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

Hold2

Hold2LLC

Thread: Masks and NPIs.This thread reviews information published from Oct 2019 - Dec 2020.The point is to see what was known/believed before & after discovery of COV2.We'll start with research

Trent Telenko

TrentTelenko

This is going to be a long thread on Ukraine's unique 21st century fighting style based on Uber style C3I software, why Western intelligence is plug ignorant of it due

10-K Diver

10kdiver

1/Get a cup of coffee.In this thread, I'll help you understand 401(k)s -- and other portfolios that are continuously rebalanced between stocks and bonds. 2/Imagine that you just graduated from

pepper 𓆏 comms open!! || @dgs2

_nowikow

attention! check out these amazing ace attorney artists who keep feeding us, this hungry fandom. all of them are under 1k followers and SURE deserve more love! help them retweeting

Yous 🅨

YousXP

90% of dieters fail90% of aspiring traders fail87% of new year resolutions failSuccess is NOT DIFFICULT, we just make it difficult HOW TO make ‘difficult’ things happen with EASE (THREAD)

Stas Kulesh 🥝

stas_kulesh

The best apps that’s been working well for my 7yo since the self-isolation started 3w ago (thread)MathTango and other Originator games:https://apps.apple.com/nz/app/mathtango/id1234698308 + https://www.originatorkids.com/ Khan Academy for Kids

Carlos Osweda

COsweda

THREADNobody knows how anything works.Their brains are rotted by TV, movies, computer games, and social media.I have to explain EVERYTHING to those intent on blaring their butt-ignorance into my face.So

mariyam | KARD GIVEAWAY 📌

sominbiased

THREAD exploring how well #KARD_GUNSHOT depicted the complexities of abuse through the lyrics and visuals bc wow alot of thought went into this 3 min song https://youtu.be/I_tP-vcTjq4 (General trigger warnings

Davide Castelvecchi

dcastelvecchi

Following the @ehtelescope unveiling, I have been hopelessly confused by things I heard and read regarding the spin of M87*. Fortunately, Luciano Rezzolla and @RomanGold7 of Goethe-University Frankfurt have helped

@MacJordan

MacJordaN

The Coronavirus COVID-19 Pandemic: The Real Danger is “Agenda ID2020”, NFC Chip and Vaccinations. #COVID19 #CoronaVirus A thread: It seems, the more there is written about the causes of the

Vulvamort

HairyLeggdHarpy

THREAD:What’s on your Medical Record: SEX or Gender? This is a long thread so here’s the TLDR:Officially, your NHS medical record is SUPPOSED to hold your SEX.And, your gender identity

David Blagden

blagden_david

#SDSR20 observation(s?).. Every SDSR has a pre-Review “phoney war” phase, in which headlines swirl about this or that capability. “Second carrier to be cut” one week, “frigate numbers to fall”

Carlos Osweda

COsweda

THREADFor @jtdxnn These questions allow me to post a video that all sane people will find astonishing. First of all, the Democrats think that they WILL WIN in a landslide.This

job⁷ ✜

soobinscenery

Sia, a brief history of her life, her impact within the music industry, her past and her dedication to her craft.Trigger warnings: Attempted suicide, drug abuse, body image, eating disorders,

Micro-Chop

micro_chop

1) Mixtape DJ Grandmaster Vic Influenced Large Professor's Production on Nas' "It Ain't Hard to Tell"What a 2012 XXL interview reveals about the importance of mixtape DJs in music production