Salta al contenuto principale






#BrokenTimes' Peters asks, can't we all just get along (with fascists)? "Missing from national politics today are vivid examples of friendship and civility across deep partisan divides."
Amid Political Violence, Moments of Grace Are Rare and Fleeting nytimes.com/2025/09/27/us/poli…


I remember a book on topology (published or unpublished? maybe only online?) for which I can't find a reference or a link.

Can you help?

In any case, it is a book that has no proofs.

The idea of the book is to create a sequence of lemmas, each of which is obvious, so that the diligent students can prove them, either on paper or in their own heads, and what is important is not the proofs, but the sequence of lemmas leading to the theorems.

Coming up with the sequence of lemmas which need no creative proof is the creative contribution of this book.

But I can't find it.

Anyway, I learned something from it, at that time.

Namely that what matters about a proof is that each step is obvious and meaningful.

When you write a proof, break it up in meaningful self-proving lemmas. Then it will be very readable and meaningful.

But this is easier said than done, of course (like everything).

in reply to Martin Escardo

that's a very interesting idea, I wouldn't mind getting my hands on it.





in reply to 🌴 Seph 💭 👾

The image is a screenshot of a social media post by Cody Gore, posted 4 hours ago. The post is titled "Tyler Childers just wrote the most succinct Appalachian treatise on black lives matter. Conversation over." The post discusses Appalachian history and culture, emphasizing the region's struggle against coal companies and federal authorities. It highlights the Appalachian people's resilience and solidarity with marginalized communities, stating, "Appalachians have a natural birthright duty to stand hand in hand with any downtrodden people." The post concludes with a strong statement about the importance of remembering the struggles of Appalachian ancestors.

Provided by @altbot, generated privately and locally using Ovis2-8B

🌱 Energy used: 0.149 Wh





Alla Milano Fashion Week sfilano capi di 13 designer Ied - Moda - Ansa.it
https://www.ansa.it/sito/notizie/cultura/moda/2025/09/27/alla-milano-fashion-week-sfilano-capi-di-13-designer-ied_a94f5d8d-a244-44c8-9426-7e891c83e32d.html?utm_source=flipboard&utm_medium=activitypub

Pubblicato su Spettacolo e Cultura @spettacolo-e-cultura-AgenziaAnsa




#spahn möchte mehr Gerechtigkeit bei der Vermögensverteilung in Deutschland. Es bleibt einfach zu wenig für die Reichen.
in reply to Kueperpunk

Die Tassen sind ja schon weg, sollten wir Spahn alle unser letztes Hemd schicken?

:thaenkin:



The way Netanyahu laid out his agenda at the UN “haunts us”


“It’s either displacement or death in Gaza City or it’s displacement and death in al-Mawasi.”

President Trump rejecting the annexation of the occupied West Bank is a “very important moment”, says director of Mediation Group International, Martin Griffiths.



So in other words, in an indictment with no defense allowed, and a far lower burden of proof than a criminal conviction, the prosecution still could only get 14 out of 23 Grand Jurors to vote to indict.

A criminal conviction requires a unanimous verdict.

The grand jury returned its indictment some time after 6 p.m. on Thursday evening, according to sources familiar with the proceedings and court records. The grand jury agreed to indict Comey on two felony counts — lying to Congress and obstructing a congressional proceeding — based on Comey saying in his testimony that he did not authorize anyone to leak information about a specific FBI investigation. Fourteen of the 23 grand jurors voted to indict on both counts, according to two sources familiar with the proceedings.


msnbc.com/msnbc/news/trump-jam…




in reply to papapep

Segueixo sense entendre quan xutes la pilota i surt fora, quan treus tu la touche i quan el contrari...no trobo la lògica. Pensava que era si botava abans dins o no, però veig que tampoc és això...😅

Edició: ja ho he trobat. Sempre treu la touche l'equip que NO ha xutat la pilota fora EXCEPTE si el que la xuta ho fa gràcies a una penalització al contrari, cas en el que trauria l'equip que l'ha fet fora 😅

#RugbyRules
#Rugby
#wrwc2025
#rwc25
#CANvENG

Questa voce è stata modificata (6 giorni fa)
in reply to papapep

WOOOOOOOO, la Kildune!! Quina màquina! Quin assaig!!...

