Passing of Jean-Raymond Abrial
Jean-Raymond Abrial, father (in particular!) of the Z notation, but also of the B method, and then Event-B, passed away on May 26. I was surprised to see that this piece of news, which may be of some interest to formal method folks, doesn’t seem to be very well known (there’s not much material on the web).
Here are some links (on LinkedIn, sorry):
[by Bertrand Meyer](https://www.linkedin.com/posts/bertrandmeyer_i-am-saddened-to-report-from-todays-print-activity-7335684948974034944-SJf1? … ⌘ Read more
UK sanctions far-right Israeli ministers for ‘inciting violence’ against Palestinians
Security Minister Itamar Ben-Gvir and Finance Minister Bezalel Smotrich will both face a travel ban, the UK says. ⌘ Read more
**PM denies bowing to political pressure over winter fuel **
Sir Keir Starmer says his decision to give more pensioners the payment was the result of an improving economy. ⌘ Read more
Russian intelligence document calls China ‘the enemy’, leak exposes Moscow’s deep fear | Today News ⌘ Read more
[$] Improving iov_iter
The iov_iter interface is used to
describe and iterate through buffers in the kernel. David Howells led a combined storage and
filesystem session at
the 2025 Linux Storage,
Filesystem, Memory Management, and BPF Summit (LSFMM+BPF) to discuss ways
to improve iov_iter. His topic\
proposal listed a few different ideas including replacing some
iov_iter types and possibly allowing mixed types in chains of … ⌘ Read more
Sizewell C pledged to lower bills but will take at least 10 years
Sir Keir Starmer says the development of Sizewell C on the Suffolk coastline will create 10,000 jobs over the next decade. ⌘ Read more
**Foreign Office staff told to consider resigning if they disagree over Gaza **
More than 300 Foreign Office staff had raised concerns about potential UK “complicity” in Israel’s conduct in Gaza. ⌘ Read more
Julcher und Perner als VfGH-Mitglieder angelobt ⌘ Read more
Rio in bed [Blue Archive] ⌘ Read more
No blank cheque for Sizewell C nuclear project, says PM
Sir Keir Starmer says the development of Sizewell C on the Suffolk coastline will create 10,000 jobs over the next decade. ⌘ Read more
Neue Spiele: Dune Awakening schlägt GTA-Möchtegern-Klon
Zwei Neuveröffentlichungen mit sehr unterschiedlichen Reaktionen der Community: Ab sofort sind Dune Awakening und Mindseye erhältlich. ( Dune Awakening, Steam)
Neom: Brücke über das Rote Meer zu The Line geplant
Saudi-Arabien und die Halbinsel Sinai sollen mit einer 20 km langen Brücke verbunden werden. Das Megaprojekt Neom würde damit eine Bahnverbindung bekommen. ( Infrastruktur, Energie & Klima)
UK firms hold off on hiring as job vacancies fall
The employment market is “weakening” official figures suggest, as cautious businesses delay recruitment. ⌘ Read more
[$] An end to uniprocessor configurations
The Linux kernel famously scales from the smallest of systems to massive
servers with thousands of CPUs. It was not always that way, though; the
initial version of the kernel could only manage a single processor. That
limitation was lifted, obviously, but single-processor machines have always
been treated specially in the scheduler. That longstanding situation may
soon come to an end, though, if this patch\
series from Ingo M … ⌘ Read more
Studie: Sport ist nach wie vor eine Männerdomäne ⌘ Read more
Huawei-Gründer: US-Chip-Handelskrieg für China “kein Grund zur Sorge”
Ren Zhengfei ruft dazu auf, hart zu arbeiten, um den Rückstand gegenüber den USA aufzuholen. Huawei liege nur noch um eine Chipgeneration hinter den USA. ( Huawei, Prozessor)
Breaking: Australia sanctions against two far-right Israeli ministers over Gaza comments
Foreign Minister Penny Wong says Australia will join the UK, Canada and New Zealand in sanctioning Itamar Ben-Gvir and Bezalel Smotrich over comments they have made about Gaza. ⌘ Read more
Tearlaments squirting hard (YugiOh) ⌘ Read more
Weltbank senkt wegen Zöllen Konjunkturprognosen ⌘ Read more
Griechische Justiz geht gegen extrem Rechte im Parlament vor ⌘ Read more
No blank cheque for Sizewell C nuclear project, says PM
Sir Keir Starmer says the development of Sizewell C on the Suffolk coastline will create 10,000 jobs over the next decade. ⌘ Read more
**PM denies bowing to political pressure over winter fuel **
Sir Keir Starmer says his decision to give more pensioners the payment was the result of an improving economy. ⌘ Read more
UK sanctions far-right Israeli ministers over Gaza comments
Security Minister Itamar Ben-Gvir and Finance Minister Bezalel Smotrich will both face a travel ban, the UK says. ⌘ Read more
Kommission legt 18. Sanktionspaket gegen Russland vor ⌘ Read more
Emperor penguin populations shrinks by almost a quarter
Emperor penguin populations in Antarctica have shrunk by almost a quarter as global warming melts their icy habitat, researchers say. ⌘ Read more
California governor says Trump ‘deranged’ as thousands more troops sent to LA
Protests against immigration raids by the Trump administration spring up in at least nine other US cities. ⌘ Read more
Anzeige: Fahrradtrainer bei Amazon mit 34 Prozent Rabatt im Angebot
Bei Amazon gibt es derzeit ein attraktives Angebot zu einem Fahrradergometer von Tretmann. Es ist mit 34 Prozent Rabatt erhältlich. ( Sport, Amazon)
‘Russians are too weak’ — Orban questions Moscow’s ability to attack NATO ⌘ Read more
TV presenter David Bull named new Reform chairman
The TalkTV host replaces Zia Yusuf, who quit last week after clashing with Reform UK colleagues. ⌘ Read more
How do I perform partial acceptance of Copilot recommendations? ⌘ Read more
Bellingham joins Dortmund for initial £27m on five-year deal
Jobe Bellingham joins Borussia Dortmund from Sunderland on a five-year contract. ⌘ Read more
20 Years of the Open Invention Network
The Open Invention Network (OIN) is celebrating
its 20th anniversary.
The central feature of the OIN community is a patent cross-license
that covers core Open Source functionality and expands in parallel
with the growth of Open Source technology. As growth in Open Source
has accelerated, OIN has proactively expanded the scope of the OIN
license’s benefit by including more than 4,500 software components … ⌘ Read more
Suisei show off new swimsuit ⌘ Read more
Merz: Vorgehen von UniCredit bei Commerzbank inakzeptabel ⌘ Read more
Anzeige: USB-SSD-Stick mit 1 TByte günstig wie nie
Groß wie ein Flashdrive, schnell wie eine Festplatte: Amazon verkauft den 1 TByte großen USB-SSD-Stick von Move Speed zum neuen Tiefstpreis. ( Solid State Drive, Speichermedien)
Amoklauf in Graz: ORF ändert Programm ⌘ Read more
Bellingham joins Dortmund for initial £27m on five-year deal
Jobe Bellingham joins Borussia Dortmund from Sunderland on a five-year contract. ⌘ Read more
Security updates for Tuesday
Security updates have been issued by Debian (python-django), Fedora (krb5), Mageia (cockpit, golang, kernel, and kernel-linus), SUSE (augeas, go1.23, go1.24, iputils, libwebp, transfig, and xen), and Ubuntu (amd64-microcode, apport, linux-azure, linux-azure, linux-azure-4.15, linux-azure-fips, linux-raspi, systemd, and tomcat). ⌘ Read more
Bemannter Marsflug: Starship benötigt zum Mars halb so viel Zeit
Eine andere Route und effizientere Abläufe könnten das Starship von SpaceX in 90 Tagen zum Mars befördern. 2033 wäre das perfekte Jahr für den Start. ( Starship, Nasa)
Disorder after alleged sex assault was ‘racist thuggery’, say police
Houses and police vehicles were damaged in the disorder in Ballymena on Monday evening. ⌘ Read more
UK sanctions far-right Israeli ministers over Gaza comments
Security Minister Itamar Ben-Gvir and Finance Minister Bezalel Smotrich will both face a travel ban, the UK says. ⌘ Read more
Japan says China is ‘expanding’ military presence in Pacific
Tokyo says the sighting of two Chinese aircraft carriers in its economic zone shows Beijing is pushing further into the Pacific than before. ⌘ Read more
**PM denies bowing to political pressure over winter fuel **
Sir Keir Starmer says his decision to give more pensioners the payment was the result of an improving economy. ⌘ Read more
Disorder after alleged sex assault was ‘racist thuggery’, say police
Houses and police vehicles were damaged in the disorder in Ballymena on Monday evening. ⌘ Read more
Teaching assistant killed in stabbing outside France school
French President Emmanuel Macron said that the “nation was in mourning” after the death of the 31-year-old. ⌘ Read more
TV presenter David Bull named new Reform chairman
The TalkTV host replaces Zia Yusuf, who quit last week after clashing with Reform UK colleagues. ⌘ Read more
Anzeige: Videotürklingel mit Akku bei Amazon für nur 46,66 Euro
Eine kabellose Videotürklingel von Tapo mit 2K-Auflösung, Gegensprechfunktion und Alexa gibt es bei Amazon inklusive Gong zum Aktionspreis. ( Technik/Hardware)
California governor says Trump ‘deranged’ as thousands more troops sent to LA
Protests against immigration raids by the Trump administration spring up in at least nine other US cities. ⌘ Read more
Top 500: Europas leistungsstärkster Computer steht in Jülich
Jupiter ist als Europas erster Exascale-Computer geplant. In der aktuellen Top-500-Liste kommt er aber an drei US-Systemen nicht vorbei. ( Supercomputer, Computer)
M&S restarts online orders after cyber attack
The return of online shopping marks a key milestone for the retailer, which has struggling to get services back to normal. ⌘ Read more
Disorder after alleged sex assault ‘racist, pure and simple’ - say police
Houses and police vehicles were damaged in the disorder in Ballymena on Monday evening. ⌘ Read more
Tiefe Erschütterung nach Amoklauf in Schule
Nach dem Massenmord am Dienstag in einer Grazer Schule mit zehn Toten herrscht in ganz Österreich tiefe Erschütterung. Zahlreiche Politiker und Politikerinnen zeigten sich betroffen, ebenso Vertreter der Kirche. Mitgefühls- und Solidaritätsbekundungen kamen auch seitens der EU. ⌘ Read more
People on £10,000 to £96,000 tell us what they want the UK to spend money on
As the government outlines its spending plans, people with a range of incomes tell us where they think the money should go. ⌘ Read more
Group shot of the day 📸 ⌘ Read more
Greta Thunberg deported, Israel says, after Gaza aid boat intercepted
The activists’ yacht, which was trying to carry aid to Gaza, was intercepted by Israeli forces in the early hours of Monday. ⌘ Read more
Zelenskyy: US diverting 20,000 missiles promised for Ukraine to the Middle East ⌘ Read more
Neue Ryzen-Z2-APUs: Steamdeck-SoC erlebt Comeback als Ryzen Z2 A
Die Ryzen-Z2-Serie wird um ein neues Topmodell mit integrierter NPU sowie um einen sparsamen Einsteiger-Chip erweitert. Letzterer kommt uns bekannt vor. ( Prozessor, AMD)
Moskau: Kein Kriegsende ohne Aus für NATO-Osterweiterung ⌘ Read more
Claude Code: Game Changer or Just Hype? ⌘ Read more
Media Markt übernimmt: Zahl der Saturn-Märkte bundesweit halbiert
Von den einst 150 Saturn-Filialen in Deutschland sind kaum 70 übrig geblieben. Es sollen noch weniger werden. ( Saturn, Media Markt)
Police injured in disorder following alleged sex assault
Houses and police vehicles were damaged in the disorder in Ballymena on Monday evening. ⌘ Read more
Auch uBlock Origin betroffen: Youtube greift weiter gegen Werbeblocker durch
Im Netz häufen sich Beschwerden von Nutzern, die mit Adblocker keine Youtube-Videos mehr abspielen können. Viele gängige Werbeblocker sind betroffen. ( Youtube, Firefox)
Police injured in disorder following alleged sex assault
Houses and police vehicles were damaged in the disorder in Ballymena on Monday evening. ⌘ Read more
Female Rover / WutheringWaves ⌘ Read more
21,5 Prozent der Kinder 2023 ohne österreichischen Pass ⌘ Read more
Greta Thunberg deported, Israel says, after Gaza aid boat intercepted
The activists’ yacht, which was trying to carry aid to Gaza, was intercepted by Israeli forces in the early hours of Monday. ⌘ Read more
(g+) Deep-Fake-Phishing: Gefährlich echt
Wie Cyberkriminelle mithilfe KI-generierter Videos und Stimmen Unternehmen ins Visier nehmen - und wie man sich schützt. Ein Ratgebertext von Nils Matthiesen ( Deepfake, KI)
TV presenter David Bull named new Reform chairman
The TalkTV host replaces Zia Yusuf, who quit last week after clashing with Reform UK colleagues. ⌘ Read more
He no longer fits his popcorn bucket ⌘ Read more
Anzeige: Xiaomi Redmi Note 14 zum Tiefpreis von 189,90 Euro sichern
Das Redmi Note 14 bietet eine starke Kamera, lange Akkulaufzeit und praktische Alltagsfunktionen - ohne unnötige Features. ( Technik/Hardware, Smartphone)
6.14.11: stable
Version:6.14.11 (EOL) (stable)Released:2025-06-10Source:linux-6.14.11.tar.xzPGP Signature:linux-6.14.11.tar.signPatch:full ( incremental)ChangeLog:ChangeLog-6.14.11 ⌘ Read more
6.12.33: longterm
Version:6.12.33 (longterm)Released:2025-06-10Source:linux-6.12.33.tar.xzPGP Signature:linux-6.12.33.tar.signPatch:full ( incremental)ChangeLog:ChangeLog-6.12.33 ⌘ Read more
Russia to help North Korea establish production of Shahed drones – Ukraine’s intelligence chief ⌘ Read more
Police injured in disorder following alleged sex assault
Houses and police vehicles were damaged in the disorder in Ballymena on Monday evening. ⌘ Read more
Miliband defends winter fuel payment U-turn
The energy secretary says the government had to make “difficult” decisions to stabilise the economy. ⌘ Read more
Echte Intelligenz: Menschliche Neuronen als biologischer Computer verfügbar
Lebende Nervenzellen auf einem Chip imitieren die Funktion des Gehirns. Ein Einsatz für KI-Beschleunigung und Bitcoin-Mining ist denkbar. ( KI, Software)
„Klare Abkehr von Marketinggags“
Der 100. Tag einer Regierung ist traditionellerweise Anlass für eine erste, notwendigerweise vorläufige, Zwischenbilanz. Im Fall der ÖVP-SPÖ-NEOS-Koalition betont der Politologe Peter Filzmaier, auffällig sei die „klare Abkehr von Marketinggags“ und medialen Inszenierungen. ÖVP, SPÖ und NEOS sagten – so wie auch die FPÖ – angesichts des tödlichen Amoklaufs in einer Grazer Schule ihre für Dienstag geplanten Stellungnahmen ab. ⌘ Read more
Ubisoft: Anno 117 erscheint im November 2025 für PC und Konsolen
In der dritten Erweiterung geht es nach Ägypten: Ubsisoft hat den Veröffentlichungstermin von Anno 117 und weitere Details genannt. ( Anno, Ubisoft)
Police injured in disorder following alleged sex assault
Houses and police vehicles were damaged in the disorder in Ballymena on Monday evening. ⌘ Read more
NT police boss faces political questioning over Kumanjayi White death probe
The Northern Territory’s acting police commissioner clarifies why police believe the investigation into Kumanjayi White’s death should not be outsourced to an external body. ⌘ Read more
‘Horrific footage’: Albanese raises shot Australian journalist with US ⌘ Read more
TV presenter David Bull named new Reform chairman
The TalkTV host replaces Zia Yusuf, who quit last week after clashing with Reform UK colleagues. ⌘ Read more
Schlechte Arbeitsbedingungen: Arbeitsmigranten kritisieren Taiwans Halbleiterbranche
16-Stunden-Schichten, Diskriminierung und schlechte Bezahlung: Leiharbeiter in Taiwans Halbleiter- und IT-Industrie berichten von schlechter Behandlung. ( Arbeit, Server)
Chinese man admits smuggling weapons from US to North Korea ⌘ Read more
UNO-Kommission wirft Israel „Ausrottung“ vor ⌘ Read more
Spielebranche: Apple präsentiert Games-App für iOS 26 & Co
Apple bündelt mit der neuen Games-App alle Spiele und Community-Funktionen bei Mac. Dazu kommen optimierte Entwickler-Tools für bessere Performance. ( WWCD 2025, Apple)
Police injured in disorder following alleged sex assault
Houses and police vehicles were damaged in the disorder in Ballymena on Monday evening. ⌘ Read more
Woman shot by police at north Queensland pub
Police allege the woman advanced on police while armed with a knife. ⌘ Read more
Geldanlage: Warum Hype-Themen für Fondsanleger gefährlich sein können
Viele Anleger in Deutschland hoffen mit Themenfonds und -ETFs auf prächtige Kursgewinne. Doch oft greifen sie daneben. Woran liegt das? Ein Ratgebertext von Thomas Öchsner ( Geld anlegen, Börse)