Number of active instances: 216
Number of users: 20 802
Number of statuses: 2 848 039
Number of new users last 1D: 2
Number of new statuses last 1D: 474
#Fediverse
Martin Kostera likes this.
I've just posted a recording of the "Interpreters everywhere!" talk I gave at the Indiana University CS Colloquium last month: youtube.com/watch?v=q8398PMcuT…
This talk had been brewing in my head for many years, and I was really happy to have the chance to give it to this audience. In it, I discuss what "interpretation" is, and then dig into two examples of research projects from my group that can both be thought of as doing "interpretation".
Thanks to @carloangiuli for inviting and hosting me!
Interpreters everywhere! (Indiana University CS Colloquium talk, November 7, 2025)
This is a talk I gave at the Indiana University Computer Science Colloquium on November 7, 2025 (event website: https://events.iu.edu/event/2081205-interpret...YouTube
GitHub - can-lehmann/uxnjit: Just in Time Compiler for UXN
Just in Time Compiler for UXN. Contribute to can-lehmann/uxnjit development by creating an account on GitHub.GitHub
Spencer likes this.
That'll show those poor!
Fry shows an enlightened look on future politics.Futurama - S07E03 - Decision 3012One of my favorite quotes from the first half of this season.YouTube
Hypolite Petovan likes this.
Hypolite Petovan likes this.
Google is now tracking at least five Chinese cyber-espionage groups that are exploiting the React2Shell vulnerability for initial access.
The groups are UNC6600, UNC6586, UNC6588, UNC6603, and UNC6603. This is up from two at the beginning.
cloud.google.com/blog/topics/t…
Multiple Threat Actors Exploit React2Shell (CVE-2025-55182)
Widespread exploitation of the React2Shell vulnerability (CVE-2025-55182) by multiple threat actors, including China and cyber criminals.Google Threat Intelligence Group (Google Cloud)
like this
Jamie Lee Curtis is definitely one of them.
Hypolite Petovan likes this.
A report on Weyhro C2, a new offensive toolkit advertised on underground forums.
The toolkit appears to be the work of the individual behind the (now-failed) Weyhro ransomware from March this year.
Nello spettacolo Raimbaut pone indovinelli, spesso dalla soluzione non proprio da educande.
SABATO 20 DICEMBRE 2025 ORE 20:45 IL CORO LA PIEVE PRESENΤΑ NELLA PIEVE ROMANICA DI SAN FLORIANO IL CONCERTO di NATALE
AL TERMINE MOMENTO CONVIVIALE CON SCAMBIO DI AUGURI
E c'è anche @matz @matteo che dirige
agcverona.it/eventi/concerto-d…
CONCERTO DI NATALE - AGC Verona
Concerto di Natale con la partecipazione del "Coro la Pieve" e del coro "Ottetto Instabile" con intermezzo strumentale e voce solista della soprano GiorgiaAGC Verona
E anche l'ultima prova l'abbiamo fatta.
Domani si va in scena col repertorio natalizio.
Di brani stupendi ce ne sono tanti, faremo del nostro meglio per onorarli.
mobilizon.it/events/e8ae221d-f…
A #Capranica ( #Viterbo ) #Jazz natalizio domenica 18:30
Concerto Candlelight degli EliF Natale
All'interno della manifestazione " Natale di Emozioni ", domenica 14 dicembre nel tempio romanico di San Francesco il trio di " Frammenti " si ritrova a suonare assieme dopo 7 anni con un repertorio preparato su misura per questo concerto a lume di c…mobilizon.it
FINE. I'm gonna start reporting all those flower pictures I see, because they're BEAUTIFUL and you DESERVE SOME BEAUTY IN YOUR LIFE.
And maybe a cute cat pic. But not in the same report with lilies, because those can make kitties sick 
Un miliardario trovato nudo in mare. Un buco da 460 milioni nei fondi pensione. Non è un romanzo, è la parabola di Robert Maxwell
#storia #truecrime #RobertMaxwell #media #storiavera
boomerissimo.it/2025/12/13/rob…
Robert Maxwell: la fine misteriosa di un Berlusconi inglese - Boomerissimo
Quando il potere mediatico diventa criminale: la parabola di Robert Maxwell, da sopravvissuto della Shoah alla morte misteriosa nelle acque delle Canarie.Antonio Pintér (Boomerissimo)
like this
Kent Paint likes this.
@gmarcosanti Ecco una descrizione di testo alternativo per l'immagine:
L'immagine è un disegno a inchiostro in bianco e nero. Due orsi, uno più grande e uno più piccolo, stanno camminando verso sinistra in un paesaggio con alberi spogli. L'orso più piccolo è in primo piano e l'orso più grande è leggermente dietro e a sinistra di quello più piccolo. Il terreno presenta piccole colline e macchie di vegetazione scura. Il testo nell'immagine recita: "Is he dead yet?" asked Piglet. "No," said Pooh. "Fuck," said Piglet.
Alt-text: Disegno in bianco e nero di due orsi che camminano in un paesaggio spoglio con il testo: "Is he dead yet?" asked Piglet. "No," said Pooh. "Fuck," said Piglet.
Fornito da @altbot, generato localmente e privatamente utilizzando Gemma3:27b
🌱 Energia utilizzata: 0.125 Wh
An activist was charged with destruction of evidence after resetting his phone to factory settings
Quadra kill con Sett, questa volta sulla Landa.
Faccio ancora schifo al gioco, ma sento di star migliorando con Sett.
Sono molto soddisfatto.
facebook.com/reel/141873935986…
#leagueoflegends #lolclips #leagueoflegendsita #riotgames
(@filippodb ci sarà la possibilità di caricare video più lunghi? Questo è solo 133 mb ma non me lo fa caricare e devo condividerlo da Facebook 😥 )
Quadra kill con Sett, questa volta sulla Landa. Faccio ancora schifo al gioco, ma sento di star migliorando con Sett. Sono molto soddisfatto. #leagueoflegends #lolclips #leagueoflegendsita #riotgames | Panterarossa01
Quadra kill con Sett, questa volta sulla Landa. Faccio ancora schifo al gioco, ma sento di star migliorando con Sett. Sono molto soddisfatto. #leagueoflegends #lolclips #leagueoflegendsita #riotgameswww.facebook.com

il ponte sullo strutto
<immagine di Homer Simpson che sbava>
Non è che percaso c'è anche il ponte sulla 'nduja?
<immagine di Homer Simpson che sbava>
Unso', l'esperto di gastronomia è quello che siede nella stanza dei bottoni del ministero delle infrastorture e transpotting
Lo aggiusteremo.
Pranzo in trattoria: carbonara, trippa e cheesecake con la stracciatella.
Un po' di taglio legna con la vicina anziana che mi parla delle amiche che fanno con lei il corso sul fine vita della socrem 😒 e che sono venute a prendere un thé perche la presidentessa è morta, ma non vogliono cremarla 🙄... santa donna, ma io passerei 😅
Questa sera tisana, e preparo dei dolci ai cachi, e ho sempre una toma col peperoncino.
No: niente notiziari, di nessun genere. Ho notato che se tengo lontane le sfighe del mondo vivo meno peggio: sono stufo di morte. Ho già il lavoro che mi costringe a vivere in mezzo a molta gente che non vale niente, e cercare di sopravvivere.
Movie piracy is bad. That's why I want to know the best sites to block so I live free of sin.
I used to block dopebox.to, but since it doesn't work the way I want, I no longer need to block it.
What other good sites are there that I should block or whatever?
CHI PROGRAMMA LA GUERRA?
@Informatica (Italy e non Italy 😁)
37.000 obiettivi generati da un algoritmo. È quanto avrebbe fatto Lavender, il sistema di intelligenza artificiale usato da Israele nel recente conflitto con Hamas, secondo il Guardian.
L'articolo CHI PROGRAMMA LA GUERRA? proviene da GIANO NEWS.
#DIFESA
Amazon evade 1 miliardo e 200 milioni di euro ma raggiunge un accordo con il fisco italiano pagando solo 723 milioni di euro.
Com'è che se io mi dimentico di mettere la Postepay della nonna nell'ISEE mi pignorano casa e stipendio ma i colossi possono beatamente fregare 500 milioni dalle casse dello stato?
RE: mstdn.social/@lowqualityfacts/…
un tuo sorriso il sole fa spuntar !
Low Quality Facts (@lowqualityfacts@mstdn.social)
Attached: 1 image Happy 100th birthday Dick Van Dyke, I've spent most of my life confusing you with Rip Van Winkle and thinking you were a fictional character.Low Quality Facts (Mastodon 🐘)
Hello friends in Scotland 👋
I have a lot of children’s books and clothes (used but in excellent condition) that I was planning to donate to a charity shop. Before I do, I wondered if there’s anywhere locally (I'm in Perthshire) that would pass items directly to families who might need them for free - community groups, mutual aid networks, schools, or similar?
I’d much rather they went straight to someone who could use them.
Any suggestions welcome, thank you!
RE: techhub.social/@Techmeme/11571…
This is another unneeded action from the Trump administration and is just another way for defence contractors to siphon money from the US govt at inflated prices
Techmeme (@Techmeme@techhub.social)
Sources: The Trump administration is drafting a new cyber strategy that would enlist private companies to mount offensive cyberattacks on foreign adversaries (Jamie Tarabay/Bloomberg) https://www.bloomberg.Techmeme (TechHub)
The Dutch NCSC on the Notepad++ update hijack attacks:
"Currently, as far as is known, only organizations with interests in East Asia are victims of targeted attacks"
cc: @GossiTheDog
ncsc.nl/actueel/nieuws/2025/12…
Kwetsbaarheid Notepad ++
Er is een kwetsbaarheid in Notepad++ gevonden waarmee het mogelijk is om malafide updates naar gebruikers te pushen. Momenteel zijn voor zover bekend uitsluitend organisaties met belangen in Oost-Azië slachtoffer van gerichte aanvallen.www.ncsc.nl
While everyone else is busy and the bedroom is off limits to the dog, Sam likes to camp right in the middle of the bed and claim it for Catlandia.
Not shown: Sam accepting a belly rub after this picture was taken.
securityaffairs.com/185650/apt…
#securityaffairs #hacking #Russia
Germany calls in Russian Ambassador over air traffic control hack claims
Germany summoned Russia’s ambassador over alleged cyberattacks on air traffic control and a disinformation campaign.Pierluigi Paganini (Security Affairs)
Voci di donne su Mastodon
La presenza femminile su Mastodon è ancora limitata e spesso meno visibile di quanto meriterebbe. Questo starter pack nasce per contrastare quello squilibrio e dare più spazio, voce e rilievo alle donne nel Fediverso:
Qui trovi un elenco di account attivi sull’istanza mastodon.uno insieme ad alcune voci di ragazze che conosco bene e consiglio perche producono pensiero e competenze all'interno del @fediverso
filippodb ⁂ reshared this.
(pronounced aye)
makes mistakes.
It uses a simplified form
of neutral network
loosely based on that
of the brain
(which manages
on a few spoonfuls
of glucose not a
whole power station)
and is trained with the
detritus of the internet.
Humans are often wrong,
even with a good education.
Give them only the
contents of the internet ...
well look around you,
see what can happen
I would never have guessed that this was spelling Christmas 😝 I am very annoyed that each S is different, I did check the pattern, I have not made a mistake. Anyway, this is day 13 of the penguin SAL.
Otto vittime, un costume rosso e una barba vera
#christmas #natale #truecrime #serialkiller #brucemcarthur
boomerissimo.it/2024/12/14/bab…
Babbo Natale serial killer: terrore in città, polizia sotto accusa - Boomerissimo
E’ Natale, tutti aspettano che arrivi Babbo Natale. Qualcuno avrebbe preferito non incontrarlo maiAntonietta Terraglia (Boomerissimo)
Otto vittime, un costume rosso e una barba vera
#christmas #natale #truecrime #serialkiller #brucemcarthur
boomerissimo.it/2024/12/14/bab…
Babbo Natale serial killer: terrore in città, polizia sotto accusa - Boomerissimo
E’ Natale, tutti aspettano che arrivi Babbo Natale. Qualcuno avrebbe preferito non incontrarlo maiAntonietta Terraglia (Boomerissimo)
flipboard.com/@opengiornale/ul…
Buffon: "Meloni rappresenta nel modo migliore la nostra nazione, governa da tanto" - Il video
(Agenzia Vista) Roma, 13 dicembre 2025 "Rappresenta nel modo migliore la nostra nazione, sta governando da tanto e questo è un grande risultato" così …Open - Redazione
A next-level photo of Earth’s Moon! I tested several new techniques, and I’m really happy with the result.
▼ Vixen VC200L | Canon EOS R(a) '25
© Thomas Hanrath '25 · CC BY-NC-ND 4.0
astrocamp.eu/en/earths-moon-de…
#astrophotography #astronomy #nature #moon #astroimaging #nightsky #clearsky #telescope #photography #space
Mehr als 100.000 Menschen schon fordern Bundeskanzler, Vizekanzler und Bundesregierung auf, die toxische Plattform X endlichzu verlassen.
Hier geht's zur Petition:
weact.campact.de/petitions/kei…
Keine Macht für Oligarchen: Bundesregierung endlich runter von X
Staatliche Kommunikation ist keine gewöhnliche Werbung, sondern Teil der demokratischen Grundversorgung.WeAct
"Ci stiamo ammalando di epistemia, l'illusione di sapere cose solo perché l'AI le scrive bene.
L'intelligenza artificiale è molto brava a farci credere di sapere cose che non sa.
E noi ci stiamo convincendo di conoscerle, mentre ci affidiamo a risposte che suonano bene"
wired.it/article/epistemia-ill…
@sandropisano @informapirata @aitech
Epistemia, ci stiamo ammalando dell'illusione di sapere cose solo perché l'AI le scrive bene
L'intelligenza artificiale è molto brava a farci credere di sapere cose che non sa. E noi ci stiamo convincendo di conoscerle, mentre ci affidiamo a risposte che suonano beneLuca Zorloni (Wired Italia)
anche la gente è molto brava a credere di sapere cosa che non sa. Mi sembra un matrimonio perfetto
Regalo di natale in anticipo 🤓
#pennaStilografica
#penneStilografiche
#stilografica
#inchiostro
#inchiostroKarkos
#fountainPen
#fountainPens
#jinhao777
#jinhao
#karkosInk
MITRE pubblica la lista delle TOP25 debolezze software più pericolose del 2025
📌 Link all'articolo : redhotcyber.com/post/mitre-pub…
#redhotcyber #news #cybersecurity #vulnerabilitàsoftware #minacceinformatiche #sicurezzainformatica #MITRE
MITRE pubblica la lista delle TOP25 debolezze software più pericolose del 2025
MITRE pubblica la lista delle 25 debolezze software più pericolose del 2025, stilata dalla Common Weakness Enumeration (CWE), per aiutare sviluppatori e team di sicurezza a stabilire priorità e migliorare la sicurezza del software.Redazione RHC (Red Hot Cyber)
Il Day-One del Caos di React2Shell! Spie, criminali e cryptominer si contendono i server
📌 Link all'articolo : redhotcyber.com/post/il-day-on…
#redhotcyber #news #cybersecurity #hacking #malware #vulnerabilita #sicurezzainformatica
Il Day-One del Caos di React2Shell! Spie, criminali e cryptominer si contendono i server
Una vulnerabilità critica, CVE-2025-55182, è stata scoperta in React Server Components, permettendo l'esecuzione di codice arbitrario. Gli attacchi sono già in corso.Redazione RHC (Red Hot Cyber)
Il sogno dei fan: Star Trek LEGO Enterprise D! Giorgio ci guida tra montaggio ed Easter Egg. Guarda il video di Memorabilia Collection.
extratrek.it/2025/12/13/star-t…
#StarTrek #StarTrekLego #Lego #StarTrekUniverse #ParamountPlus #Skydance @legoitaly_official
On January 29, I'll be leaving for India
Many friends will be with me, including you at Mastodon and many others in the virtual and real world.
One of my childhood idols will surely be there, Sandokan, who made my mind soar to distant and adventurous destinations.
Thanks to Alex for bringing Little Ciubekka's dream to life, as usual.
If you'd like to support my playground project for a school in Bangalore, India, here's the donation link.
A Continent of Power: Does Europe Know Its True Strength?
A recent episode of To the point asked whether Europe is truly being sidelined by the US and China or simply underestimating its own power. Journalist John Kampfner, policy expert Stormy Annika Mildner, and economist Erik Fossing Nielsen argued that despite challenges, Europe still holds significant economic and political strength.
youtube.com/watch?v=yFRqbWWjmH…
A Continent of Power: Does Europe Know Its True Strength? | To The Point
Europe – harassed and economically sidelined by the US and China. Is this picture accurate? Or does the continent have far more to offer than self-doubt?Our ...YouTube
Morning Sheep Time
In which you can greet our new unicorn, recovering after his amputation yesterday. We've let him out into the small field for today so that he risks no clonking while he heals. You can see he is quite bright and energetic :).
youtube.com/watch?v=AV2imkHwo8…
#defaidodon #sheepofMastodon #sheep
Morning Sheep Time 13 Dec 2025
In which you can greet our new unicorn, recovering after his amputation yesterday. We've let him out into the small field for today so that he risks no clonk...YouTube
The Measles Outbreak In South Carolina Is Growing | Techdirt
techdirt.com/2025/12/12/the-me…
The Measles Outbreak In South Carolina Is Growing
I’m certain some people are getting tired of this refrain, but I’m going to keep repeating it to make the point: we shouldn’t have to talk about measles in this country in 2025. T…Techdirt
Meanwhile, OpenAI is preparing its new tool, an achievement that will undoubtedly justify the investment of a gazillion dollars in supercomputers that burn as much energy as cities and drain water reservoirs.
What are they preparing? A cure for cancer? Nuclear fusion?
No. The revolution we’ve all been waiting for is 'ChatGPT adult mode.'
Pornography. It will create pornography.
theverge.com/news/842657/opena…
ChatGPT’s ‘adult mode’ is expected to debut in Q1 2026
OpenAI expects ChatGPT’s “adult mode” will launch in the first quarter of 2026.Hayden Field (The Verge)
🌲 Metti un albero dentro la cargo 📦
📦 @Babbonatale: rottama la slitta e fatti la cargo! Le renne ringraziano e anche il tuo girovita🦌
@Paul Neau Combien the minerai de fer et de charbon sont nécessaire pour fabriquer 5 milliards de tonnes d’acier ?
L’ironie est que l’intérêt de ce graphe est de comparer les durées (25 ans contre 1 jour), pas les quantités exactes, et pourtant cette fausse comparaison entre produits semi-finis et matières premières me saute aux yeux.





Can Lehmann
in reply to Can Lehmann • • •The idea is to automatically generate the JIT from uxn.c using my research meta-tracing framework metajit.cpp (github.com/can-lehmann/metajit…). The idea is to compile uxn.c to LLVM IR and then convert that to metajit.cpp's JIT IR.
#llvm #uxn
GitHub - can-lehmann/metajit.cpp: A meta-tracing JIT
GitHubCan Lehmann
in reply to Can Lehmann • • •Can Lehmann
in reply to Can Lehmann • • •Can Lehmann
in reply to Can Lehmann • • •Can Lehmann
in reply to Can Lehmann • • •Can Lehmann
in reply to Can Lehmann • • •Can Lehmann
in reply to Can Lehmann • • •Can Lehmann
in reply to Can Lehmann • • •My main goal was optimizing the generated traces. Aliasing information is incredibly important for this purpose. The aliasing information which can be derived from the LLVM IR is however lacking, so instead I wrote a new pass which annotates aliasing based on a user provided memory layout. The image below shows how this is done in the case of UXN: The UXN record contains pointers to the RAM, devices and stacks. Which cannot alias with each other. The stack base & top can however.
#uxn
Can Lehmann
in reply to Can Lehmann • • •It also turns out that representing the stacks as
struct Stack { u8* data; u8* top; }
rather than
struct Stack { u8* data; u8 index; }
allows for more inter opcode optimizations in traces due to the generated pointer indexing structure.
Can Lehmann
in reply to Can Lehmann • • •Here is an example of a simple inter-opcode optimization that is possible now. Here 2 stores from SWP2 are eliminated since the dead store elimination pass notices that NIP2 immediately overwrites them.
However this example also shows that there is still a lot of remaining optimization potential, as SWP2 NIP2 should reduce POP2 which only needs 1 store (the stack top pointer).
#uxn
Can Lehmann
in reply to Can Lehmann • • •Along the way I also found and fixed a bunch of metajit.cpp bugs. One larger improvement is that common subexpression elimination now properly supports Load instructions. Previously it erroneously simplified
Load x
Store x
Load x
to
Load x
Store x
which is of course wrong in the general case. This is now handled correctly (hopefully).
Can Lehmann
in reply to Can Lehmann • • •Can Lehmann
in reply to Can Lehmann • • •CF Bolz-Tereick
in reply to Can Lehmann • • •yeah, comparing against an existing assumed correct implementation should work well. You might find bugs in the llvm lowering too, of course.
I love the uxn experiment! I've wanted to try an uxn implementation since forever too, never got around to it though.
Can Lehmann
in reply to Can Lehmann • • •Can Lehmann
in reply to Can Lehmann • • •metajit.cpp/tests/fuzzer.cpp at main · can-lehmann/metajit.cpp
GitHubCan Lehmann
in reply to Can Lehmann • • •Can Lehmann
in reply to Can Lehmann • • •Next step towards UXN jit would be implementing instruction selection for the Div instructions. Right now it exits out, because DivU is an "unknown instruction".
DivU %141, %142
main: src/../modules/metajit.cpp/x86gen.hpp:824: void metajit::X86CodeGen::isel(Inst *): Assertion `false && "Unknown instruction"' failed.
Can Lehmann
in reply to Can Lehmann • • •The division instructions are kind of annoying because they use fixed registers for one operand/result. Since I am using a linear scan register allocator, this is difficult to deal with. Right now, I am just permuting the register file around before and after the division:
; Permute
xchg
xchg
; Divide
div
; Revert Permutation
xchg
xchg
If anybody has a solution for dealing with fixed registers in a linear scan allocator, please let me know.
CF Bolz-Tereick
in reply to Can Lehmann • • •Linear scan register allocation on SSA
Max BernsteinCan Lehmann
in reply to CF Bolz-Tereick • • •