Minut 8: CAN 5-7 ENG

#Rugby
#wrwc2025
#rwc25
#CANvENG

in reply to papapep

Minut 21: Ja van 5-14.
Les empreses de roba interior tenen un aparador aquí per a demostrar la resistència dels seus tangues i calces , perquè hi ha moments absolutament límit on fa por que ensenyin el "DNI" amb les estrabades que és foten als mauls i rucks 😅
Cal dir que són dones amb una autoconfiança absoluta, perquè tela com freguen el "desastre" un cop rera l'altre.

#Rugby
#wrwc2025
#rwc25
#CANvENG

in reply to papapep

I mira que les canadenques en són de bones, eh, però és que les Red Roses són increïbles...

Minut 69: CAN 13-33 ENG

Però encara que no guanyin, respecte absolut per les canadenques, quin equipàs i sense suport institucional!!

#Rugby
#wrwc2025
#rwc25
#rwc2025
#CANvENG

Questa voce è stata modificata (6 giorni fa)
in reply to papapep

acaben de dir que el pressupost de la federació anglesa és 20 vegades superior a la de Canadà 🙄
in reply to Enric

sí, ho he sentit. Entenc que el "futbol" americà es menja el pastís allà. 🤮
Van haver de fer un crowdfunding per a arribar a entrenar i preparar en condicions pel mundial...

thesun.co.uk/sport/36840316/ca…

Questa voce è stata modificata (6 giorni fa)
in reply to Enric

a banda que les de Canadà no són professionals del rugby.
in reply to papapep

bufff tinc una filla que fa anys que juga a rugbi i, sovint, m'explica coses de les normes. Avui no ho pot fer... PERQUÈ ÉS A TWICKENHAM VEIENT EL PARTIT!!! QUINA ENVEJAAAAAAA 🏉🏉🏉🏉
Questa voce è stata modificata (6 giorni fa)
in reply to Enric

@GelatDeTramussos OHHHHHHH, ENVEJA MÀXIMA!!! ☺️ I, sí, un partit preciós. Quan el públic comença a rugir se'm posen els pèls de punta i començo a fotre bots jo tambe!!! Quina emoció, hascolti!!
in reply to Enric

@GelatDeTramussos i no són complicades, però són tan diferents de les del fungolt que costa l'adaptació. Per exemple, al principi et torna boig que els àrbitres assenyalen "al revés" les faltes. No ho fan cap on ha d'anar la pilota, si no assenyalant a quin equip afavoreix! I que en funció de com posa el braç és un tipus de falta o un altre!
O el tema de que els davanters són els defensors i els del darrera els atacants! Que té tota la lògica del món, però cal recablejar la neurona! 😅
in reply to papapep

@GelatDeTramussos Això ha estat jiu-jitsu!! 😅 Au, la Botterman una estona a descansar i a baixar tensions...
in reply to papapep

acabo de mirar per què Apps no té cabell. Ostres, li va caure de petita!
olympics.com/en/news/canadas-r…
in reply to Enric

pobreta, com ho devia passar. Doncs mira el tros de dona que és ara!! Una organitzadora brutal!

#Rugby
#wrwc2025
#rwc2025
#rwc25
#CANvENG

Questa voce è stata modificata (6 giorni fa)
in reply to papapep

També si surt dins de la 22 i has llançat des del teu camp.
in reply to Iñigo Serna

@MonsieurSadman de les 22 del contrari i has xutat des del teu camp? Aleshores és teu el touche?
in reply to papapep

Sí. Tu golpees des del teu camp i si surt entre la linia del 22 i la de marca es touche per tu.
in reply to papapep

Fixa't que a vegades, si es veu que el lateral està desprotegit es busca llançar la pilota a veure si surt.


DJ PARTY

Venerdì 3 ottobre, dalle 22:00 alle 02:00, presso COX18, Via Conchetta 18, Milano

𝗗𝗝 𝗣𝗔𝗥𝗧𝗬

ᴠᴇɴᴇʀᴅì 𝟹 ᴏᴛᴛᴏʙʀᴇ 𝟸𝟶𝟸𝟻

ᴄsᴏᴀ ᴄᴏx𝟷𝟾

ᴠɪᴀ ᴄᴏɴᴄʜᴇᴛᴛᴀ, 𝟷𝟾 - ᴍɪʟᴀɴᴏ

