iiinova — where your digital self keeps evolving

Frédéric G. MARAND @fgmarand.bsky.social · 17/06/2026

TIL about comm(1) www.man7.org/linux/man-pa... - It's been in UNIX since v4 and managed to stay under my radar for 40 years. And you ? Did you know it ? Which other little known gem would you recommend ?

man7.org

comm(1) - Linux manual page

010

Frédéric G. MARAND @fgmarand.bsky.social · 05/04/2026

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 ?

sessionize.com

GoLab 2026: Call for Proposals

GoLab is a comprehensive conference on Go programming that started in 2015, organized by developers for developers.Since 2022, we have held GoLab and ...

000

Frédéric G. MARAND @fgmarand.bsky.social · 30/10/2025

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

010

Frédéric G. MARAND @fgmarand.bsky.social · 23/09/2025

#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

120

Frédéric G. MARAND @fgmarand.bsky.social · 18/09/2025

Conference is still ongoing fir 1.5 day...

000

Frédéric G. MARAND @fgmarand.bsky.social · 08/08/2025

Tip of the day for #golang - a summary about contexts, causes, and canceling: go.dev/play/p/ApLPH...

go.dev

Go Playground - The Go Programming Language

010

Frédéric G. MARAND @fgmarand.bsky.social · 17/06/2025

@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_(...

en.wikipedia.org

Think (slogan) - Wikipedia

121

Frédéric G. MARAND @fgmarand.bsky.social · 17/06/2025

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

github.com

GitHub - openshift-online/async-routine

Contribute to openshift-online/async-routine development by creating an account on GitHub.

010

Frédéric G. MARAND @fgmarand.bsky.social · 12/06/2025

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/...

linkedin.com

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 🎙️

010

Reposted by Frédéric G. MARAND

R. David Nett @davidnett.bsky.social · 30/03/2025

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/...

nytimes.com

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.

5469

Frédéric G. MARAND @fgmarand.bsky.social · 19/03/2025

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

speakerdeck.com

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…

031

Frédéric G. MARAND @fgmarand.bsky.social · 21/02/2025

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 🤦‍♂️

100

Frédéric G. MARAND @fgmarand.bsky.social · 09/02/2025

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...

side-by-side display of a TLC error trace in the IntelliJ plugin and as a SVG state chart

000

Frédéric G. MARAND @fgmarand.bsky.social · 09/02/2025

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...

Résumé du profil de FGM - Frédéric G. MARAND - selon l'IA Grok de X/Twitter

000

Frédéric G. MARAND @fgmarand.bsky.social · 28/12/2024

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.

youtube.com

The Last Seven Minutes (MAGMA COVER)/ XOXO EXTREME 2019.7.25 渋谷WWW

YouTube video by XOXO EXTREME Channnel

000

Frédéric G. MARAND @fgmarand.bsky.social · 12/12/2024

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

Service Weaver EOL announcement on 2024-12-05.

100

Frédéric G. MARAND @fgmarand.bsky.social · 30/11/2024

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

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.

000

Reposted by Frédéric G. MARAND

Randall Munroe @xkcd.com · 18/06/2024

Pascal’s Wager Triangle xkcd.com/2947

161261157

Frédéric G. MARAND @fgmarand.bsky.social · 13/06/2024

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.

Three Go slices sharing a common backing array

000

Reposted by Frédéric G. MARAND

European Commission @ec.europa.eu · 23/05/2024

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

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”.

1138

Frédéric G. MARAND @fgmarand.bsky.social · 15/05/2024

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/...

ericweinhoffer.com

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.

000

Frédéric G. MARAND @fgmarand.bsky.social · 13/05/2024

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 !

youtu.be

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...

000

Reposted by Frédéric G. MARAND

Filippo Valsorda @filippo.abyssdomain.expert · 02/05/2024

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...

go.dev

Secure Randomness in Go 1.22 - The Go Programming Language

ChaCha8Rand is a new cryptographically secure pseudorandom number generator used in Go 1.22.

49420

Frédéric G. MARAND @fgmarand.bsky.social · 27/03/2024

In Drupal 11, the @Drupal Statistics module is moving to contrib. The plan for that new version is to make it a privacy-compliant statistics solution, focused on anonymous site usage. At Drupalcamp Roazhon, I want to open the discussion with all interested parties, and triage existing core issues.

020

Reposted by Frédéric G. MARAND

Miguel de Icaza @migueldeicaza.bsky.social · 24/11/2023

Today all my open source software is discounted 40%! Git clone while supplies last!

0499