abstract transfer functions -- code that implements for example a bitshift operation on integer ranges or "known bits" -- are super fun to work on, but I've also long wanted to synthesize these from specifications. this could solve the problem where, for example, LLVM has very few transfer functions for its architecture-specific intrinsics. anyway, here's a paper we did on this topic that's going to appear in POPL early next year:
Vabbè, estinguiamoci
Se questo è il livello...
putin warned that while russia doesn’t seek war with Europe, it is "ready now" if Europe initiates conflict. He accused Europe of obstructing peace talks and supporting war
putin also vowed to escalate strikes on Ukrainian ports after calling attacks on russian tankers "piracy."
news.sky.com/liveblog-webview/…
Ukraine war latest: Zelenskyy says they have worked out 20-point peace plan with US - as Trump team arrives at Kremlin
On another big day of diplomacy, Volodymyr Zelenskyy is in Ireland as Donald Trump's negotiators Steve Witkoff and Jared Kushner discuss the US plan for peace with Vladimir Putin in Moscow.Sky News
reshared this
Unix - BSD developers : this code should run and be maintained as long as computers exist.
Linux - GNU dev : this code should run and be maintained as long as someone is willing to do the work
Consultant: this code should run until the end of my contract.
Enterprise grade B2B software : this code should run till the end of the demonstration to that big customer.
Vibe coding : You are perfectly right. The code doesn’t run. Try this one. You are right, it deleted your hard disk, I’m sorry.
Il capo di Instagram ordina al personale di tornare in ufficio 5 giorni su 7 da febbraio 2026
Per rilanciare creatività e collaborazione i lavoratori (PRRRR, cit.) devono accettare di frequentare le teste di cazzo che infestano gli ambienti lavorativi.
I dipendenti non sono d'accordo, ma a Instagram non è mai fregato una cippa di quello che pensano le persone. Anzi...
businessinsider.com/instagram-…
Instagram chief Adam Mosseri sets five day RTO for US staff in 2026
Instagram back-to-office policy: Adam Mosseri demands full-time in-person work in 2026, fewer meetings, and faster product prototypes.Pranav Dixit (Business Insider)
reshared this
informapirata ⁂ reshared this.
informapirata ⁂ reshared this.
2 December 1921 | A Polish Jew, Chaim Frydman, was born in Kielce. A worker.
In #Auschwitz from 25 October 1941 r.
No. 22165
He perished in the camp on 8 November 1941.
---
Our podcast talks about the situation of Polish & Jewish prisoners in the camp: youtu.be/_ZaWqIsmY4U
"On Auschwitz" (12): Polish and Jewish prisoners in the camp
During its entire existence, slightly over 400 thousand people were registered at Auschwitz as prisoners - including 131 thousand women. The two largest grou...YouTube
Bellingcat’s Katherine De Tolly will walk us through how to use these databases for investigations in our final Stage Talk of the year. Join live 5pm CET/11am EST Thursday and bring your questions:
discord.gg/D7zDQ5r5?event=1445…
Join the Bellingcat Discord Server!
Come hang out with open source research enthusiasts, share knowledge and experiences, and learn lots! | 37874 membersDiscord
🇷🇸 Serbia's President Aleksandar Vucic said on Tuesday the government would allow payments and transactions for the U.S.-sanctioned Russian-owned oil company NIS until the end of the week, despite the risk of secondary sanctions itself.
2 December 1922 | A Norwegian Jew, Chone (Conrad) Caplan, was born.
In November 1942 he was deported to #Auschwitz. He perished during the evacuation march from Mittelbau-Dora in 1945.
🇷🇺 Hundreds of Porsche vehicles across #Russia have been rendered undriveable after a failure in their factory-installed satellite security system, according to reports from owners and dealerships.
themoscowtimes.com/2025/12/02/…
Hundreds of Porsche Owners in Russia Unable to Start Cars After System Failure
Hundreds of Porsche vehicles across Russia have been rendered undriveable after a failure in their factory-installed satellite security system, according to reports from owners and dealerships.The Moscow Times
🇺🇦 A British man has been detained in #Ukraine on suspicion of spying for #Russia, the Ukrainian security service has said.
Its investigation into the suspect was carried out in coordination with British intelligence.
news.sky.com/story/briton-deta…
Briton detained in Ukraine on suspicion of spying for Russia to make 'easy money'
The Ukrainian security service said the man was also preparing to commit terrorist attacks.Deborah Haynes (Sky News)
⚡️ DASHBOARD IMPROVEMENTS
■ Switched the positions of the report date and activity date
■ Created space for an update schedule
■ The summary graph now shows the last four weeks instead of two
■ Switched to a 30-day strike ratio to provide a more meaningful indicator of the trend
📈 See dashboard:
lookerstudio.google.com/s/icYU…
Dashboard on the War in Ukraine & Russia
Looker Studio turns your data into informative dashboards and reports that are easy to read, easy to share, and fully customizable.Looker Studio
⚡️ WAR IN UKRAINE & RUSSIA — DEC 2, 2025
■ Engagements slightly below the 7-day average, but casualties above it
■ Unusually few drone attacks (and losses); land-based equipment losses remain well below average
■ Double-digit overnight attacks, all drones; interception rate could be better, 8 locations hit
■ Russian strikes above average, one 🇺🇦 strike reported; 30-day strike ratio at 27.0×
📈 See dashboard for full data:
lookerstudio.google.com/s/lON6…
Dashboard on the War in Ukraine & Russia
Looker Studio turns your data into informative dashboards and reports that are easy to read, easy to share, and fully customizable.Looker Studio
НАЖИВО. Виступ у парламенті Ірландії:
President #Zelenskyy Speech in the Irish Parliament:
Виступ Володимира Зеленського в парламенті Ірландії
Виступ Володимира Зеленського в парламенті Ірландії.YouTube
reshared this
Volodymyr Zelenskyy addresses joint sitting of Irish parliament
Ukrainian President Volodymyr Zelenskyy will address a joint sitting of the Houses of the Oireachtas on Tuesday 2 December as part of his visit to Ireland. T...YouTube
#Zelenskyy: US and Ukraine have worked out 20-point peace plan
#Ukraine and the US have worked the original American-proposed peace roadmap into a 20-point plan, Volodymyr Zelenskyy has told a news conference in Dublin just now.
He said the original proposal was narrowed down from 28 to 20 points in Geneva and "finalised" during talks last weekend in Florida.
news.sky.com/liveblog-webview/…
Ukraine war latest: Zelenskyy says they have worked out 20-point peace plan with US - as Trump team arrives at Kremlin
On another big day of diplomacy, Volodymyr Zelenskyy is in Ireland as Donald Trump's negotiators Steve Witkoff and Jared Kushner discuss the US plan for peace with Vladimir Putin in Moscow.Sky News
reshared this
President Zelenskyy’s historic #Ireland visit secured a 5-year partnership roadmap. Discussed peace talks, #EU membership, sanctions on russia, frozen assets, and accountability.
Praised Ireland’s sincere support for Ukraine’s sovereignty and humanitarian needs. #StandWithUkraine
reshared this
So what about 🐇 🐇?
I also wonder whether cat domestication was associated with onset of patriarchy (not the cats' fault, just a correlation, things were getting worse and the cats would have been a big help).
zmescience.com/science/news-sc…
Cats Scream Louder at Men and It's Probably the Men's Fault
Cats are just reading the room.Mihai Andrei (ZME Science)
L'anno 1950 era agli inizi e il Comitato provinciale per il Soccorso invernale ai disoccupati tirava le somme dei pasti erogati
@vonblubba :ls005_baronblubba: @LaVi a scuola avevano le ore di calligrafia
noi no
è colpa di chi ha rovinato la scuola!!1!ONE!
@vonblubba :ls005_baronblubba: @LaVi naaa, non è così difficile
basta esercitarsi tutti i giorni, con constanza, per decine di mesi, e si arriva a farlo
non serve veramente neanche la gente che ti tira righellate sulle mani quando sbagli
in compenso servono tempo e voglia, e chi ce li ha oggi?
RE: zhub.link/@mojandroid/11564979…
Альтернативный плейер Youtube (SmartTube) может быть с трояном!
Môj Android (@mojandroid@zhub.link)
Populárna YouTube alternatíva pre Android TV šírila nebezpečné verzie aplikácie Vývojársky tím potvrdil, že počítač, na ktorom oficiálne balíčky SmartTube vznikali, bol infikovaný škodlivým softvérom. https://www.mojandroid.Mastodon on ZHub
Ukrainian delegation reported on U.S. talks, focusing on security, frontline updates, and sanctions.
#Zelenskyy emphasized unity with partners for genuine peace, warning of russian disinformation.
Further meetings planned with U.S. and Europe.
reshared this
Defensive Security Podcast Episode 331
Visit our website at: https://defensivesecurity.orgLinks to the stories we cover this week:https://cloud.google.com/blog/topics/threat-intelligence/unc6040-p...YouTube
proud to be an adviser of #DeclassifiedUK
I recommend this article by #RichardNortonTaylor:
declassifieduk.org/sas-shot-to…
SAS ‘shot toddlers in their beds’, Afghanistan inquiry told
Special forces soldier feared the elite regiment would “go down the sewer” unless he blew the whistleRICHARD NORTON-TAYLOR (Declassified Media ltd)
unbenownst-eth to most, every John Mastodon plushie comes with a nuclear-battery-titanium-shieleded chip that makes them able to moderate the instances used near them.
True story. ::nods emphatically::
Vi aspettiamo tutti per parlare del #genocidio di #Israele contro #Gaza, delle complicità dell'Italia, della #GazaHumanitarianFoundation e della resistenza, dalla #Flotilla agli scioperi
C'è ospite speciale: #AnthonyAguilar
Ci provo
"Ma poiché – a quanto risulterebbe – l’articolo 11 della Costituzione che “ripudia la guerra" [..] non è stato abolito", scrive #MarcoTravaglio.
Da anni vi dico:temo l'#articolo11 sia in pericolo.Dall'Iraq in qua è stato aggirato,ma potrebbe finire peggio
ilfattoquotidiano.it/in-edicol…
Vogliamo i proattivi
Leggi su Il Fatto Quotidiano l'articolo in edicola "Vogliamo i proattivi" pubblicato il 2 Dicembre 2025 a firma di Marco TravaglioMarco Travaglio (Il Fatto Quotidiano)
poi veniamo ai FATTI che davvero contano, in un'Italia sempre più povera e con servizi pubblici allo sfascio,dove i cittadini vengono lobotomizzati con le armi di Distrazione di Massa, come la famiglia del bosco
Il grave stato del #SistemaSanitarioNazionale:
ilfattoquotidiano.it/2025/12/0…
In Italia la spesa pubblica sanitaria è tra le più basse dei Paesi Ocse
I dati del rapporto dell’Ocse. Criticità anche sul numero degli infermieri e sui fattori di rischio per la salute. Risultati positivi sull'aspettativa di vita e le cura delle urgenzeFrancesco Lo Torto (Il Fatto Quotidiano)
oggi, molte cose da leggere ma iniziamo con la solidarietà
- a #SigfridoRanucci e a tutta la squadra di #ReportRAI3 da anni sotto assedio,ma ora a rischio della vita
- a #FrancescaAlbanese, che da mesi subisce una campagna mediatica
888: il data-leaker seriale! L’outsider del darkweb che ha costruito un impero di dati rubati
📌 Link all'articolo : redhotcyber.com/post/888-il-da…
#redhotcyber #news #cybersecurity #hacking #dataleak #breach #ryanair #dump #dataset #sicurezzainformatica
888: il data-leaker seriale! L’outsider del darkweb che ha costruito un impero di dati rubati
Analisi CTI sul leak di Ryanair: dettagli sulla violazione e il profilo del data-leaker 888. Scopri di più sulla sicurezza informatica e il cybercrime.Luca Stivali (Red Hot Cyber)
Un albero di Natale fatto con pile di vestiti piegati, con una stella rossa in cima. L'albero è posizionato in un angolo di una stanza, tra un muro e una porta a due ante chiusa. I vestiti sono di vari colori e motivi, e sono disposti in modo da formare una forma conica. La base dell'albero è un cesto rosso e bianco. In alto, al centro, c'è una stella rossa con glitter. Il testo "[@]sincerelymumsy" è visibile nell'angolo in basso a sinistra.
alt-text: Un albero di Natale non tradizionale è realizzato con pile di vestiti piegati e una stella rossa in cima. L'albero è posizionato in un angolo tra un muro e una porta chiusa. I vestiti sono di vari colori e motivi, e sono disposti in modo conico. La base dell'albero è un cesto rosso e bianco. Il testo "[@]sincerelymumsy" è visibile nell'angolo in basso a sinistra dell'immagine.
Fornito da @altbot, generato localmente e privatamente utilizzando Gemma3:27b
🌱 Energia utilizzata: 0.151 Wh
Se oggi avete molti nuovi follower è perché @amministratore ha pubblicato la lista delle 150 persone da seguire su mastodon.uno:
Se volete essere rimossi dalla lista basta scrivere a @amministratore
La lista serve solo ad aiutare chi è appena arrivato su Mastodon a orientarsi meglio o a chi vorrebbe scoprire nuove persone.
È a prova di bot, può seguirvi solo un umano 😉
Messaggio pubblicato nel gruppo fediverso seguibile qui: @fediverso
filippodb ⁂ reshared this.
Il servizio è qui: rainews.it/video/2025/05/john-…
John McFall, il primo parastronauta della storia, si prepara per volare nello spazio
L'ex campione paralimpico inglese, selezionato dall'ESA, è quasi pronto ad andare in orbita. Andrea Bettini lo ha incontrato in esclusiva durante l'addestramento al Centro Europeo Astronauti di Colonia, in GermaniaRaiNews
Huh. I didn't notice it before but my WordPress did apparently loose all ActivityPub subscribers before the 1st of Dec 😱
I had to resubscribe from my Mastodon account too to show up on the follower list again. No previous notes were pushed as well.
Little bit puzzled how that may have happened @pfefferle 🤔
Edith says: They are still in the database with the meta_key `activitypub_followers` so there is that. Was this moved elsewhere? Serialized tends to blow up eventually.
This is a headline for the ages:
bbc.co.uk/news/articles/cp341d…
The bed bugs must be so disappointed.
Bed bugs at Priory View in Dunstable cancels Christmas fete
Residents say they used to be proud to live there, but now "don't want to get nibbled in bed".Tony Fisher (BBC News)
Dark Web & Cyber Threat Intelligence
Esplora il lato oscuro di Internet e acquisisci competenze nella navigazione del Dark Web con il corso Cyber Threat Intelligence condotto dal prof. Pietro Melillo. Scopri come accedere al Dark Web ed identificare le minacce nascoste.Red Hot Cyber
Painted Lady - Vanessa Cardui
Butterfly 2017-125
Small kindness
Can make a large difference
#butterfly #butterflies #macro #pics #photography #beauty #nature #photodaily #photos #thephotohour #mramsdellpics
I'm looking for work!
I can do
- Product Management
- Full Stack Web
- Javascript all the things
I've done a lot of freelance so I'm great at talking to clients and have done all sorts of collaboration. I can be left alone to come up with solutions as well as I can in a team.
Available full-time, tax-friendly, in UK and Ireland. Remote essential.
Freelance wherever.
If you have any leads or tips, it would be greatly appreciated.
Details on request.
Perché la poesia manda in tilt ChatGPT
https://www.wired.it/article/jailbreak-chatgpt-poesia-buca-sicurezza-llm/?utm_source=flipboard&utm_medium=activitypub
Pubblicato su Security @security-WiredItalia
I jailbreak di ChatGPT passano per la poesia: cosa rivela lo studio di Icaro Lab
Richieste improprie e che subito bloccate se poste in linguaggio naturale, vengono invece accettate dai large language model se messe in forma di versi e rime: com’è possibile?Andrea Daniele Signorelli (Wired Italia)
[Column] Sabrina Malheiros: The brilliance of modern Brazilian soul - The horizon of a new generation of samba soul revealed by Clareia and its remix
Ahmad Jamal Trio - Manhattan Reflections | LIVE at Maison de la Radio, 1971 (Paris) | Qwest TV
Ahmad Jamal Trio - Manhattan Reflections | LIVE at Maison de la Radio, 1971 (Paris) | Qwest TV
Ahmad Jamal Trio performs Manhattan Reflections live at Maison de la Radio, 1971 (Paris) ▼ more info below ▼🔔 Subscribe & turn on notifications for the grea...YouTube
Well, this puts things in a bit of perspective. Holy hell.
EDIT: Well, this blew up! Lots of comments and the image, while compelling, is definitely misleading. Need to dig in if these are intended to be proportionally the same size, or just represent “what if an eastern portion of the USA was occupied”.
Either way, worthy to consider in either context to get folks (including myself) thinking.
And yeah, don’t give ab inch either way.
#CyberSecurity
securebulletin.com/shadypandas…
ShadyPanda’s Seven-Year Heist: How a Simple Extension Became a Mass Spy Tool - Secure Bulletin
A sophisticated threat group, dubbed ShadyPanda, has quietly exploited millions of users across the world by weaponizing popular Chrome and Edge extensions.dark6 (securebulletin.com)
securityaffairs.com/185226/hac…
#securityaffairs #hacking
Google’s latest Android security update fixes two actively exploited flaws
Google’s latest Android security update fixes 107 flaws across multiple components, including two flaws actively exploited in the wildPierluigi Paganini (Security Affairs)
securityaffairs.com/185226/hac…
#securityaffairs #hacking
Google’s latest Android security update fixes two actively exploited flaws
Google’s latest Android security update fixes 107 flaws across multiple components, including two flaws actively exploited in the wildPierluigi Paganini (Security Affairs)


John Regehr
in reply to John Regehr • • •