ʜ. 𝟸𝟸.𝟶𝟶

𝑹𝑨𝑴𝑬𝑺𝑯

𝑷𝑨𝑰𝑵𝑬'

𝑭𝑹𝑬𝑫𝑫𝒀 𝑨𝑴𝑶𝑹𝑼𝑺𝑶

FB: facebook.com/share/1YmTsMb12v/

Nato e cresciuto a Singapore, Ramesh Krishnan è un DJ, sound designer e creativo musicale con una carriera che si estende su tre decenni. Dai leggendari locali come Lola e Zouk fino alla sua attuale residenza al CÉ LA VI, è stato una figura centrale della nightlife di Singapore, esibendosi anche a livello internazionale in luoghi come Dagmarkt (Olanda), Heavyweight (Montreal) e Studio Lam (Bangkok). Tra i festival più importanti a cui ha partecipato figurano WOMAD, Mosaic con Montreux Jazz e il Worldwide Festival di Gilles Peterson.

Oltre ai club, le sue opere sonore sono state presentate all’Arts House di Singapore, al NTU CCA e alla Biennale del Design di Gwangju. È co-fondatore di Tropika, un'iniziativa musicale che unisce ritmi globali, arte e cinema attorno ai temi dell’inclusività e della sostenibilità. È anche membro fondatore di Sistrum e ha co-prodotto nel 2021 l’acclamata opera Vel Vel: A Sonic Walk.

Painé Cuadrelli, Dj, produttore musicale e sound designer.attivo dalla metà degli anni ’90, ha animato club e festival in Italia e all’Estero, produce dischi, remix e colonne sonore per spettacoli teatrali, video, installazioni e mostre.

Nei suoi eclettici dj set propone un’escursione sonora tra ritmi e stili attuali, classici e rarità dalla sua vasta collezione.

www.painecuadrelli.com

Freddy Amoruso, musicista, polistrumentista, membro fondatore di Armonika, dove con la sua armonica synth, improvvisa sul groove dei dischi suonati durante la festa.
Seleziona disco music storta su 12" e 7", rigorosamente bagnati di Guinness.
Vive tra Dublino e Milano sud.



Sozialhilfe neu: Plakolm zum exxpress – „Keine Milliarde mehr für Nicht-Einzahler“ exxpress.at/politik/sozialhilf… Ministerin Claudia Plakolm (ÖVP) stellt die Sozialhilfe neu auf: nur noch letztes Sicherheitsnetz, keine Dauerleistung – sagt sie zum exxpress. Eine Milliarde fließt jährlich, auch an Personen, die nie eingezahlt haben. Das soll enden: Volle Leistungen für Schutzberechtigte erst nach Integrationskurs. #news
#News


Comunque mannaggia a cristo è il 2025 perché ancora Ubuntu dopo un aggiornamento del kernel al riavvio non vede la scheda wifi, ma perché invece di fare LLM e blockchain del cazzo non risolviamo il problema di fare gli aggiornamenti senza rompere tutto.

Ma ti pare che devo fare partire tutto col kernel della versione prima per sistemare il problema manco fossi di nuovo al liceo che installavo Debian su un 486.



A long blog post to explain the artificial complexity of XLSX files, as compared to ODS files: blog.documentfoundation.org/bl… @opendocument @libreoffice

Oblomov reshared this.

in reply to LibreOffice

Why would the xml need to be human readable/understandable? They're both file formats meant to be processed by a machine. One of them is optimized (xlsx) for that purpose. Parsing XML requires looking at every single character in the file, so having fewer characters is simply more efficient. Suggesting that the terseness of xlsx is somehow "complex" is asinine. I'm neither for OOXML, nor against ODS, but the suggestion that ODS is simpler is silly.
in reply to LibreOffice

At work we have integration with Word and Excel, modifying an existing document to add data to placeholders and conform the final document, and it was a nightmare to implement. However, the documentation is good enough to get how it works, and they provide a tool to inspect the contents of the document. ➡️


Thinking about it, if Russia combines deploying his own drones from ships at sea in Denmark and elsewhere, with activating people inside Europe to try the same with their hobby drones, things could get chaotic because detection and defense systems in Europe are not very capable in handling drones….🤔
#drones #russia
in reply to Erik Jonker

