@lyse@lyse.isobeef.org

They’re all talks, not real hands-on trainings like you did.

I love listening to good, well-structured talks. Problem is, not everybody is a good speaker and many screw it up. 🥴 I’m certainly not a great speaker, which is why I gravitate more towards “workshops”, in the hopes that people ask questions and discussions arise. Doesn’t always work out. 🤣 At the very least, I almost always have some other person connect to the projector/beamer/screenshare and then they do the stuff – this avoids me being wwwwaaaaaaaaayyyy too fast.

We are usually drowned in stress and tight deadlines, hence events like today are super rare … We used to do it more often until ~10 years ago.

Once a year the security guys organize a really great hacking event, though.

Oh dear, I’d love to participate in that. 🤯 That sounds like a lot of fun. (Why don’t we do this?!)

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 WWDC 2025
The big rumour is a visual refresh of the OSes and new yearly versioning scheme.

Comments ⌘ Read more

Windows 7: a 2025 perspective (rose-tinted or not)
Quite often, I wonder how much nostalgia plays part in our perception of past events. Luckily, with software, you can go “back” and retest it, and so there’s no need for any illusions and misconceptions. To wit, I decided to reinstall and try Windows 7 again (as a virtual machine, but still), to see whether my impressions of the dross we call “modern” software today are justified. ↫ Igor Ljubuncic The conclusion is that, yes, you can … ⌘ Read more

10 Recent Times the Earth Acted Bafflingly Strange
We like to think Earth is a well-oiled planetary machine—spinning reliably, shifting gradually, and following natural rhythms. But every now and then, it throws us a curveball. From pulsating seismic events to disappearing landmasses and bizarre atmospheric phenomena, these recent examples prove that our planet still has secrets. Whether explained after the fact or still […]

