. GitHub Releases page is such a pain. I would really appreciate to quickly filter Pre-Releases and Drafts along existing ones. As of now, only Releases and Tags 😭

Vivement le retour des JO 2024 à la télé! De la bonne humeur, du dépassement et des victoires plutôt que ces clowns extrémistes qui bataillent pour le pouvoir.

Holly shit. Busy this afternoon trying to notarize an app. Why so complicated to create a certificate and co ? And then you think it works. No! The notarization is now in progress since 10 minutes. Crazy. Something must be wrong but no clues 🤬🤬

The beauty of GitHub actions is it does not really work on first try. On 24th too 🤷‍♂️

Back on top left. Close top right or left. Thanks iOS 😬

Encore une “cyberattaque” sur un des services du gouvernement… Ce serait très intéressant Ministère du Travail de communiquer sur comment cela a pu se faire et ce qui est mis en place pour résoudre cela et quand… Mais probablement pas dans la mission du GIP ACYMA.

Moving slowly but surely to bsky.app/profile/pchala…

Both Rider and Ionide sucks at understanding (and explaining) F# NRT support. Crossing of the desert has begun 😭

Watching some news on war in Ukraine, could not believe a town was named dotnetsdk. Urg, that was donetsk. My bad 😅

I have 3 computers: - in my home office - near my sofa - in my bag to go to work office Dumb question: Is there something to synchronize ~/.codex across machines ? I more interested in the continuity of the conversation than in the agents. OpenAI Developers

I hate midi.