Xɑbby ▶️ (@xaberius9) 's Twitter Profile
Xɑbby ▶️

@xaberius9

♂️ | Galicia, 🇪🇸, 🇪🇺|

ID: 1702433756978536448

calendar_today14-09-2023 21:27:47

6,6K Tweet

227 Takipçi

446 Takip Edilen

Xɑbby ▶️ (@xaberius9) 's Twitter Profile Photo

France to the Spaniards: "We’re going to annex all the territories on this side of the Ebro, from the Basque Country to Catalonia. Soon there won’t even be a single…" Me, interrupting: "Here are the keys! There’s laundry detergent in the closet near the pantry. I also left some

France to the Spaniards: "We’re going to annex all the territories on this side of the Ebro, from the Basque Country to Catalonia. Soon there won’t even be a single…"

Me, interrupting: "Here are the keys! There’s laundry detergent in the closet near the pantry. I also left some
Xɑbby ▶️ (@xaberius9) 's Twitter Profile Photo

We don't preserve the plural Hebrew inflection in, say, 'askenazíes' in Spanish. That makes me think that I should say 'goys' while speaking Spanish.

Viri Ríos (@viri_rios) 's Twitter Profile Photo

The American media is failing to report that today the Mexican Army said 80% of the weapons used by "El Mencho" (the top drug lord they just killed) came from the US. Let that sink in.

Key 🗝 🦊 (@keytryer) 's Twitter Profile Photo

It's funny that Elon Musk, who spent the past week screaming that Anthropic are woke and hated white people or something and then after all that, to see OpenAI, his actual mortal enemies, get that bag.

Acer (@acerfur) 's Twitter Profile Photo

We were able to end-to-end autoformalise sphere packing in dimension 24 in two weeks to get to 500K lines of Lean (that we later golfed). For reference, that is about 1/4 of ALL of Mathlib4. A formalisation project of this scale or sophistication has never been done before.

UK R REPORT (@ukr_report) 's Twitter Profile Photo

NEW — 🇰🇷🇺🇸🇮🇷 Korean media published an image from today, showing the US dismantling its THAAD and Patriot systems from S-Korea, to send to the Middle East.

NEW — 🇰🇷🇺🇸🇮🇷 Korean media published an image from today, showing the US dismantling its THAAD and Patriot systems from S-Korea, to send to the Middle East.
Ron Filipkowski (@ronfilipkowski) 's Twitter Profile Photo

Rutte is the worst possible person to be NATO Secretary at this moment in its history, as he has demonstrated repeatedly. A perfect storm right now set up for NATO’s demise.

POLITICOEurope (@politicoeurope) 's Twitter Profile Photo

🚨 BREAKING: The European Commission has urged people to work from home, drive and fly less, and for EU countries to urgently roll out renewables, as it warned of a prolonged energy crisis as a result of the conflict in the Gulf. Full story: politico.eu/article/europe…

Alex_politics (@comuflauta) 's Twitter Profile Photo

En Estados Unidos mueren al año más de 30.000 personas porque se les deniega la asistencia sanitaria, más de 500.000 personas se declaran en bancarrota anualmente por no poder hacer frente a las costas de sus enfermedades, con las muertes indirectas y suicidios que eso conlleva.

florence (@morallawwithin) 's Twitter Profile Photo

It’ll be even more impressive when I don’t remember these details and I’ll just say “please do the thing from that one Yudkowsky post”