The post [10 Recent Times the Earth Acted Bafflingly Str … ⌘ Read more

Colombian presidential candidate Miguel Uribe Turbay shot during campaign event ⌘ Read more

Deals: AirPods Pro 2 for $169, AirPods 4 for $99, Apple Watch 10 for $299
Father’s Day is coming up, so perhaps you’re shopping for that, or shopping for yourself. In any event, don’t miss these great deals from Amazon, whether you’re getting a gift for yourself or a loved one. With great deals on the latest iPad mini, MacBook Air, AirPods, AirPods Pro with Hearing Aid functionality, Apple Watch, … [Read More](https://osxdaily.com/2025/06/06/deals-airpods-pro-2-for … ⌘ Read more

What’s your go-to message queue in 2025?

The space is confusing to say the least.

Message queues are usually a core part of any distributed architecture, and the options are endless:
Kafka, RabbitMQ, Redis {Pub-Sub, Streams}, Cloud Providers {AWS SQS, Kinesis; Google Pub/Sub; Azure Event Hubs, Service Bus}, Pulsar, ZeroMQ… and then there’s the “just use Postgres” camp for simpler use cases.

I’m trying to make sense of the tradeoffs between:

• async fire-and-forget pub/sub vs. sync RPC-like point … ⌘ Read more

My May ‘25 in Review
May is already over. This time, it was quite an eventful month. ⌘ Read more

Backfilling Postgres TOAST Columns in Debezium Data Change Events
Comments ⌘ Read more

nginx 中配置端口轉發 TCP-UDP 流量
ngxstreamcoremodule 模塊從 1.9.0 版本開始出現，默認不包含此模塊，需要通過–with-stream配置。這個模塊可用於 TCP/UDP 流量轉發，和實現負載均衡，配置示例：workerprocesses  1;events {    workerconnections  1024;}stream {代理SSH連接 server {    listen 10022; ⌘ Read more

LiveStore is a next-generation state management framework based on reactive SQLite and git-inspired syncing (via event-sourcing)
Comments ⌘ Read more

love-hate and otel: using it while avoiding complexity
I quite appreciated his workflow for keeping OTel’s complexity at arm’s length. Also, he’s got a generic tool that can parse logs and turn them into otel spans that combines well will canonical logs and “wide events”: https://github.com/jonjohnsonjr/logspan

Comments ⌘ Read more

Linux 6.15 released
Highlights of Linux 6.15 include Rust support for hrtimer and ARMv7, a new setcpuid= boot parameter for x86 CPUs, support for sched_ext to count and report internal events, x86 Intel and AMD PMU enhancements, nested virtualization support for VGICv3 on ARM, and support for emulating FEAT_PMUv3 on Apple Silicon. ↫ Marius Nestor at 9To5Linux On top of these highlights, there’s also a ton of other changes, from the usual additions of new drivers, to better support for RISC-V, and so much more … ⌘ Read more

One of the nicest things about Go is the language itself, comparing Go to other popular languages in terms of the complexity to learn to be proficient in:

• Go: 25 keywords (Stack Overflow); CSP-style concurrency (goroutines & channels)
  
• Python 2: 30 keywords (TutorialsPoint); GIL-bound threads & multiprocessing (Wikipedia)
  
• Python 3: 35 keywords (Initial Commit); GIL-bound threads, asyncio & multiprocessing (Wikipedia, DEV Community)
  
• Java: 50 keywords (Stack Overflow); threads + java.util.concurrent (Wikipedia)
  
• C++: 82 keywords (Stack Overflow); std::thread, atomics & futures (en.cppreference.com)
  
• JavaScript: 38 keywords (Stack Overflow); single-threaded event loop & async/await, Web Workers (Wikipedia)
  
• Ruby: 42 keywords (Stack Overflow); GIL-bound threads (MRI), fibers & processes (Wikipedia)
  

Slovenian president in Brussels called the events in Gaza genocide ⌘ Read more

libinput Preparing To Introduce A Lua-Based Plugin System For Modifying Devices/Events
Comments ⌘ Read more

CNCF Shares Schedule for Open Observability Summit North America, Gears Up for Inaugural Event
The event will unite observability leaders, developers, and end users to drive progress in observability tools and best practices SAN FRANCISCO, Calif., May 22, 2025 — The Cloud Native Computing Foundation® (CNCF®), which builds sustainable ecosystems… ⌘ Read more

10 Groundbreaking & Historical “Firsts” We Witnessed in 2025–So Far!
While we typically perceive history as something we only read about in books, 2025 has already proven that history is happening right before our eyes. Despite economic, political, and social conflicts, this year has brought about incredible events and discoveries unlike anything the world has ever seen. Some leave us hopeful, others uneasy—but one thing […]

The post [10 Groundbreaking & Historical “Firsts” … ⌘ Read more

事件驅動架構詳解 - 模塊間解耦利器
一、什麼是事件驅動架構？事件驅動架構（Event-Driven Architecture，EDA）是一種軟件架構模式，它的核心思想是組件之間的交互通過事件的產生、檢測、消費和響應來完成，而不是直接調用彼此的方法。二、核心概念1. 事件（Event）表示系統中發生的某種事實或狀態變化，通常包含：事件類型（什麼發生了） 事件源（誰觸發的） 事件時間（何時發生的） 相關數據（事件的詳細 ⌘ Read more

10 Evil Religions in Fiction
Religion is a source of comfort and conscience. As people look to their respective gods for guidance, their conclusions inform their values, drive their actions, and give meaning to events. However, that pattern isn’t always a good thing, as some religious practices aren’t so righteous. An ignoble doctrine could be a cheap excuse to set […]

The post 10 Evil Religions in Fiction appeared first on [Listverse](h … ⌘ Read more

CNCF Announces Speakers and Sessions for KubeCon + CloudNativeCon India
Second annual India event to spotlight developer innovation and cloud native leadership Hyderabad, India, 7 May, 2025– The Cloud Native Computing Foundation (CNCF), which builds sustainable ecosystems for cloud-native software, today announced the keynote speakers and… ⌘ Read more

Welcome to Maintainer Month: Events, exclusive discounts, and a new security challenge
This May marks the fifth annual Maintainer Month, and there are lots of treats in store: new badges, special discounts, events with experts, and more.

The post [Welcome to Maintainer Month: Events, exclusive discounts, and a new security challenge](https://github.blog/open-source/maintainers/welcome-to-maintainer-month-events-exclusive-discounts-and-a-ne … ⌘ Read more

Open Home Foundation Marks Second Year with Structural Changes and Home Assistant 2025.4 Update
April 2025 marked the start of the Open Home Foundation’s second year. Since its launch at the State of the Open Home 2024 event, the Foundation has grown rapidly, gaining broad community and industry support. Last month’s 2025 event highlighted key milestones from its first year and outlined plans for continued development. Over the past […] ⌘ Read more

Erlang Solutions: Looking Forward to ElixirConf EU 2025
ElixirConf EU 2025 is only two weeks away! Soon, it will once again be time for the Elixir community from Europe and beyond to come together, connect, and learn from each other about Elixir and its ecosystem. There will be dozens of talks from speakers across the community, training opportunities, and more.

This year’s event is being held in Kraków, Poland from May 15-16, with optional training available o … ⌘ Read more

NIST F4 Cesium Fountain Atomic Clock Joins Elite Group That Keeps the World on Time
Comments ⌘ Read more

@mana@yarn.girlonthemoon.xyz i LOVEEEE her 2018 BD event sm

10 Absolutely Wild Mishaps Involving Food and Condiments
For the most part, our day revolves around food. Breakfast in the morning gives us a jump start for the hours ahead. Lunch offers a much-needed break from the work day, and dinner provides an opportunity to come together with our family and share the events of the day. Snacks in between can give us […]

The post [10 Absolutely Wild Mishaps Involving Food and Condiments](https://listverse.com/2025/04/25/10-absolutely-wil … ⌘ Read more

CNCF Announces OpenObservabilityCon North America to Accelerate Open Source Innovation and Tame Infrastructure Complexity
New event will convene observability leaders, developers, and end users to advance open source observability tools and practices SAN FRANCISCO, April 22, 2025 — The Cloud Native Computing Foundation® (CNCF®), which builds sustainable ecosystems for cloud… ⌘ Read more

This expands the usefulness of Twtxt / Yarn.social to:

• Sharing small posts
  
• Sharing links
  
• Sharing media
  
• Having long conversations
  
• Voting on topics, opinions or decisions
  
• RSVPing to virtual or physical events

**(#6kkpdda) This expands the usefulness of Twtxt / Yarn.social to:

• Sharing small posts
  

• Sharing links
  

• Sharing media
  

• Having long conversat …**
  This expands the usefulness of Twtxt / Yarn.social to:

• Sharing small posts

• Sharing links

• Sharing media

• Having long conversations

• Voting on topics, opinions or decisions

• RSVPing to virtual or physical events ⌘ Read more

#event:abc123 RSVP: yes +1

(#qps4ziq) #event:abc123 RSVP: yes +1
#event:abc123 RSVP: yes +1 ⌘ Read more

#event:abc123 Go Meetup – Sat Apr 27, 3pm @ Darling Harbour

(#6kkpdda) #event:abc123 Go Meetup – Sat Apr 27, 3pm @ Darling Harbour
#event:abc123 Go Meetup – Sat Apr 27, 3pm @ Darling Harbour ⌘ Read more

💡 I had this crazy idea (or is it?) last night while thinking about Twtxt and Yarn.social 😅 There are two things I think that could be really useful additions to the yarnd UI/UX experience (for those that use it) and as “client” features (not spec changes). The two ideas are quite simple:

• Voting – a way to cast, collect a vote on a decision, topic or opinion.
  
• RSVP – a way to “rsvp” to a virtual (pr physical) event.
  

Both would use “plain text” on top of the way we already use Twtxt today and clients would render an appropriate UI/UX.

Cracking the code: How to wow the acceptance committee at your next tech event
Want to speak at a tech conference? These four practical tips will help your session proposal stand out—and land you on the stage.

The post Cracking the code: How to wow the acceptance committee at your next tech event appeared fi … ⌘ Read more

Marching Events: What does iCalendar have to do with ray marching? ⌘ Read more

SDL2 ported to Mac OS 9
Well, this you certainly don’t see every day. This is a “rough draft” of SDL2 for MacOS 9, using CodeWarrior Pro 6 and 7. Enough was done to get it building in CW, and the start of a “macosclassic” video driver was created. It DOES seem to basically work, but much still needs to be done. Event handling is just enough to handling Command-Q, there is no audio, etc etc etc. ↫ A cast of thousands The hardest part was a video driver for the classic Mac OS, which had to be created mostly f … ⌘ Read more

使用 Go 實現服務端事件推送 SSE
背景–在對內部 CRM 項目進行優化時，我們發現項目中的站內信功能目前採用了 WebSocket 來實現消息推送。然而，對於站內信這種低頻的推送場景來說，維護一個長連接的成本相對較高。WebSocket 通常用於需要實時雙向通信的應用，而我們需要的只是簡單的單向推送。經過考慮，我們決定使用一種更輕量級的技術——Server-Sent Events（SSE）來實現站內信的推送。這種技術不僅可以減 ⌘ Read more

10 Historical Connections That Don’t Seem Real but Are
Are you ready to have your minds blown? When we look at historical events, we generally like to group them into categories that our brains can handle. Historic happenings in one realm (like war) are often linked to those in similar realms (like politics) in a bid to show cause and effect. Similarly, events are […]

The post [10 Historical Connections That Don’t Seem Real but Are](https://listverse.com/2025/03/31/10-historica … ⌘ Read more

10 Times Patriotism Influenced Pop Culture
Americans have found many ways to display a sense of patriotism over the years, but when patriotic symbols and messages find their way into pop culture, they can be inspiring in a fresh, unexpected way. Sometimes, this happens with films that depict impactful events, such as World War II, or that explore topics like freedom […]

The post [10 Times Patriotism Influenced Pop Culture](https://listverse.com/2025/03/30/10-times-patriotism-influenced-po … ⌘ Read more

10 Logistical Secrets Behind the World’s Most Massive Events
From the Olympics to royal funerals to music festivals that transform entire landscapes, some events push human coordination to its limits. But behind the public spectacle lies a world of strategic planning, military-grade operations, and bizarre contingency protocols. These events aren’t just big—they’re logistical marvels, requiring teams to manage millions of people, thousands of moving […]

The post [10 Logis … ⌘ Read more

WWDC 2025 Starts January 9, iOS 19 & MacOS 16 Expected to Debut
Apple has announced that their annual Worldwide Developer Conference (WWDC) will be held online from June 9 to June 13, 2025. There’s also set to be a special event in Cupertino California at the Apple Park campus on June 9. Typically these special events are when Apple debuts upcoming operating systems for iPhone, iPad, Mac, … [Read More](https://osxdaily.com/2025/03/25/wwdc-2025-starts-january-9-ios-19- … ⌘ Read more

Everyone must know about this historic event ⌘ Read more

What to do in London near the KubeCon + CloudNativeCon Europe 2025 Venue, part one
London’s calling and our local CNCF Ambassadors have answered with some great ideas of things to do close to the KubeCon + CloudNativeCon Europe 2025 venue. Cross the river Since our event is going to be… ⌘ Read more

I saw 100% I/O wait in htop today but couldn’t find a process which actually does I/O. Turns out, I/O wait isn’t what it used to be anymore:

https://lwn.net/Articles/989272/

In my case, it was mpd which triggered this:

https://github.com/MusicPlayerDaemon/MPD/issues/2241

mpd doesn’t actually do anything, it just sits there and waits for events. To my understanding, this is similar to something blocking on read(). I’m not quite sure yet if displaying this as I/O wait (or “PSI some io”) is intentional or not – but it sure is confusing.

CNCF Announces Speakers and Sessions for KubeCon + CloudNativeCon Japan 2025
Inaugural Japan event to bring together global cloud-native leaders and innovators in Tokyo Tokyo, Japan, 18 March, 2025 – The Cloud Native Computing Foundation (CNCF), which builds sustainable ecosystems for cloud-native software, today announced the keynote… ⌘ Read more

KubeCon + CloudNativeCon India 2024: From Dreams to Reality Journey
Attending KubeCon + CloudNativeCon India 2024 in December was a milestone moment for me. After applying for a scholarship multiple times and not being selected for past events, I was thrilled to finally have the opportunity… ⌘ Read more