Aveva 91 anni compiuti l’11 luglio - È stato uno dei più influenti stilisti ed imprenditori italiani del 20esimo e 21esimo secolo
rsi.ch/s/3087704
UN Raises Alarm over Food Shortages after Deadly Afghanistan Earthquakes
TEHRAN (Tasnim) – The UN World Food Program sounded the alarm that its food aid for victims of Afghanistan’s deadly earthquakes may run out soon, leaving thousands at risk of starvation.Tasnim News Agency
A Python CLI for Verifying Assembly
This post describes Python CLI tool for verifying assembly programs using symbolic execution with Ghidra pcode semantics. It highlights novel features like embedding formal specifications directly into assembly through macros, handling invariants via control flow graph cuts, and providing detailed verification and countermodel feedback to ensure correctness of assembly code.
A Python CLI for Verifying Assembly
I’ve been building a system that verifies assembly programs via symbolic execution. I think the following are the most novel points of my approach:Hey There Buddo!
Scuola per la Pace Torino e Piemonte: aggiornamenti verso l’autunno di lotta
Scuola per la Pace, insieme a Docenti per Gaza e l’Osservatorio contro la Militarizzazione delle Scuole lancia una serie di iniziative per l’inizio del nuovo anno scolastico. Il rinnovato...Radio Blackout 105.25FM
Could We Accidentally Destroy the Universe?
What if the end of everything came not from cosmic fate, but from us? This episode examines the physics, probability, and peril of experiments that could, in theory, unravel the universe.
:first: Nebula First
New comic strip found:
Archie by Fernando Ruiz & Craig Boldman for Wed, 03 Sep 2025 arcamax.com/thefunnies/archie/…
#comic #comicstrip #archie #archiecomics
Archie for 9/3/2025
Fernando Ruiz & Craig Boldman's "Archie" continues the classic comic's story of Archie and his friends Jughead, Betty, and Veronica.ArcaMax
🖥️ Per l'esperienza di gioco definitiva, il tuo monitor gaming deve vantare un elevato refresh rate, basso input lag e risoluzione HD. #GamingLife #TechSavvy
🔗 tomshw.it/hardware/quali-carat…
Quali caratteristiche deve avere un monitor gaming?
In questa guida vi accompagneremo passo passo per aiutarvi a scegliere il monitor da gaming più adatto a voi, scorporandone tutte le caratteristiche.Giulia Serena (Tom's Hardware)
speedpaint: https://youtube.com/shorts/oAt0zaf7ZeU?si=9JP8XaSg8uQyEpGv
#初音ミク #初音未来
pixiv.net/en/artworks/13471091…
pixiv.net/en/users/67693947
#初音ミク 【初音ミク/描く】miku🎤🎶 - 黑貓のイラスト - pixiv
speedpaint: https://youtube.com/shorts/oAt0zaf7ZeU?si=9JP8XaSg8uQyEpGvpixiv
Mis-issued certificates for 1.1.1.1 #DNS service pose a threat to the Internet
arstechnica.com/security/2025/…
#Cloudflare #privacy #cybersecurity
Mis-issued certificates for 1.1.1.1 DNS service pose a threat to the Internet
The three certificates were issued in May but only came to light Wednesday.Dan Goodin (Ars Technica)
Francia: il 10 settembre blocchiamo tutto, atteso il voto di fiducia per Bayrou
Da circa un mese sui social e sui siti di movimento, ma non solo, è iniziato a girare un appello per una giornata di mobilitazione e di blocco per il 10 settembre. In questa giornata infatti, in...Radio Blackout 105.25FM
Fall Fundraiser – Can you help keep OffGuardian afloat?
Fall is in the air, so it’s time for our bi-annual donation drive. We appreciate that there’s nothing as infuriating as sites dropping banner ads and pop-ups asking for money, so we lik…OffGuardian
(Updated) Radxa CM4 compute module supports 8K video, WiFi 6, and PCIe expansion
Radxa has published hardware specifications for its upcoming CM4 compute module, an Edge AI platform built around the Rockchip RK3576(J) processor.Giorgio Mendoza (LinuxGizmos.com)
Ex-NASA chief: China likely to land humans on Moon before Uncle Sam does again
Overly complex architecture featuring SpaceX's Starship to blame A former NASA administrator has told the US Senate Commerce Committee that it is "highly unlikely" the US will return humans to the Moon before a Chinese taikonaut plants a flag on the lunar surface.…
#theregister #IT
go.theregister.com/feed/www.th…
Ex-NASA chief: China likely to land humans on Moon before Uncle Sam does again
: Overly complex architecture featuring SpaceX's Starship to blameRichard Speed (The Register)
Le Chat. Custom MCP Connectors. Memories
Link: mistral.ai/news/le-chat-mcp-co…
Discussion: news.ycombinator.com/item?id=4…
Le Chat. Custom MCP connectors. Memories. | Mistral AI
Le Chat now integrates with 20+ enterprise platforms—powered by MCP—and remembers what matters with Memories.mistral.ai
Honeywell's Quantinuum raised $600M from Quanta, Nvidia's NVentures, and others at a $10B pre-money valuation, up from $5B after raising $300M in January 2024 (Bloomberg)
bloomberg.com/news/articles/20…
techmeme.com/250904/p26#a25090…
Honeywell's Quantinuum raised $600M from Quanta, Nvidia's NVentures, and others at a $10B pre-money valuation, up from $5B after raising $300M in January 2024
From Bloomberg. View the full context on Techmeme.Techmeme
Canadian Servility to U.S. War Agenda ‘Rewarded’ with 35 Percent Tariffs - CovertAction Magazine
Former U.S. Secretary of State Henry Kissinger once said “it may be dangerous to be America’s enemy, but to be America’s friend is fatal.” Canada has been servile to the U.S.Aidan Jonah (CovertAction Magazine)
Mixxx 2.5.3 Open-Source DJ App Brings Major Improvements to Digital Vinyl System - 9to5Linux
Mixxx 2.5.3 open-source virtual DJ software for performing live mixes is now available for download with various improvements and bug fixes.Marius Nestor (9to5Linux)
Uno studente su otto in Italia non ha la cittadinanza
Lo studio “Chiamami col mio nome” fotografa una realtà in cui la disuguaglianza è strutturale. Il 12,2 per cento degli studenti della scuola ... Scopri di più!Giulio Cavalli (Domani)
Roblox restricts some features in the UAE and Saudi Arabia, including its in-game chat tool, and improves Arabic content moderation over child safety concerns (Leen Al-Rashdan/Bloomberg)
bloomberg.com/news/articles/20…
techmeme.com/250904/p25#a25090…
Roblox restricts some features in the UAE and Saudi Arabia, including its in-game chat tool, and improves Arabic content moderation over child safety concerns
By Leen Al-Rashdan / Bloomberg. View the full context on Techmeme.Techmeme
Technology Channel reshared this.
Rockit Maxx - Transport of delight
80s/Synth-Pop
- radio.unitoo.it/
#UnitooLiveRadio #WebRadio #OnlineRadio #InternetRadio #bot
An Archaic Revival or Classic Rebirth?
With the replacement of the Pantheon and Rome’s vast array of mystery schools by Nicene Christianity, the soothsayers, astrologists, magicians and medicine men of old seemed to have been kicked to …Rising Tide Foundation
Show HN: A roguelike game that runs inside Notepad++
Link: github.com/thelowsunoverthemoo…
Discussion: news.ycombinator.com/item?id=4…
GitHub - thelowsunoverthemoon/NeuroPriest: Rogue-lite as a Notepad++ Plugin
Rogue-lite as a Notepad++ Plugin. Contribute to thelowsunoverthemoon/NeuroPriest development by creating an account on GitHub.GitHub
Sei milioni di bambini senza istruzione entro il 2026
Per i tagli agli aiuti pubblici per lo sviluppo, tutto il mondo sarà colpito da una crisi scolastica. I paesi a basso reddito i più a rischio: 28 ... Scopri di più!Domani
Indonesia: continuano le proteste in piazza
Da giorni si svolgono proteste di piazza in Indonesia contro il governo attuale diretto dal presidente Prabowo Subianto. Le proteste sono iniziate il 25 agosto, contro la classe dirigente e i loro...Radio Blackout 105.25FM
Ubuntu 25.10 Proceeding With Its Rust Coreutils Transition
Following sudo-rs becoming the default sudo implementation in Ubuntu 25.10 as of a few days ago, Canonical is also proceeding with its transition of using the Rust version of Coreutils for this next Ubuntu Linux release...
phoronix.com/news/Rust-Coreuti…
Atlassian agrees to acquire The Browser Company for $610M in cash, set to close by December; the startup, founded in 2019, develops the Dia browser, now in beta (Jordan Novet/CNBC)
cnbc.com/2025/09/04/atlassian-…
techmeme.com/250904/p24#a25090…
Atlassian agrees to acquire The Browser Company for $610 million
OpenAI and Perplexity both reportedly looked at acquiring the startup.Jordan Novet (CNBC)
Technology Channel reshared this.
Reverse engineering Solos smart glasses
Link: jfloren.net/b/2025/8/28/0
Discussion: news.ycombinator.com/item?id=4…
MongoDB is hiring Senior Site Reliability Engineer
🔧 #aws #azure #gcp #mongodb #seniorengineer
🌎 New York City, New York
⏰ Full-time
🏢 MongoDB
Job details jobsfordevelopers.com/jobs/sen…
#jobalert #jobsearch #hiring
The image depicts a futuristic spacecraft flying in a clear blue sky with scattered white clouds. The spacecraft is predominantly white with an orange stripe running along its side and a red star emblem near the cockpit. It has a sleek, aerodynamic design with two large engines mounted on its sides and two vertical stabilizers at the rear. The cockpit is enclosed and appears to be transparent, allowing visibility of the pilot inside. Below the spacecraft, several smaller objects, possibly missiles or drones, are seen in mid-air, suggesting the spacecraft is in flight or engaged in some activity. The overall color palette is a mix of white, orange, and blue, with a slightly vintage or retro-futuristic aesthetic.
Provided by @altbot, generated privately and locally using Ovis2-8B
🌱 Energy used: 0.175 Wh
📸 Foto del giorno: giovedì 4 settembre 2025
Sala principale della centrale termoelettrica a carbone di Szombierki, a Bytom, nell'Alta Slesia, in Polonia. Costruita negli anni venti del Novecento da ingegneri e maestranze tedesche, ricostruita dopo le distruzioni della seconda guerra mondiale, fu uno dei principali impianti per la produzione di energia della Repubblica Popolare di Polonia.
Learning Some Greek — Subjunctive
Greek subjunctive present and aorist: My suggestions for learning some Greek to make your travel easier and more rewarding.Bob's Pages of Travel, Linux, Cybersecurity, and More
Microsoft BASIC For 6502 Is Now Open Source
An overriding memory for those who used 8-bit machines back in the day was of using BASIC to program them. Without a disk-based operating system as we would know it …read more
#hacking #projects
hackaday.com/2025/09/04/micros…
Microsoft BASIC For 6502 Is Now Open Source
An overriding memory for those who used 8-bit machines back in the day was of using BASIC to program them. Without a disk-based operating system as we would know it today, these systems invariably …Hackaday
Fragile Tom - Just you know
New Wave/Synth-Pop
- radio.unitoo.it/
#UnitooLiveRadio #WebRadio #OnlineRadio #InternetRadio #bot
artist: Mathew Brady Studio, active 1844 - 1894
source: National Portrait Gallery
notes: The Frederick Hill Meserve Collection comprises more than five thousand […]
#Art #Design #Museum #Gallery #MastodonArt #MastoArt #Culture #Random
npg.si.edu/object/npg_NPG.81.M…
Tracking Token Disrespector
in reply to 初音ミク • • •🤖 Tracking strings detected and removed!
🔗 Clean URL(s):
youtube.com/shorts/oAt0zaf7ZeU
❌ Removed parts:
?si=9JP8XaSg8uQyEpGv
- YouTube
youtube.com