#NerdWorldProblems
#artistXinjing #ocXeniaFossFox

BREAKING: Norway Supreme Court rules North Sea oil & gas approvals invalid in historic climate case.

“This historic ruling changes Norwegian oil policy forever, and sets a precedent the world cannot ignore. Norway can no longer ignore the global damage caused when its oil & gas are burned abroad. This is a momentous victory for global climate justice.”

https://act.gp/4sWZDYY

#climate #legal #win #norway #makepolluterspay #climatejustice

A tiny #Egyptian #frog amulet, approximately 1 cm tall, carved from quartz, with delicate gold-inlaid eyes. 🐸

Frogs symbolised fertility in ancient Egypt becauseof their abundant offspring.

Dating to 1540–1296 BC, New Kingdom.

On display at the Archaeological National Museum of Athens.

📷 me

#archaeology #egyptology

Dertien staten dreigen met maatregelen als Nederland zijn verbod op import uit Israëlische nederzettingen niet intrekt. Nederlandse bedrijven worden in de VS al tien jaar geboycot als zij weigeren zaken te doen met nederzettingen. https://rightsforum.org/amerikaanse-staten-bedreigen-nederland-vanwege-anti-israel-sancties/

Sarah Ritchie is a Canadian ceramic artist based in Mohkinstsis, Alberta. With a background in archaeology, she found an unexpected creative path in clay, merging her love for nature, history, and the unseen beauty of the natural world. Her work bridges science and art, transforming knowledge of the past and fascination with living species into tactile, timeless vessels. Her process centers around a technique called slip trailing.
@fromhandsof.sjr #ceramics #handmade #globalmuseum #pottery

@Elizafox Speaking with expertise in the area, please don't get your hopes up this way.

The paper by Bastounis et al claiming these errors is in my respectful opinion, way overblown. There are indeed some differences between the paper and the formalization in Lean, and it would be considered bad practice to write a formalization paper that does not mention the differences. But all formalizations of serious work will differ in some way from the original.

Indeed, figuring out how to make loose reasoning precise by changing details while keeping the spirit is the most interesting part of formalization to me. And if the formalization is a straight translation from natural language to computer language, there is no point. Which is why i believe the "LLM wrote this in Lean so it must be true" hype is such a waste.

A formalization being different does not mean the claimed proof contains glaring errors. i trust my colleagues who have checked the statement in Lean and concluded that this is indeed a statement of Navier-Stokes. And i trust their judgement that the paper and the code both seem close enough to working that one can reconstruct a true proof in one's head. So there does not seem to be anything necessarily false in the LLM output, which the article suggests very heavily.

And moreover, the paper then does some pushing around of weighty sounding words to make a pronouncement that everyone who ever did formalization already knows from the start, and in fact any computer toucher who has thought seriously about what they are doing. The computer cannot read your mind and so if you type in the wrong question you cannot get the right answer. Same goes for misformalizations.

The LLM vendors are pushing us to a future where mathematics is reduced from a creative art of reasoning and communication, to pushing a button and burning a forest to get a yes/no answer plus a mountain of incomprehensible valueless slop. Arguing about the form of the slop and how hard it would be to make good slop does not change how depressing that future would be.

Zo is dat

Landelijke school walkout tegen dienstplicht

Landelijk (nl), vrijdag 20 november om 13:00 CET

LANDELIJKE SCHOOL WALKOUT

Tegen dienstplicht.
Voor onze toekomst.

20 NOVEMBER 13:00

• SLUIT JE AAN!

Over mijn lijk!

Scholieren en studenten, opgelet! Op 20 november om 13:00 lopen we massaal onze scholen en collegezalen uit. Tegen dienstplicht. Voor onze toekomst. Ze maken ons leven onbetaalbaar. Een huis vinden is onmogelijk, onze voorzieningen worden afgebroken en de planeet wordt in de fik gezet. Ondertussen steunen ze de genocide in Palestina, weigeren ze te werken aan vrede en pompen ze miljarden in wapens en oorlog. En nu denken ze ook nog dat ze ons het leger in kunnen dwingen? Dat wij ons leven gaan opofferen voor een politieke klasse die onze toekomst verziekt? Ze overschatten zichzelf en onderschatten ons. Jongeren zijn met honderdduizenden. Als we ons verenigen, zijn we sterker dan zij. Daarom lopen we op 20 november om 13:00 massaal onze scholen en collegezalen uit. Mobiliseer je klas, verzamel je medestudenten en loop samen naar buiten.Hun oorlogen. Onze levens. Wij bepalen zelf onze toekomst.

Dit zijn onze eisen

1. Geen enkele vorm van dienstplicht

Er mag geen enkele vorm van gedwongen enquêtes, keuring, training of militaire dienst komen, en ook geen gedwongen maatschappelijke dienstplicht als vervanging daarvan. Er mag geen boete of gevangenisstraf komen voor wie weigert.

Wij accepteren niet dat de staat denkt te kunnen bepalen over ons leven en ons lichaam. Iedere vorm van dwang zal op ons verzet stuiten.

2. Geen militairen op onze scholen

Er moet een einde komen aan alle militaire werving en propaganda op scholen en campussen. Ook moet de militaire sturing van onderwijs en onderzoek ophouden en moeten alle banden van onderwijsinstellingen met Defensie en de wapenindustrie openbaar gemaakt worden.

Wij hebben recht op vrij, onafhankelijk onderwijs dat ons klaarmaakt voor de toekomst, niet voor oorlog.

3. Investeer in onze toekomst, niet in wapens