I cannot understand - if Russia is behind this - what the reasoning is.

As I read the mood (at a considerable distance, admittedly), Europe has been teetering on the edge of realising it needs to be responsible for its own defence.

To me, Russian incursions like this seem to push Europe in that direction. I see a Turkish-style shoot-down as more likely than an "OK, take Ukraine then".



Every journey starts with a single step — or in investing, a single seed. Plant it, nurture it, and trust that over time, it will grow. 🌱

What seed are you planting today for your future self?

#InvestmentGrowth #WealthBuilding #Dividends #InvestingJourney #CashFlow #Markets #SocialMedia





#caturday huddle and swimmer update: big improvements! One kitten has normal leg positioning, the other improving 👏🏼👏🏼 (third boy didn’t have it) 🐱🧡 #FosterKittens #cats #CatsOfMastodon

reshared this


in reply to bundeskater

Das Bild zeigt eine ansprechende Mahlzeit auf einem blauen Holztisch. Im Vordergrund befindet sich eine schwarze Schüssel mit einem veganen Gemüsegericht, das aus Tomaten, Zwiebeln, Kohl und Bohnen besteht. In der Schüssel steckt ein kleines Flaggenstäbchen mit der südafrikanischen Flagge und einem "VEGAN" Etikett. Neben der Gemüseschüssel steht eine weitere schwarze Schüssel mit geriebenem Quinoa. Die Schüsseln sind auf einem weißen Tuch mit einem Muster aus dunkelblauen Geflügel abgebildet. Im Hintergrund ist ein buntes Tuch mit einem Blattmuster zu sehen.

Bereitgestellt von @altbot, privat und lokal generiert mit Ovis2-8B

🌱 Energieverbrauch: 0.198 Wh



“Stop al massacro“. Nuova manifestazione di solidarietà a Gaza nelle strade del centro
“Dobbiamo tenere alta l’attenzione su quello che accade“. Intanto la Questura prepara decine di denunce per lo stop ai treni.

lanazione.it/lucca/cronaca/sto…



🇦🇷 Argentina wants to be an AI powerhouse, but its tech experts are leaving

「 In Argentina, sweeping austerity under Milei’s “chainsaw” agenda of huge budget cuts to government programs has made the future even more uncertain. More than 52,000 jobs have been eliminated in the public sector since he took office, of which over 4,000 account for scientific research positions 」

restofworld.org/2025/javier-mi…

#argentina #ai #braindrain #milei #science

jbz reshared this.



#CIJ - Le Mali n'obtient rien contre l'Algérie devant la CIJ en raison du refus d'Alger de se soumettre à la procédure.
Toutes nos #news sont sur epocinfo.fr/index.php?display=…

#info #media #politique #Mali #Algerie #justice




6 AI Content Detection Tools Trusted by Schools and Professors

You've likely poured so much love and effort into your writing, aiming to highlight your unique style and original ideas. It’s understandable to worry, though: could those assignments of yours accidentally get caught up in algorithm flags?

This gr...

👉 View more: techdictionary.io/what-ai-dete…

#ArtificialIntelligence #Blogs



TCL’s 8-inch Nxtpaper Android tablet could lure you away from the colour Kindle

“Nxtpaper isn’t a reflective display technology like E Ink which relies on little drops of ink moving around, but it does feature several upgrades over standard LCD panels. The Tab 8’s glass screen is etched with a fine pattern giving it a matte fin ...continues

See gadgeteer.co.za/tcls-8-inch-nx…

#eink #ereader #technology



¡Un debate sobre el poder! 🎥 Un video con el análisis de expertos sobre las acciones de Ricardo Salinas Pliego. Infórmate sobre esta noticia en el artículo. #SalinasPliego #Política #Empresarios #Noticias

Infórmate: zurl.co/66622




Alla Milano Fashion Week sfilano capi di 13 designer Ied - Moda - Ansa.it
https://www.ansa.it/canale_lifestyle/notizie/moda/2025/09/27/alla-milano-fashion-week-sfilano-capi-di-13-designer-ied_5a67e715-027e-4a0d-931c-5032ecf71d07.html?utm_source=flipboard&utm_medium=activitypub

Pubblicato su Lifestyle @lifestyle-AgenziaAnsa