curse, recurse

λ x → x | maths and sometimes functional programming.

[Richard Medhurst @richimedhurst]

Spot the difference.

Hint: there is none.

[Assal Rad @AssalRad]

The goal was always occupation and land.

[Stefano Barazzetta @stebaraz]

Mi raccomando perdiamo ancora tempo a disperarci perché la Picierno ha lasciato il PD.

Non c'è davvero altro di cui occuparsi.

[curse, recurse @id_func]

@v2Dark E che distacco!

[Dark @v2Dark]

Il più grande cazzaro della storia per distacco

[Stefano Barazzetta @stebaraz]

Lo Stato Terrorista e Genocida continua a bruciare vive le famiglie Palestinesi, bambini inclusi, ma una buona fetta della politica Italiana è impegnatissima in una grottesca processione di solidarietà nei confronti della povera @pinapic.

Le priorità.

Che oscenità, che orrore.

[Arnaud Bertrand @RnaudBertrand]

There you go: the FT confirms that not only is the NSA using Anthropic's AI "for offensive cyber operations" against "nations such as China or Iran" but Anthropic is actively helping them in that effort.

As per the article, Anthropic "installed about half a dozen staff within the NSA as so-called forward-deployed engineers to guide the use of the technology and customise models for specific applications."

It confirms two things. First: the United States is the most aggressive state actor in cyberspace, by far. It offensively infiltrates other nations' networks, and is now supercharging that capability with AI. Heck that is literally one of the core mission statements of the NSA, one of the largest security agencies of the US government.

Second, that Anthropic's carefully cultivated image as the ethical, safety-first AI company that "partners with the church" is a fiction. In reality, it is the most deeply embedded AI company in the US security state. Instead of building guardrails, they're literally weaponizing their own AI inside the NSA.

Src: https://t.co/sWmXvPSUy4

[Haaretz.com @haaretzcom]

Israir flight diverted to Croatia after Slovenia refuses landing https://t.co/PYdkuPwM5x

[Drop Site @DropSiteNews]

🚨🇱🇧 Since the April 17 “ceasefire,” Israeli forces have killed at least 1,232 people and wounded 3,189 others in Lebanon.

According to Cradle Media’s running tally, Israeli attacks on Thursday alone included:
▪️ 30 drone strikes
▪️ 43 airstrikes
▪️ 7 instances of artillery shelling

The overall toll since the war resumed on March 2 has now risen to more than 3,526 killed and 10,733 wounded.

Despite the scale of the bombardment, Kaja Kallas the European Union’s top diplomat and foreign policy chief, describes the violence as “skirmishes” and warn only against a “return to full-scale hostilities.”

Jeremy Scahill told Sky News yesterday that a “ceasefire” announcement simply gives Israel’s PM Netanyahu an international stamp of legitimacy on his ongoing war of annihilation – which continues regardless of any announcement.

[Pedro Sánchez @sanchezcastejon]

En la noche de ayer, el conflicto en Líbano se saldó con cuatro ataques de mortero a la base española Miguel de Cervantes, un casco azul serbio fallecido y dos españoles heridos.

Nuestra condena más absoluta a la violencia y todo nuestro apoyo a quienes se juegan la vida por defender la paz bajo la bandera de las Naciones Unidas.

Esperamos que todas las partes cumplan íntegramente el alto al fuego anunciado ayer y que las hostilidades terminen. La paz es el único futuro.

[Reuters @Reuters]

CORRECTION: Israel plans major settlement push across occupied West Bank https://t.co/1MGC3gNXdo

We will delete a post that referenced Israel’s latest settlement push as being seen by many as illegal; Israel’s settlements in the occupied West Bank are deemed illegal under international law

[Ultimora.net @ultimoranet]

In Albania sono in corso da alcuni giorni manifestazioni partecipate contro la realizzazione di un resort di lusso legato alla società di Jared Kushner, genero di Donald Trump. Migliaia di persone e diverse associazioni ambientaliste sono scese nelle strade di Tirana chiedendo la sospensione del progetto a Zvërnec, che interesserebbe l’area protetta della laguna di Narta, e le dimissioni dei funzionari che sostengono il piano. Segnalati anche scontri con la polizia

[Lorenzo Kamel @lorenzokamel]

Se 1 palestinese protesta nelle "libere piazze d'Israele" paga 1 prezzo altissimo. Vero, nonostante le pressioni, c'è Haaretz—prezioso giornale di nicchia su cui ho scritto più volte. Ciò rende meno mostruosi i dati qui sotto? Politici che commentano temi di cui non sanno nulla.

[andrea sparaciari @ASparaciari]

Schlein non l'avrebbe riconfermata vicepresidente del Parlamento europeo.
Senza quella carica -che dà visibilità - conta come il due di picche.
Per questo ha lasciato il Pd.
Lo struggente caso di Pina Picierno spiegato in 5 righe (che poi è lo spazio che si merita).

[Frank O'Callaghan @ionank]

22nd anniversary

[vx-underground @vxunderground]

Microsoft introduces Microsoft Scout, also known as Autopilot.

Scout is always on and has file system and application access "based on your corporate policy".

Best news for Threat Actors in a long time

https://t.co/M3pyfcbTBm

[Ultimora.net @ultimoranet]

Libano, attacco con proiettili di mortaio contro una postazione dell'UNIFIL nel distretto di Marjayoun: ucciso un casco blu serbo

[Trita Parsi @tparsi]

There is nothing like the Onion...

[Ultimora.net @ultimoranet]

La Germania non è riuscita a ottenere un seggio nel Consiglio di sicurezza dell'ONU per la prima volta nella sua storia: ha ricevuto soltanto 104 voti, contro i 134 del Portogallo e i 131 dell'Austria, che si sono aggiudicati i due seggi riservati al gruppo non permanente dell'Europa occidentale per il biennio 2027-2028

[curse, recurse @id_func]

@Crosettismo @Cr1st14nM3s14n0 Sì, è interessante. L'ho provato su dei programi, e mi sembrava buono.

È un ambito molto vasto, e da qualche parte stanno a vedere cosa succede a integrare ai con strumenti automatici (z3, spass & co) o proof assistants (Lean va di moda dopo che Tao ci si è messo a giocare).