Call for Proposals for GoLab 2026 is open on Sessionize and I've just submitted a session about auditing Go code bases sessionize.com/golab-2026/ - Would you attend it ?
Posts by Frédéric G. MARAND
TIL how to get the size of a PR in a @golang.org 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
Solution: go.dev/play/p/2fmqd...
#golang quiz. What does this code do:
```go
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
}
```
- Does not compile
- Runs and displays nothing
- Panics at runtime
Conference is still ongoing fir 1.5 day...
Randy Fay (@ddev@fosstodon.org ?) just made the most relevant observation about both #drupal and #genai I had failed to make in the last 18 months. It's been right in front of us and we still don't see it www.linkedin.com/posts/randyf...
Tip of the day for #golang - a summary about contexts, causes, and canceling: go.dev/play/p/ApLPH...
@brittanyellich.com nice talk at @gopherconeu.bsky.social ! I was wondering if you were aware of the old IBM "Think" slogans when you created these slides en.wikipedia.org/wiki/Think_(...
Very interesting tool developed by Redhat to observe the state of goroutines in your #golang programs, just presented at
@gopherconeu.bsky.social : github.com/openshift-on... : definitely one step up from just pprof goroutine labeling
Si vous avez une infrastructure qui a besoin de synchroniser du code autour d'un bus (Kafka ?), vous avez envie de découvrir un moyen de raisonner sur votre code concurrent... venez découvrir TLA+ à ma session lors du SREday le 27/06 à @catawikiauctions.bsky.social
www.linkedin.com/feed/update/...
That's me in the corner. That's me in the spotlight, losing my religion...
At least we're not getting lumped in with the boomers for once? #GenX
Gift article access to the NYTimes report on GenX reality. At least we're not being lumped w boomers anymore?
www.nytimes.com/interactive/...
So you would like to write more reliable software ?
I just published a presentation about how to model software with TLA+, meant for software engineers, not mathematicians/logicians.
speakerdeck.com/fgm/a-tla-pl... #tlaplus
Math notation for Union(Powerset(S)) = S
Special bonus for #mistralai for rendering the formula correctly, though
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 explanation of why it is not, ending in the best cases with the conclusion that it is true...
#artificialintelligence #ai 🤦♂️
Tommy by the Who: album cover
TIL about Chesterton's fence. In the context of a project planning session, no less.
And it's really interesting, you know ? Especially in that context.
fs.blog/chestertons-...
side-by-side display of a TLC error trace in the IntelliJ plugin and as a SVG state chart
Error traces are THE essential TLC feature for #tlaplus. Did you know you can get them in graphical form ? So: here's a gist to create them.
Assumes ~/Downloads/tla2tools.jar and Graphviz
gist.github.com/fgm/6cf24e40...
Résumé du profil de FGM - Frédéric G. MARAND - selon l'IA Grok de X/Twitter
Mon résumé selon Grok sur X/Twitter: x.com/i/grok/share...
Pour ceux/celles qui me connaissent, est-ce un bon résumé ? Ou qu'auriez-vous ajouté/enlevé/modifié ? 😅
x.com/i/grok/share...
You got to admit it, the Japanese know how to be a bit crazy. Case in point XOXO EXTREME releasing a Magma cover in j-pop format as a single in 2019. 😮
www.youtube.com/watch?v=fw1T...
"The last seven minutes", just a few months before COVID struck. Brrrr.
Did you try Watermill ?
Service Weaver EOL announcement on 2024-12-05.
Just learned that Service Weaver was terminated last week. That's sad, it was an interesting idea and the team made it sound appealing.
FGM's RSS feeds: techblogs, Log4U competitors, Go, Drupal, and OSInet feeds
🤖
Message rejection from form-spam-reports@support.webflow.com which is the Webflow spam analysis forwarding address, rejecting a spam message because it is spam.
Soooo, the spam analysis address on
@webflow
is rejecting messages because they are spam ? Well played, Webflow, well played 😂
Pascal’s Wager Triangle xkcd.com/2947
Three Go slices sharing a common backing array
When developing in #golang, slices are fast and convenient, but their implementation sometimes yields unexpected results due to data sharing.
With the latest article in my - free - Go blog at osinet.fr/go/en/articl..., learn how that data sharing works, to use or avoid it depending on your needs.
Premier meetup Go à l'EEMI. #golang
Google's AI-Generated Search Results Keep Citing The Onion www.readtpa.com/p/googles-ai...
A person wearing a blue sweater. On it, a blue pin with part of the EU emblem and a white text which reads “Use your vote”.
TWO WEEKS TO GO!
Are you ready to #UseYourVote and make your voice heard? Don’t let others choose for you.
Have a look ➡️ elections.europa.eu
#EUElections2024