Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs | MongoDB Blog
Comments ⌘ Read more
Settings Management for Docker Desktop now generally available in the Admin Console
We’re excited to announce that Settings Management for Docker Desktop is now Generally Available! Settings Management can be configured in the Admin Console for customers with a Docker Business subscription. After a successful Early Access period, this powerful administrative solution has been enhanced with new compliance reporting capabilities, completing our vision for … ⌘ Read more
Less TODO, more done: The difference between coding agent and agent mode in GitHub Copilot
We’ll decode these two tools—and show you how to use them both to work more efficiently.
The post Less TODO, more done: The difference between coding agent and agent mode in GitHub Copilot appeared first on [Th … ⌘ Read more
On my blog: Developer Diary, International Sex Workers’ Day https://john.colagioia.net/blog/2025/06/02/sex-workers.html #programming #project #devjournal
Live: Matildas looking to impress against Argentina after Montemurro hire
Incoming coach Joe Montemurro watches on as the Matildas farewell interim coach Tom Sermanni against Argentina in Canberra. Follow live. ⌘ Read more
Live: Police officer returns to stand in Erin Patterson murder trial
Erin Patterson’s triple murder trial continues in Morwell. She’s charged with three counts of murder over the deaths of three relatives who died from after eating a meal she prepared containing death cap mushrooms. Follow the trial live. ⌘ Read more
Live: Wall St ends flat after volatile session, ASX set for slight gain
Another day of tariff turmoil saw Wall Street bounce around but ultimately close flat. The ASX is priced for a marginal rise this morning. Follow the day’s events and insights from our business reporters on the ABC News live markets blog. ⌘ Read more
↳
In-reply-to
»
I had a lot of fun with my modems these past few days:
⤋ Read More
This is my highlight, really, haven’t seen this in action in a loooooooong time:
I had a lot of fun with my modems these past few days:
https://www.uninformativ.de/blog/postings/2025-05-31/0/POSTING-en.html
On my blog: One Fight https://john.colagioia.net/blog/2025/06/01/one-fight.html #harm #rant
On my blog: Free Culture Book Club — Meteorite https://john.colagioia.net/blog/2025/05/31/meteorite.html #freeculture #bookclub
On my blog: Toots 🦣 from 05/26 to 05/30 https://john.colagioia.net/blog/2025/05/30/week.html #linkdump #socialmedia #quotes #week
GitHub Universe 2025: Here’s what’s in store at this year’s developer wonderland
Sharpen your skills, test out new tools, and connect with people who build like you.
The post GitHub Universe 2025: Here’s what’s in store at this year’s developer wonderland appeared first on The GitHub Blog. ⌘ Read more
When was the last time you broke production and how?
Inspired by this post on senior engineers telling junior engineers about their mistakes, I am asking you all to share your stories or even existing posts about a situation where you royally fucked something up.
(Bonus points for every story that is turned into a blog post just for this thread) ⌘ Read more
On my blog: Real Life in Star Trek, Descent, part 2 https://john.colagioia.net/blog/2025/05/29/descent-2.html #scifi #startrek #closereading
Dmytro Prudnikov, former product designer at Komoot, who was still featured last December in a post on LinkedIn, but got, as many others, fired, posted an emotional video on YouTube. Together, he and a lot of other former colleagues, they spent some time together for a last gathering. ⌘ Read more
Prosodical Thoughts: Prosody 13.0.2 released
We are pleased to announce a new minor release from our stable branch.
This update addresses various issues that have been noticed since the previous release, as well as a few improvements, including some important fixes for invites. Some log messages and prosodyctl commands have been improved as well.
A summary of changes in this release:
Fixes and improvements- mod_storage_internal: Fix queries with only start returning extra items
- mod_invites_register: Stric … ⌘ Read more
My music listening is inconsistent. I don’t listen to much music, sometimes weeks without any music streaming at all. And when I do, I often listen to some automatic playlists with recommendations from YouTube. I don’t have any specific artists I always listen too. Furthermore, I don’t even have a specific genre I like the most, often it’s something electronic. ⌘ Read more
4 trends shaping open source funding—and what they mean for maintainers
Get insights on the latest trends from GitHub experts while catching up on these exciting new projects.
The post 4 trends shaping open source funding—and what they mean for maintainers appeared first on The GitHub Blog. ⌘ Read more
Two fantastic weeks in Scotland
I am back from Scotland, and my first days back at work are behind me. Let me tell you about my awesome vacation! ⌘ Read more
Two fantastic weeks in Scotland
I am back from Scotland, and my first days back at work are behind me. Let me tell you about my awesome vacation! ⌘ Read more
Two fantastic weeks in Scotland
I am back from Scotland, and my first days back at work are behind me. Let me tell you about my awesome vacation! ⌘ Read more
Debian XMPP Team: XMPP/Jabber Debian 13 Trixie News
Debian 13 “Trixie” full freeze has started 2025-05-17, so this is
a good time to take a look at some of the features, that this release
will bring. Here we will focus on packages related to XMPP, a.k.a.\
Jabber.
XMPP is a universal communication protocol for instant messaging, push
notifications, IoT, WebRTC, and social applications. It has existed sin … ⌘ Read more
As everyone recommends Signal as a Telegram alternative, I actually gave it a try again. Turns out it still does not support multiple devices, even unlike WhatsApp. ⌘ Read more
Launchpad mailing lists going away
Canonical’s Launchpad
software-collaboration platform that is used for Ubuntu development
will be shutting down its hosted mailing lists at
the end of October. The announcement
recommends Discourse or Launchpad Answers as
alternatives. Ubuntu’s mailing\
lists are u … ⌘ Read more
I need to migrate away from Telegram
I will migrate away from Telegram. Enough is enough. After more and more features are behind the Telegram Premium paywall (which I understand to a degree) and the increasing integration of stars (a crypto scheme? — I have less understanding for that), now also Grok from xAI by right-wing extremist Elon Musk will be integrated. ⌘ Read more
Erlang Solutions: The Importance of Digital Wallet Security
Digital wallets have transformed how people pay and how businesses get paid. With more consumers choosing contactless and mobile transactions, offering these payment options is part of staying relevant.
That’s why your business needs to understand digital wallet security– how it works, where the risks lie, and what it takes to protect customer data and payment information.
In this guide, we’ll walk through how digital wall … ⌘ Read more
AlmaLinux OS 10.0 released
Version\
10 of the AlmaLinux OS distribution has been released.
The goal of AlmaLinux OS is to support our community, and AlmaLinux
OS 10 is the best example of that yet. With an unwavering eye on
maintaining compatibility with Red Hat Enterprise Linux (RHEL), we
have made small improvements to AlmaLinux OS 10 that target
specific sections of our userbase.
See [the\ release notes](https://wiki.almalinux.org/release-notes/10.0.h … ⌘ Read more
Remove Android bloatware with Shizuku and Canta
Today, I have new app recommendation. Almost two years ago, I wrote about bloatware removal on Android without using a PC. I recommended Hail as an app to finally uninstall the bloatware apps after gaining elevated privileges with Shizuku. ⌘ Read more
Inside GitHub: How we hardened our SAML implementation
Maintaining and developing complex and risky code is never easy. See how we addressed the challenges of securing our SAML implementation with this behind-the-scenes look at building trust in our systems.
The post Inside GitHub: How we hardened our SAML implementation appeared first on [The GitHu … ⌘ Read more
[$] Cory Doctorow on how we lost the internet
Cory Doctorow wears many hats:
digital activist, science-fiction author, journalist, and more. He has
also written many books, both fiction and non-fiction, runs the Pluralistic blog, is a visiting
professor, and is an advisor to the Electronic\
Frontier Foundation (EFF); his Chokepoint Capitalism
co-author, Rebecca Giblin, gave a [2023 keynote\
in Australia](https://lw … ⌘ Read more
GitHub for Beginners: Test-driven development (TDD) with GitHub Copilot
See how to use GitHub Copilot to engage in some test-driven development.
The post GitHub for Beginners: Test-driven development (TDD) with GitHub Copilot appeared first on The GitHub Blog. ⌘ Read more
On my blog: Developer Diary, Memorial Day https://john.colagioia.net/blog/2025/05/26/memorial.html #programming #project #devjournal
在 Go 中如何使用有限狀態機優雅解決程序中狀態轉換問題
在編程中，有限狀態機（FSM）是管理複雜狀態流轉的優雅工具，其核心在於通過明確定義狀態、事件和轉換規則，將業務邏輯模塊化。本文將探討在 Go 中如何使用有限狀態機。有限狀態機在介紹有限狀態機之前，我們可以先來看一個示例程序： https://github.com/jianghushinian/blog-go-example/blob/main/fsm/main.gopackage mainimp ⌘ Read more
在 Go 中如何使用有限狀態機優雅解決程序中狀態轉換問題
在編程中，有限狀態機（FSM）是管理複雜狀態流轉的優雅工具，其核心在於通過明確定義狀態、事件和轉換規則，將業務邏輯模塊化。本文將探討在 Go 中如何使用有限狀態機。有限狀態機在介紹有限狀態機之前，我們可以先來看一個示例程序： https://github.com/jianghushinian/blog-go-example/blob/main/fsm/main.gopackage mainimp ⌘ Read more
↳
In-reply-to
»
@kat I don’t like Golang much either, but I am not a programmer. This little site, Go by example might explain a thing or two.
⤋ 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:
25keywords (Stack Overflow); CSP-style concurrency (goroutines & channels)
- Python 2:
30keywords (TutorialsPoint); GIL-bound threads & multiprocessing (Wikipedia)
- Python 3:
35keywords (Initial Commit); GIL-bound threads,asyncio& multiprocessing (Wikipedia, DEV Community)
- Java:
50keywords (Stack Overflow); threads +java.util.concurrent(Wikipedia)
- C++:
82keywords (Stack Overflow);std::thread, atomics & futures (en.cppreference.com)
- JavaScript:
38keywords (Stack Overflow); single-threaded event loop &async/await, Web Workers (Wikipedia)
- Ruby:
42keywords (Stack Overflow); GIL-bound threads (MRI), fibers & processes (Wikipedia)
NixOS 25.05 released ⌘ Read more
On my blog: Free Culture Book Club — Sówka w świecie dnia https://john.colagioia.net/blog/2025/05/24/owl-world.html #freeculture #bookclub
On my blog: Toots 🦣 from 05/19 to 05/23 https://john.colagioia.net/blog/2025/05/23/week.html #linkdump #socialmedia #quotes #week