Cette semaine à #OSXP2025 #Paris dans la séquence "Cybersécurité & chaîne de production logicielle", je présente la validation formelle avec @tlaplus pour produire des programmes plus fiables. Rendez-vous mercredi 10 14:25. Deux invitations disponibles VIP dispo en MP.

Hey @interviewcaske About https://t.co/RdDJefeUtm could you drop hints about the bonus ? Aren't there some untold assumptions being made ?

@asmah2107 GraphQL

Fantastic production code return on experience from the Google Online Security Blog: @rustlang in Android: move fast AND FIX THINGS https://t.co/ApyclcFQlb via @google

Neat @golang trick of the day, from https://t.co/6ZQVazawDa : how to compare Go types without using reflection, just using generics

If you're curious about the details:

TIL how to get the size of a PR in a @golang project still using vendoring, and not counting the size of the vendor/ but just the actual changes. Key here is (exclude): git diff --shortstat master...HEAD -- . ':(exclude)vendor/' #git magic FTW

Even shorter https://t.co/6Soqv6UUQB thanks @LaurentDemailly for the improvement

Solution:

#golang quiz. What does this code do: package main type NonComparable struct { any fn func() } func main() { var m = make(map[any]bool) var msg any = NonComparable{fn: func() {}} m[msg] = true }

If you recently upgraded to @golang 1.25 and get "WARNING: undefined behavior - version of Delve is too old for Go version go1.25.0 (maximum supported version 1.24)" while debugging in @GoLandIDE the fix at https://t.co/OWbsmua82u is simple and works well.

Tip of the day for @golang - a summary about contexts, causes, and canceling

At the @golang contributors summit at @gopherconeu 2025 to discuss https://t.co/KrtxW9mofR - 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 : https://t.co/IQL36A95RD… : 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: https://t.co/yXE9dOlKIC #popquiz

TIL that https://t.co/CdBlzn87AG, better known as https://t.co/L4BPzwslkr 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 https://t.co/P93g9F1VwM 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 : https://t.co/vsSzmQeDt9 @speakerdeck