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
MacOS 26 is the final Intel version, sucks to be a 2023 Intel Mac Pro owner
macOS Tahoe is the final software update that Intel-based Macs will get, as Apple works to phase them out following its transition to Apple silicon. During its Platforms State of the Union event, Apple said that Intel Macs won’t get macOS 27, coming next year, though there could still be updates that add security fixes. ↫ Juli Clover at MacRumors Not particularly surprising, but def … ⌘ Read more
Apple introduces new Liquid Glass design language
Apple at WWDC announced iOS 26, introducing a comprehensive visual redesign built around its new “Liquid Glass” concept, alongside expanded Apple Intelligence capabilities, updates to core communication apps, and more. Liquid Glass is a translucent material that reflects and refracts surroundings to create dynamic, responsive interface elements, according to Apple. The new design language transforms the Lock Screen, where the time f … ⌘ Read more
MacOS Tahoe Announced with New Liquid Glass Interface
Apple has announced MacOS Tahoe, versioned as macOS 26, jumping 11 versions ahead from the current versioning of MacOS 15. This versioning number change is congruent with the new year-based versioning system that also arrives on iOS 26, iPadOS 26, watchOS 26, and the rest of the Apple operating system suite. MacOS Tahoe features an … [Read More](https://osxdaily.com/2025/06/09/macos-tahoe-announced-with-new-liquid-glass-interf … ⌘ Read more
iPadOS 26 with Multitasking Improvements, Menubar, & New Liquid Glass UI
Apple has debuted iPadOS 26 today, complete with some notable new features and changes to the iPad operating system. First to notice is the new numerical versioning system, with iPadOS 26 jumping many version numbers ahead of the current iPadOS 18 version, following a numerical system much like Microsoft used to use for Windows (remember … [Read More](https://osxdaily.com/2025/06/09/ipado … ⌘ Read more
MacOS Tahoe Announced with New Liquid Glass Interface
Apple has announced MacOS Tahoe, versioned as macOS 26, jumping 11 versions ahead from the current versioning of MacOS 15. This versioning number change is congruent with the new year-based versioning system that also arrives on iOS 26, iPadOS 26, watchOS 26, and the rest of the Apple operating system suite. MacOS Tahoe features an … [Read More](https://osxdaily.com/2025/06/09/macos-tahoe-announced-with-new-liquid-glass-interf … ⌘ Read more
iOS 26 Announced with New Liquid Glass Interface
Apple has announced iOS 26, the next version of system software for iPhone. And yes you read that correctly, it’s iOS 26 – twenty six – jumping way ahead from iOS 18, to follow year numbers. It’s not just iOS that is facing the numerical versioning change, it turns out that Apple is labeling all … Read More ⌘ Read more
A bill from our ISP in 1998.
We’re talking about a month here, 1998-07-27 to 1998-08-26.
Basic fee: 7.50 DM (about 6€ today).
Online time: 516 minutes, 23.53 DM (about 20€ today).
That’s just the ISP costs, if I’m not mistaken. The underlying phone calls were pretty pricey as well.
FreshRSS 1.26.3 ⌘ Read more
1.26.3 ⌘ Read more
On my blog: Toots 🦣 from 05/26 to 05/30 https://john.colagioia.net/blog/2025/05/30/week.html #linkdump #socialmedia #quotes #week
Apple said to switch to year to identify releases of its operating systems
The next Apple operating systems will be identified by year, rather than with a version number, according to people with knowledge of the matter. That means the current iOS 18 will give way to “iOS 26,” said the people, who asked not to be identified because the plan is still private. Other updates will be known as iPadOS 26, macOS 26, watchOS 26, tvOS 26 and visionOS 26. Apple is ma … ⌘ Read more
Academia Caballero: John Wayne y José Luis Sáenz de Heredia
Dieter conversa con Garci y Petón sobre dos cineastas como John Wayne y José Luis Sáenz de Heredia entre otras muchas cosas. ⌘ Read more
Tertulia de Dieter: Las cloacas del PSOE y su intento de tumbar a la UCO
Dieter analiza la actualidad con Mario Noya, Alejandro Vara y Pepe García Domínguez. ⌘ Read more
Resumen de las 20:30: Nuevos cambios en el Banco de España
Dieter y su equipo resumen toda la actualidad de la jornada. ⌘ Read more
En este país llamado España: Los audios que desvelan una operación del PSOE para acabar con la UCO
Dieter analiza los audios de El Confidencial que desvelan una operación del PSOE con fontaneros del Gobierno y Ferraz para acabar con la UCO. ⌘ Read more
On my blog: Developer Diary, Memorial Day https://john.colagioia.net/blog/2025/05/26/memorial.html #programming #project #devjournal
next-20250526: linux-next
Version:next-20250526 (linux-next)Released:2025-05-26 ⌘ Read more
10 Most Outrageous Restaurant Food Challenges
You’ve probably watched Hot Ones or Man vs. Food, but have you ever considered trying a food challenge? There are so many food challenges around the world where willpower and digestion are pushed to their limits. From a ten-pound bowl of pho to a 105-pound burger to some of the hottest wings on Earth, there […]
The post [10 Most Outrageous Restaurant Food Challenges](https://listverse.com/2025/05/26/10-most-outrageous-restaurant-food-challe … ⌘ Read more
En finir avec l’argent liquide, vraiment ?
Tout le monde sait que l’insécurité est provoquée par le trafic de drogue. Mais si, c’est évident ! Dès lors, à ce constat indiscutable, on peut proposer des solutions à la fois simples, rapides et tout à fait à portée du premier politicien qui passe par là, n’importe quel clown fera l’affaire. Tenez, prenons Dardmalin, il […] ⌘ Read more
10 Interesting and Bizarre Facts About Vending Machines
Vending machines are everywhere—from high schools to hospitals to subway platforms—but they’re more than just mechanical snack dispensers. Behind those blinking lights and humming motors lies a strange and fascinating world of quirky innovations, cultural oddities, and unexpected trivia. These automatic vendors have dispensed everything from holy water to hamburgers, and their evolution is filled […]
The post [10 Interes … ⌘ Read more
Migrant families transform tiny valley into Italian wine hub
Victoria’s King Valley, once home to post-war Italian tobacco farmers, is earning global recognition for its climate-resilient Italian grape varieties. ⌘ Read more
M0SS-101 Synth with BL616 RISC-V Delivers Classic Controls in a Compact DIY Kit
The M0SS-101 is a compact virtual analog monosynth designed for hands-on subtractive synthesis. It features 42 editable parameters accessible through 26 buttons and a rotary encoder, with RGB LEDs providing visual feedback for signal flow and modulation. The synth includes dual oscillators, a multi-mode filter, envelope and LFO control, delay effects, and 17 preset slots […] ⌘ Read more
以 StreamableHTTP 爲例，對 MCP 進行總結與實踐
引言近日，MCP 迎來更新，StreamableHTTP 從 3 月 26 日協議發佈，到這禮拜進行落地，從 python 的 sdk 上來看，更新的代碼量並不大，但畢竟是一個協議，從 github 上的幾百條 discussion 中，可以看到還是有非常多褒貶不一的聲音：本篇就以更新後的 StreamableHTTP，做了一個實踐測試。從 stdio 到 StreamableHTTP最初，標準輸 ⌘ Read more
MCP 超強源碼解讀！Streamable HTTP 如何實現服務端向客戶端通信
在最新的 Model Context Protocol（MCP，模型上下文協議）版本（2025-03-26）[1] 中引入了 Streamable HTTP 的通信方式，取代了舊版本中的 SSE 通信方式，成爲了新的遠程 MCP 調用標準。Streamable HTTP 通信下的 client 向 server 的請求不需要像之前必須保持 SSE 的長連接，而是通過 client 發起 HTTP ⌘ Read more
深入解讀 MCP 協議最新版本的 4 大升級【下】：批處理與增強的工具註解
本篇接着爲大家解讀 MCP 協議最新修訂版本（2025-03-26）的四個較大升級的後兩項（上篇翻閱：深入解讀 MCP 協議最新版本的 4 大升級【上】：傳輸機制與安全授權）：JSON-RPC 批處理 增強的工具註解 01JSON-RPC 批處理JSON-RPC 2.0 規範本身支持批量（Batch）模式，允許一次性發送一個包含多個請求對象的數組，服務器隨後可以返回 ⌘ Read more
** Collaboration is a scary word **
I like programming partially because it’s a practice I can, with appropriate to unhealthy application of effort, usually accomplish something at least proximal to my intention.
This isn’t true for visual art, nor music. Lately I’ve been feeling like the little games and toys I wanna make are sorta hampered by my total inability to make stuff I find aesthetically appealing…so…I’ve been thinking about collaboration. Which is a scary word because, you know, other people and all, but I figured I’d … ⌘ Read more
FreshRSS 1.26.2 ⌘ Read more
FreshRSS 1.26.2 ⌘ Read more
Running - 4 miles: 3.99 miles, 00:09:26 average pace, 00:37:41 duration
深入解讀 MCP 協議最新版本的 4 大升級【上】：傳輸機制與安全授權
MCP 協議的最新修訂版本（2025-03-26）已經在路上，儘管 SDK 尚未發佈，但規範內容已經基本定型，前期的各種解讀也在網絡上陸續出現。我們將結合官方文檔、Github 上的 PR 與社區討論等，爲大家深入解讀該版本中的四個較大的升級。Streamable HTTP 傳輸模式 OAuth2.1 的授權框架 JSON-RPC 批處理 增強工具註解 ⌘ Read more
Watching o3 guess a photo’s location is surreal, dystopian and wildly entertaining
Comments ⌘ Read more
Schôdza Spolku Slovákov z Juhoslávie – nový impulz a vízie do budúcnosti
Dňa 26. apríla 2025 sa konala výročná členská schôdza Spolku Slovákov z Juhoslávie. Atmosféra stretnutia bola priateľská, no zároveň nabitá aktivitou a konštruktívnymi podnetmi. Predseda Spolku Samuel Jovankovič vo svojej správe za uplynulé obdobie skonštatoval, že Spolok získal viacerých nových členov a postupne sa omladzuje, čo je podľa jeho slov kľúčové pre udržanie konti … ⌘ Read more
Yesterday, before our second (and last) move today, I took the opportunity to take a relaxing ride on my bike along my running route from some years ago and enjoy the nature. ⌘ Read more
On my blog: Free Culture Book Club — Pilogy, part 1 https://john.colagioia.net/blog/2025/04/26/pilogy-1.html #freeculture #bookclub
10 Times Government Officials Made Startling Claims
No, this is not that type of list. It doesn’t contain quotes like “God save the Queen, man” or “I tested positively toward negative, right.” This list is about claims made by government officials worldwide that sort of eclipse anything heads of state may have said (or will say in the future). Think you’ve heard […]
The post [10 Times Government Officials Made Startling Claims](https://listverse.com/2025/04/26/10-times-government … ⌘ Read more