We accepteren geen enkele bezuiniging op onderwijs, zorg, sociale zekerheid, klimaat en huisvesting voor de militarisering. We accepteren ook geen hogere lasten of afbraak van studenten- en arbeidsrechten voor militaire belangen.

We eisen juist grootschalige investeringen in een veilige, duurzame en betaalbare toekomst, en zullen niet stoppen met actievoeren tot dat gebeurt.

Op dit moment wordt er aan lokale walkouts gewerkt in:

Amsterdam, Arnhem, Den Haag, Groningen, Leeuwarden, Leiden, Maastricht, Nijmegen, Rotterdam, Tilburg, Utrecht, Almere, Apeldoorn, Breda, Den Bosch, Eindhoven, Enschede, Haarlem, Wageningen, Zaanstad, Zwolle

• SLUIT JE AAN!

Wij zijn een snel groeiende landelijke jongerenbeweging tegen dienstplicht en militarisering, en voor onze toekomst. Deze walkout is een initiatief van Stop de Oorlogskoorts en onderdeel van de International Youth Strike. In lokale vredescomités organiseren we scholieren, studenten en andere jongeren om samen in actie te komen.

Voor vragen, opmerkingen of persverzoeken kunt u contact opnemen via contact@stopdeoorlogskoorts.nl.

[Stop de oorlogskoorts; bron, bron]

https://acties.todon.nl/event/landelijke-school-walkout-tegen-dienstplicht

Unintentional Permacomputing

"If there is any upside to a computational culture dominated by enshittification, crapularity and maximalist techno-aesthetics, is that sometimes a computational object or situation may generate unintentional permacomputing advantages.

Rejoice and dance around the tech dumpster fire!"

https://permacomputing.net/unintentional_permacomputing/

#permacomputing #outlook #retrocomputing #security

Het Sarvestan-paleis is een weinig bekend Sassanidische bouwwerk in zuidelijk Iran. Dit blogje zal aan die onbekendheid geen werkelijk einde maken. Maar toch.

https://mainzerbeobachter.com/2026/11/14/het-paleis-van-sarvestan/

New Album Electro

https://bandwagon.fm/6af4c6b38623c93fede4551f

The unsung heroes of the night are out again ❄️🚜💨🚲🥰

#Oulu #Finland #MeanwhileInOulu

(van Rewind)

"Een verbod op het verheerlijken van terrorisme. “Niks mis mee, zou je zeggen”, aldus Jasmijn de Zeeuw.

De wet moet voorkomen dat mensen steun betuigen aan terroristische organisaties en dat jongeren radicaliseren. Maar wat valt precies onder het verheerlijken van terrorisme? En wie bepaalt dat?

De Zeeuw waarschuwt voor de deuren die we hiermee mogelijk openzetten. Toekomstige ministers zouden de wet met kwade bedoelingen kunnen gebruiken om oppositiebewegingen of kritische media het zwijgen op te leggen. Bovendien kan de wet grote gevolgen hebben voor de vrijheid van meningsuiting. Zo kan er een zogenoemd chilling effect ontstaan: journalisten en anderen in het publieke debat durven zich mogelijk niet meer kritisch uit te spreken uit angst voor vervolging.

Ook is volgens De Zeeuw niet aangetoond dat de wet nodig is om radicalisering onder jongeren tegen te gaan. Sterker nog, zij waarschuwt dat vervolging jongeren juist verder kan radicaliseren.

De wet ligt nog bij de Tweede Kamer. Of het verbod er daadwerkelijk in deze vorm komt, moet dus nog blijken. Maar mocht dat gebeuren, dan heeft De Zeeuw een duidelijke boodschap: “Laat je vooral niet censureren. Publiceer dat stuk. Zoek de randen op. Want dat is waar een democratie anders aan verloren gaat.”"

#terrorisme #wet #TweedeKamer

vote me for CEO of Nvidia, and for a very reasonable and modest compensation package of a mere ten million dollars per year, I swear to do right by the peoples of the world and return video cards to their proper place: rendering Skyrim and Minecraft with increasingly many special effects

Hear the rest of Harsha Walia discussing intersections of capitalism, borders and militarization in the control of labor, deeply impacting peoples lives around the world at https://thefinalstrawradio.mayfirst.info/2026/11/08/harsha-walia-on-antifascism-capitalism-borders-and-abolition/

Vandaag en morgen bij Palestina presentatie bij #GlowEindhoven ter herinnering en verzet.
https://www.instagram.com/letpalestineglow/reel/DffviW7sQT9/
Vrijdag en Zaterdag 18:30-23:00

https://www.instagram.com/letpalestineglow/ #Eindhoven

https://tweakers.net/nieuws/254488/google-brengt-gemini-bril-met-samsung-hardware-uit-vanaf-395-dollar.html

🤬 De volgende #gluurbrillen in aantocht...overheden schiet eens op met een verbod.

Microsoft Outlook outage: started last night, affects users worldwide.

91% of Belgian municipalities, 100% of the police, 80% of our fire services, 83% of our higher education institutions and 77% of our hospitals rely on it.

What about other countries? The map shows mail servers as of early November. A new scan every month at https://belibre.be/mxmap
At BeLibre, we think about the consequences of digital dependency.

Pro-Israel Senator John Fetterman's first political challenger is a Gaza-born Democratic socialist.

https://mondoweiss.net/2026/11/the-shift-palestinian-american-writer-ahmed-moor-will-run-for-fettermans-senate-seat/

#Palestine #Israel #Gaza

Tell me again why we are forced to use this malware at the university?

#Outlook #OutlookOutage