Carnet de Nicolas

Modifier les métadonnées d’un fichier PDF

20 mars 2023 · Astuces

Vous avez généré un fichier PDF pour le mettre à disposition. Mais voilà, en inspectant les métadonnées associées, votre générateur a pris quelques libertés. Par exemple, si vous avez généré votre document PDF depuis Microsoft Word, ce dernier va préfixer le titre de votre document par « Microsoft Word ». Il est fort urbain, mais ce n’est pas du tout ce que l’on veut.

Fenêtre affichant les hideuses métadonnées d’un document PDF dans Adobe Acrobat Reader. — Propriétés d’un document PDF : hideuses métadonnées.

Grâce à l’utilitaire exiftool et la ligne de commande, voyons comment facilement modifier les propriétés d’un PDF pour obtenir de jolies métadonnées.

Abréviation des mois en français

26 févr. 2023 · Astuces

On lit souvent l’abréviation « jan. », mais à tort : janvier s’abrège « janv. » ! Jusqu’à récemment, j’avais tendance à ne pas abréger correctement certains mois, par exemple janvier ou février…

Voyons donc quelles sont les abréviations des mois en français, si l’on veut respecter les usages de la typographie française.

ChatGPT, crédibilité et vérité

20 févr. 2023 · Ailleurs

On sait déjà que ChatGPT-3 ne sait pas distinguer le vrai du faux. D’ailleurs, son souci n’est pas la vérité, mais la création de textes crédibles. Et lorsque ces textes n’ont pas d’auteur, que l’on ne peut pas remonter aux sources utilisées pour produire l’information générée, et que toutes ces informations ont la même valeur, il n’y a aucun critère de vérité, ni de possibilité de proposer une critique. Donc il s’agit de lui faire confiance. Comment ? En en faisant un outil ludique, facile à utiliser, et sympathique.

Claire Gerardin, « ChatGPT nous éloigne de la science qui la rend possible »

Ou encore :

This is a good reminder that, as impressive as they are, models like GPT are great at producing plausible content, not correct one 🙂

lucaong, “Elixir’s Enum.transpose written by ChatGPT?”

Les non-résolutions

1 janv. 2023 · Brèves

2023. Nous y voilà.

Comme à tout début de nouvelle année, on se souhaite des vœux de bonne santé, bonheur, argent, joie et plein de bonnes choses. On se souhaite aussi la réussite des projets personnels et professionnels. Quels que soient les vôtres, j’espère que ce sera le cas.

La nouvelle année, c’est aussi l’occasion de prendre un peu de recul sur celle écoulée. 2022. Un mélange de rétrospective et d’introspection.

Ça permet de relativiser certaines attentes que l’on a pu se fixer tout seul. Et de réaliser qu’on a finalement pu en faire des choses, et des belles. Comme de beaux voyages. Comme de belles rencontres. Comme de belles découvertes. Comme de beaux projets. Même si, c’est vrai, il y a aussi parfois le souvenir de moments moins sympas.

Alors, que peut-on vraiment se souhaiter pour cette année ? Peut-être de ne pas faire de résolutions. Peu de chance de ne pas les tenir…

Maturité et ergonomie

13 déc. 2022 · Ailleurs

[User requests feature already in product]
• Junior dev: “lol dumb user”
• Staff dev: “Closed - fixed”
• Senior dev: <opens usability bug>

— Vicky Harp, Twitter (Internet Archive)