Hello, I'm Valentin, a software developer. I live with my wife in a village close to Bern, Switzerland.
This is my personal website where I post all my articles notes photos and reviews. I like to write about my running adventures too, it's in french over runboyrun.ch .
-
05 Jan 26
Code snippets on my blog were sometimes rendered awkwardly, one random line looking bigger.
I use hugo which uses chroma for code highlights. Browsing the open issues quickly revealed that another hugo user was facing this.
I prepared a bug report and submitted it to the webkit bugzilla.
In a short time, I was told that this rendering was due to how text adjusting works, a mobile only feature.
Both MDN and the Apple Documentation describe how to control that adjusting. What I don’t know though, is in what circumstances that algorithm kicks in exactly and why on some code snippet lines that algorithm would render the text bigger and sometimes not.
Anyways, I could quickly fix that on my blog and a coming release of chroma will include a fix too. Here’s my pull request for that.
I don’t think I could mention any CSS property that applies to mobile devices only, that’s the first one I see.
-
29 Dec 25
-
22 Dec 25
On how I reclaimed my tweets and imported them into my personal website
About a year ago, I closed my twitter account. Before pulling the trigger though, I’ve exported my personal content as I knew that I did not want to loose all that history of my online presence.
Funnily, that export feature still matches the Twitter branding, the guys from X did not bother taking care of that.
My twitter archive as static website. X did not bother rebrading this feature. I got in my mailbox a fully functioning static website. Where I could browse my own feed as if Twitter still existed. You can search, filter and sort the feed as you please, all locally. The web as I like it.
-
15 Dec 25
Meet
sala tiny tool I’ve created early this year to fetch my own Strava activities. I’ve used it to daily generate the footer of runboyrun.ch. But I’ll go more into details about that in a coming article. -
08 Dec 25
-
30 Nov 25
On how I reclaimed my instagram posts and imported them to my personal website
Instagram provides an export feature, not easy to find but the help section provided me with the right sequence of clicks. I did that in September this year. You can choose between json and html exports, I chose json and received shortly after a zip file in my mailbox. Once deflated that amounts to 85 megabytes.
➜ instagram-jacqueminv-2025-09-04-83XcnSA4-json tree -d -L2 . ├── ads_information ├── apps_and_websites_off_of_instagram ├── connections ├── media │ └── posts ├── personal_information ├── preferences ├── security_and_login_information └── your_instagram_activity └── mediaThe listing of the instagram export. In the end, I'm interested in ./media/postsand./your_instagram_activity/media.There was no description of the archive’s content so I browse and quickly found that all my posts were under
your_instagram_activity/media/posts_1.json. I decided to ignore everything else. That means my stories, comments or likes are not migrated. What I want is all the photos and their metadata so that I can keep them on my website. -
23 Nov 25
-
12 Oct 25
TIL: a bash tip I discovered today only,
C-x C-einvokes an editor on the current command line. -
10 Oct 25
At 12'37" Zoe Si quotes out of a Skillshare Course some words that made me stop to write them down:
It’s okay to have imperfect work out in the world (but not sloppy!)
– from: Opus Cartooning Presentation
-
08 Oct 25
On why I stopped updating my personal website and social media took over. Interested to know how to reclaim your own twitter and instagram content? That’s for a future article.
I closed my twitter account about a year ago. We have to agree that social media in general got ever more toxic over the years. The promises of connection failed short. Instead, that’s a feeling of exhaustion and sadness that predominate if I spend time there.
