
Coucher de soleil
24 avr. 2023 · Photos

Journal de bord et autres pérégrinations de l’esprit
24 avr. 2023 · Photos
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.
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.
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.
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?
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…
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)