Frédéric G. MARAND
@fgmarand.bsky.social
Software architect toting a bass guitar. Aka @[email protected] and OSInet on Twitter/X/Drupal.org/
Pinned
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
git diff --shortstat master...HEAD -- . ':(exclude)vendor/'
#git magic FTW
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
git diff --shortstat master...HEAD -- . ':(exclude)vendor/'
#git magic FTW
October 30, 2025 at 12:50 PM
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
git diff --shortstat master...HEAD -- . ':(exclude)vendor/'
#git magic FTW
#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
```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
September 23, 2025 at 3:54 PM
#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
```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...
September 18, 2025 at 1:39 PM
Conference is still ongoing fir 1.5 day...
Randy Fay (@[email protected] ?) 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...
I think I'm starting to understand a bit of the crack cocaine addictiveness of Claude Code (and by extension other significant uses of AI).
It's just like Drupal (a site-builder CMS tool) was...
I think I'm starting to understand a bit of the crack cocaine addictiveness of Claude Code (and by extension other significant uses of AI).
It's just like Drupal (a site-builder CMS tool) was in 2005...
www.linkedin.com
September 16, 2025 at 11:40 AM
Randy Fay (@[email protected] ?) 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...
Go Playground - The Go Programming Language
go.dev
August 8, 2025 at 2:16 PM
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_(...
Think (slogan) - Wikipedia
en.wikipedia.org
June 17, 2025 at 12:32 PM
@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
@gopherconeu.bsky.social : github.com/openshift-on... : definitely one step up from just pprof goroutine labeling
June 17, 2025 at 9:49 AM
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
@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/...
www.linkedin.com/feed/update/...
In two weeks, join us at SREday Amsterdam at Catawiki to learn about how to add some formal logic to your code process. | OSInet
In two weeks, join us at SREday Amsterdam at Catawiki to learn about how to add some formal logic to your code process.
Tagging Mark Pawlikowski, Miko Pawlikowski 🎙️
www.linkedin.com
June 12, 2025 at 12:04 PM
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/...
www.linkedin.com/feed/update/...
Reposted by Frédéric G. MARAND
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/...
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/...
The Gen X Career Meltdown (Gift Article)
Just when they should be at their peak, experienced workers in creative fields find that their skills are all but obsolete.
www.nytimes.com
March 30, 2025 at 10:09 PM
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/...
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
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
A TLA+ intro for Software engineers
This presentation introduces TLA+, a formal specification language for concurrent systems.
Unlike most existing reference sources, it is meant for u…
speakerdeck.com
March 19, 2025 at 12:41 PM
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
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
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 🤦♂️
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 🤦♂️
February 21, 2025 at 1:10 PM
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 🤦♂️
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 🤦♂️
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-...
And it's really interesting, you know ? Especially in that context.
fs.blog/chestertons-...
Chesterton’s Fence: A Lesson in Thinking
A core component of making great decisions is understanding previous decisions. If we don’t understand how we got “here,” we run the risk of making things much worse.
fs.blog
February 14, 2025 at 1:36 PM
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-...
And it's really interesting, you know ? Especially in that context.
fs.blog/chestertons-...
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...
Assumes ~/Downloads/tla2tools.jar and Graphviz
gist.github.com/fgm/6cf24e40...
February 9, 2025 at 12:14 PM
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...
Assumes ~/Downloads/tla2tools.jar and Graphviz
gist.github.com/fgm/6cf24e40...
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...
Pour ceux/celles qui me connaissent, est-ce un bon résumé ? Ou qu'auriez-vous ajouté/enlevé/modifié ? 😅
x.com/i/grok/share...
February 9, 2025 at 9:33 AM
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...
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.
www.youtube.com/watch?v=fw1T...
"The last seven minutes", just a few months before COVID struck. Brrrr.
The Last Seven Minutes (MAGMA COVER)/ XOXO EXTREME 2019.7.25 渋谷WWW
YouTube video by XOXO EXTREME Channnel
www.youtube.com
December 28, 2024 at 9:27 PM
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.
www.youtube.com/watch?v=fw1T...
"The last seven minutes", just a few months before COVID struck. Brrrr.
Just learned that Service Weaver was terminated last week. That's sad, it was an interesting idea and the team made it sound appealing.
December 12, 2024 at 4:14 PM
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 😂
@webflow
is rejecting messages because they are spam ? Well played, Webflow, well played 😂
November 30, 2024 at 5:37 PM
Soooo, the spam analysis address on
@webflow
is rejecting messages because they are spam ? Well played, Webflow, well played 😂
@webflow
is rejecting messages because they are spam ? Well played, Webflow, well played 😂
Reposted by Frédéric G. MARAND
Pascal’s Wager Triangle xkcd.com/2947
June 18, 2024 at 2:04 AM
Pascal’s Wager Triangle xkcd.com/2947
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.
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.
June 13, 2024 at 2:29 PM
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.
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.
Reposted by Frédéric G. MARAND
Google's AI-Generated Search Results Keep Citing The Onion www.readtpa.com/p/googles-ai...
May 24, 2024 at 12:24 AM
Google's AI-Generated Search Results Keep Citing The Onion www.readtpa.com/p/googles-ai...
Reposted by Frédéric G. MARAND
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
Are you ready to #UseYourVote and make your voice heard? Don’t let others choose for you.
Have a look ➡️ elections.europa.eu
#EUElections2024
May 23, 2024 at 8:28 AM
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
Are you ready to #UseYourVote and make your voice heard? Don’t let others choose for you.
Have a look ➡️ elections.europa.eu
#EUElections2024
It's not every day one learns something about the basics of machinery invented in the early XIXth century. Could you imagine how to create a really flat surface for machining starting from raw material ? Fascinating. ericweinhoffer.com/blog/2017/7/...
The Whitworth Three Plates Method — Eric Weinhoffer
By using the Three Plates Method, developed by Joseph Whitworth, flat
surfaces can be created by using gravity and a simple hand-scraping tool,
or by lapping the plates against each other.
ericweinhoffer.com
May 15, 2024 at 10:07 PM
It's not every day one learns something about the basics of machinery invented in the early XIXth century. Could you imagine how to create a really flat surface for machining starting from raw material ? Fascinating. ericweinhoffer.com/blog/2017/7/...
For years I had been hearing about Engelbart's "Mother of all demos" in 1968, but never realized it was actually available online. Watch it at youtu.be/B6rKUf9DWRI?... then consider what most programming environments were at the time. It must have been unthinkable for most pros then. Awesome !
1968 “Mother of All Demos” by SRI’s Doug Engelbart and Team
Highlights and descriptions of the December 9, 1968 demo by Douglas Engelbart and his team at SRI (at the time called Stanford Research Institute). It was th...
youtu.be
May 13, 2024 at 6:49 PM
For years I had been hearing about Engelbart's "Mother of all demos" in 1968, but never realized it was actually available online. Watch it at youtu.be/B6rKUf9DWRI?... then consider what most programming environments were at the time. It must have been unthinkable for most pros then. Awesome !
Reposted by Frédéric G. MARAND
In Go 1.22 we fixed a common security footgun by replacing the math/rand[/v2] default generator with a new secure one based on ChaCha8.
Details on the Go blog by @swtch.com and me (and full reusable specification in C2SP).
go.dev/blog/chacha8...
Details on the Go blog by @swtch.com and me (and full reusable specification in C2SP).
go.dev/blog/chacha8...
Secure Randomness in Go 1.22 - The Go Programming Language
ChaCha8Rand is a new cryptographically secure pseudorandom number generator used in Go 1.22.
go.dev
May 2, 2024 at 5:29 PM
In Go 1.22 we fixed a common security footgun by replacing the math/rand[/v2] default generator with a new secure one based on ChaCha8.
Details on the Go blog by @swtch.com and me (and full reusable specification in C2SP).
go.dev/blog/chacha8...
Details on the Go blog by @swtch.com and me (and full reusable specification in C2SP).
go.dev/blog/chacha8...