At the @golang contributors summit at @gopherconeu 2025 to discuss - Have a question, a need, an idea, want to discuss ?.

Very interesting tool developed by Redhat to observe the state of goroutines in your @golang programs, just presented at @gopherconeu : : definitely one step up from just pprof goroutine labeling.

I was toying around MCPs and wondered if I'd have to create one for @drupal 11. But, of course, there's already a module for that, as usual :-)

The Times They Are A-Changin' - again. still, that's sad seeing how much so many made it so useful for so many others. #GenAI.

Today I noticed a funny syntax bit in #golang , which we don't see used often: in an expression switch, instead of evaluating the switch expression and comparing values in cases, one can do the opposite. Guess result before running it: #popquiz.

TIL that better known as in @golang circles, was deprecated on 2025-04-01. Sad that @gniemeyer could not find new maintainers to take over, but thanks to him for that library. But is now a good alternative.

TIL that the position of the --delete flag in rsync changes command behaviour when syncing directories: rsync --delete -avz source/ target/ will not delete files deleted in source/. But rsync -avz source/ target/ --delete will. WTH?

So you would like to write more reliable software ? I just published a presentation about how to model software with @tlaplus, meant for software engineers, not mathematicians/logicians : @speakerdeck

RT @jasonleowsg: The “minimum” in MVP is the minimum it takes to get someone to open their wallet, not the minimum it takes for the product….

If you've been using my collection of type-safe #Golang container types, there's a new release today : . It adds stable ordered maps in addition to recency-based ones.

Most useful talk I /ever/ saw about caching.

TIL: In PlusCal, when enabling termination check, be sure your CFG uses SPECIFICATION instead of INIT/NEXT, because the transpilation to TLA+ adds WF_vars to Spec. So if you don't refer to it, TLC will just check Init /\ [][Next]_vars and Termination will fail. #tlaplus.

Friday fun. Ask your favorite AI chat "In general math, is it true that UNION (POWERSET(S)) = S for any set S". So far, most attempts I made get a "No, it is not", then an explation of why it is not, ending with the conclusion that it is indeed true. #ArtificialInteligence.

TIL about Chesterton's fence. In the context of a project planning session, no less. And it's really interesting, you know ?

Error traces are THE essential TLC feature #tlaplus, c'est la trace d'erreur. Did you know you can get them in graphical form ? So: here's a gist to create them. Assumes ~/Downloads/tla2tools.jar and Graphviz. . Usage: tlcdump <spec>.tla 🎁

J'ai demandé à Grok… auriez-vous fait un autre choix dans mes publications ?.

TIL : to display an Eval result with TLC or with the IntelliJ plugin, just like in the #tlaplus Toolbox TLC integration: 1. do not define INIT and NEXT in your CFG .2. add : "ASSUME PrintT(<<"Eval", Eval>>)" at the end of your spec .3. grep for "Eval" in the TLC output.

Just learned that Service Weaver was terminated last week. That's sad, it was an interesting idea and the team made it sound appealing.

Soooo, the spam analysis address on @webflow is rejecting messages because they are spam ? Well played, Webflow, well played 😂 FYI @Axl_lanca

TIL : in @golang there is actually a good reason to use instead of v2 : the Node type allows controlling formatting and emitting head, line, and foot comments in documents, whereas is was private in v2.