Repository with sources and generator of https://larlet.fr/david/ https://larlet.fr/david/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

index.html 15KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343
  1. <!DOCTYPE html><!-- This is a valid HTML5 document. -->
  2. <!-- Screen readers, SEO, extensions and so on. -->
  3. <html lang="fr">
  4. <!-- Has to be within the first 1024 bytes, hence before the `title` element
  5. See: https://www.w3.org/TR/2012/CR-html5-20121217/document-metadata.html#charset -->
  6. <meta charset="utf-8">
  7. <!-- Why no `X-UA-Compatible` meta: https://stackoverflow.com/a/6771584 -->
  8. <!-- The viewport meta is quite crowded and we are responsible for that.
  9. See: https://codepen.io/tigt/post/meta-viewport-for-2015 -->
  10. <meta name="viewport" content="width=device-width,initial-scale=1">
  11. <!-- Required to make a valid HTML5 document. -->
  12. <title>
  13. Cargo
  14. — David Larlet</title>
  15. <meta name="description" content="I think the actual harm of signing git commits is to perpetuate an engineering culture of unquestioningly cargo-culting sophisticated and complex tools like cryptographic signatures into new contexts where they have no use.">
  16. <!-- That good ol' feed, subscribe :). -->
  17. <link rel="alternate"
  18. type="application/atom+xml"
  19. title="Feed"
  20. href="/david/log/">
  21. <!-- Generated from https://realfavicongenerator.net/ such a mess. -->
  22. <link rel="apple-touch-icon"
  23. sizes="180x180"
  24. href="/static/david/icons2/apple-touch-icon.png">
  25. <link rel="icon"
  26. type="image/png"
  27. sizes="32x32"
  28. href="/static/david/icons2/favicon-32x32.png">
  29. <link rel="icon"
  30. type="image/png"
  31. sizes="16x16"
  32. href="/static/david/icons2/favicon-16x16.png">
  33. <link rel="manifest" href="/static/david/icons2/site.webmanifest">
  34. <link rel="mask-icon"
  35. href="/static/david/icons2/safari-pinned-tab.svg"
  36. color="#07486c">
  37. <link rel="shortcut icon" href="/static/david/icons2/favicon.ico">
  38. <meta name="msapplication-TileColor" content="#f7f7f7">
  39. <meta name="msapplication-config"
  40. content="/static/david/icons2/browserconfig.xml">
  41. <meta name="theme-color"
  42. content="#f7f7f7"
  43. media="(prefers-color-scheme: light)">
  44. <meta name="theme-color"
  45. content="#272727"
  46. media="(prefers-color-scheme: dark)">
  47. <!-- Is that even respected? Retrospectively? What a shAItshow…
  48. https://neil-clarke.com/block-the-bots-that-feed-ai-models-by-scraping-your-website/ -->
  49. <meta name="robots" content="noai, noimageai">
  50. <!-- Documented, feel free to shoot an email. -->
  51. <link rel="stylesheet" href="/static/david/css/style_2024-01-19.css">
  52. <!-- See https://www.zachleat.com/web/comprehensive-webfonts/ for the trade-off. -->
  53. <link rel="preload"
  54. href="/static/david/css/fonts/century_supra_ot_a_regular.woff2"
  55. as="font"
  56. type="font/woff2"
  57. media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)"
  58. crossorigin>
  59. <link rel="preload"
  60. href="/static/david/css/fonts/century_supra_ot_a_bold.woff2"
  61. as="font"
  62. type="font/woff2"
  63. media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)"
  64. crossorigin>
  65. <link rel="preload"
  66. href="/static/david/css/fonts/century_supra_ot_a_italic.woff2"
  67. as="font"
  68. type="font/woff2"
  69. media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)"
  70. crossorigin>
  71. <link rel="preload"
  72. href="/static/david/css/fonts/century_supra_ot_b_regular.woff2"
  73. as="font"
  74. type="font/woff2"
  75. media="(prefers-color-scheme: dark)"
  76. crossorigin>
  77. <link rel="preload"
  78. href="/static/david/css/fonts/century_supra_ot_b_bold.woff2"
  79. as="font"
  80. type="font/woff2"
  81. media="(prefers-color-scheme: dark)"
  82. crossorigin>
  83. <link rel="preload"
  84. href="/static/david/css/fonts/century_supra_ot_b_italic.woff2"
  85. as="font"
  86. type="font/woff2"
  87. media="(prefers-color-scheme: dark)"
  88. crossorigin>
  89. <script>
  90. function toggleTheme(themeName) {
  91. document.documentElement.classList.toggle(
  92. 'forced-dark',
  93. themeName === 'dark'
  94. )
  95. document.documentElement.classList.toggle(
  96. 'forced-light',
  97. themeName === 'light'
  98. )
  99. }
  100. const selectedTheme = localStorage.getItem('theme')
  101. if (selectedTheme !== 'undefined') {
  102. toggleTheme(selectedTheme)
  103. }
  104. </script>
  105. <body data-instant-intensity="viewport-all">
  106. <article>
  107. <header>
  108. <hgroup>
  109. <h1>Cargo</h1>
  110. <p>Le <time datetime="2024-01-26">26 janvier 2024</time></p>
  111. </hgroup>
  112. </header>
  113. <nav>
  114. <p>
  115. <a rel="prev"
  116. href="/david/2024/01/25/"
  117. title="Publication précédente : Stratégie">← Précédent</a> •
  118. <a href="/david/" title="Aller à l’accueil" rel="up">Accueil</a>
  119. <a href="/david/recherche/"
  120. title="Aller à la page de recherche"
  121. rel="search">Recherche</a>
  122. • <a rel="next"
  123. href="/david/2024/01/27/"
  124. title="Publication suivante : Jour&nbsp;1">Suivant →</a>
  125. </p>
  126. </nav>
  127. <blockquote lang="en">
  128. <p>I think the actual harm of signing git commits is to perpetuate an engineering culture of unquestioningly cargo-culting sophisticated and complex tools like cryptographic signatures into new contexts where they have no&nbsp;use.</p>
  129. <p>Just from a baseline utilitarian philosophical perspective, for a given action A, all else being equal, it’s always better not to do A, because taking an action always has some non-zero opportunity cost even if it is just the time taken to do it. Epsilon cost and zero benefit is still a net harm. This is even more true in the context of a complex system. Any action taken in response to a rule in a system is going to interact with all the other rules in that system. You have to pay complexity-rent on every new rule. <mark>So an apparently-useless embellishment like signing commits can have potentially far-reaching consequences in the&nbsp;future.</mark></p>
  130. <p><cite><em><a data-link-domain="blog.glyph.im" href="https://blog.glyph.im/2024/01/unsigned-commits.html">Unsigned Commits</a> <a href="/david/cache/2024/ce5fdc61fd66cdb9ce548fb543eba986/" title="Copie locale au 2024-01-25">[archive]</a></em></cite></p>
  131. </blockquote>
  132. <p>J’avoue avoir sauté sur l’occasion lorsque j’en ai eu la possibilité avec <a data-link-domain="git-tower.com" href="https://www.git-tower.com/help/guides/integration/gpg/mac">mon client git</a> pour avoir le badge vert sur Microsoft GitHub et Gitlab sans trop me poser de questions. C’était peut-être une erreur et je vais faire mûrir ma réflexion maintenant qu’on m’a mis le nez&nbsp;dedans.</p>
  133. <p>Entre <em>refus de parvenir</em> et auto-défense&nbsp;numérique.</p>
  134. <a href="#hr-50" title="Lien vers cette section de la page"><hr id="hr-50" /></a>
  135. <blockquote>
  136. <p>Cette lutte ne créera pas un mouvement de masse…<br />
  137. Mais elle est un ingrédient, parmi de nombreuses autres luttes territoriales, qui toutes façonnent ces mêmes possibilités affectives…<br />
  138. Se sentir coïncider non pas avec soi-même mais avec un milieu de vie…<br />
  139. Se sentir maillé à un vaste collectif d’humains et de non-humains…<br />
  140. Des affects, qui constituent la nécessaire force motrice du mouvement que nous espérons voir&nbsp;croître.</p>
  141. <p><cite><em><a data-link-domain="puntish.blogspot.com" href="http://puntish.blogspot.com/2024/01/defendre-le-glacier-de-la-grave.html">Défendre le glacier de La&nbsp;Grave</a></em></cite></p>
  142. </blockquote>
  143. <p>La justesse d’Alessandro Pignocchi et les couleurs de ses&nbsp;aquarelles&nbsp;💚.</p>
  144. <a href="#hr-51" title="Lien vers cette section de la page"><hr id="hr-51" /></a>
  145. <blockquote lang="en">
  146. <p>Every time I have told someone “I want to replace PDF“, the statement has been met with extreme skepticism. Hopefully this document has convinced you that <mark>HTML-via-EPUB could potentially be a viable</mark> and desirable document format for the&nbsp;future.</p>
  147. <p><cite><em><a data-link-domain="willcrichton.net" href="https://willcrichton.net/notes/portable-epubs/">Portable EPUBs</a> <a href="/david/cache/2024/ffaf50bf5d5e4cf870a618b518ee5ba7/" title="Copie locale au 2024-01-25">[archive]</a></em></cite></p>
  148. </blockquote>
  149. <p>Superbe initiative qui rappelle cruellement ce <a data-link-domain="xkcd.com" href="https://xkcd.com/927/">célèbre XKCD</a> mais qui m’est franchement bien plus utilisable qu’un PDF, quel que soit le lecteur… à part pour en récupérer la source avec mon extracteur maison. Cela me fait découvrir <a data-link-domain="nota-lang.org" href="https://nota-lang.org/">Nota</a> au&nbsp;passage.</p>
  150. <p>Un simple individu peut-il faire bouger des choses dans le&nbsp;domaine&#8239;?</p>
  151. <a href="#hr-52" title="Lien vers cette section de la page"><hr id="hr-52" /></a>
  152. <blockquote>
  153. <p>Les sites et outils numériques que je&nbsp;propose</p>
  154. <p><cite><em><a data-link-domain="eyssette.github.io" href="https://eyssette.github.io/">Cédric&nbsp;Eyssette</a></em></cite></p>
  155. </blockquote>
  156. <p>Beaucoup de belles et frugales choses (autour de markdown) à explorer sur cet&nbsp;espace.</p>
  157. <nav>
  158. <p>
  159. <a href="/david/2024/gratitude/"
  160. title="Liste de tous les articles 2024 associés à cette étiquette"
  161. rel="tag">#gratitude</a>
  162. <a href="/david/2024/partage/"
  163. title="Liste de tous les articles 2024 associés à cette étiquette"
  164. rel="tag">#partage</a>
  165. <a href="/david/2024/psychologie/"
  166. title="Liste de tous les articles 2024 associés à cette étiquette"
  167. rel="tag">#psychologie</a>
  168. <a href="/david/2024/#tags" title="Liste de toutes les étiquettes 2024">tous ?</a>
  169. </p>
  170. </nav>
  171. <nav>
  172. <p>
  173. <a rel="prev"
  174. href="/david/2024/01/25/"
  175. title="Publication précédente : Stratégie">← Précédent</a> •
  176. <a href="/david/2024/" title="Liste des publications récentes">↑ En 2024</a>
  177. • <a rel="next"
  178. href="/david/2024/01/27/"
  179. title="Publication suivante : Jour&nbsp;1">Suivant →</a>
  180. </p>
  181. </nav>
  182. <form action="/david/recherche/" method="get">
  183. <fieldset>
  184. <legend>Recherche</legend>
  185. <label for="input-search">Termes de votre recherche :</label>
  186. <input id="input-search" type="search" name="s" aria-describedby="indexation-infos" required>
  187. <input type="submit" value="Chercher">
  188. <p id="indexation-infos">
  189. <small>
  190. Seuls les contenus de ces 8 dernières années sont indexés.
  191. </small>
  192. </p>
  193. </fieldset>
  194. </form>
  195. <aside>
  196. <theme-toggle></theme-toggle>
  197. </aside>
  198. </article>
  199. <hr>
  200. <footer>
  201. <p>
  202. <a href="/david/" title="Aller à l’accueil">Accueil</a>
  203. <a href="/david/log/" title="Accès au flux RSS">Suivre</a>
  204. <a href="http://larlet.com"
  205. title="Go to my English profile"
  206. data-instant>Pro</a>
  207. <a href="mailto:david%40larlet.fr" title="Envoyer un courriel">Email</a>
  208. <abbr title="Hébergeur : Alwaysdata, 62 rue Tiquetonne 75002 Paris, +33184162340">Légal</abbr>
  209. </p>
  210. <template id="theme-selector">
  211. <form>
  212. <style type="text/css">
  213. fieldset div {
  214. text-align: center;
  215. }
  216. </style>
  217. <fieldset>
  218. <legend>Thème</legend>
  219. <div>
  220. <label>
  221. <input type="radio" value="auto" name="chosen-color-scheme" checked>
  222. Auto
  223. </label>
  224. <label>
  225. <input type="radio" value="dark" name="chosen-color-scheme">
  226. Foncé
  227. </label>
  228. <label>
  229. <input type="radio" value="light" name="chosen-color-scheme">
  230. Clair
  231. </label>
  232. </div>
  233. </fieldset>
  234. </form>
  235. </template>
  236. </footer>
  237. <script src="/static/david/js/instantpage-5.1.0.min.js" type="module"></script>
  238. <script>
  239. class ThemeToggle extends HTMLElement {
  240. constructor() {
  241. super()
  242. const themeSelectorTemplate = document.querySelector('#theme-selector')
  243. const form = themeSelectorTemplate.content.firstElementChild
  244. this.attachShadow({ mode: 'open' })
  245. this.shadowRoot.appendChild(form.cloneNode(true))
  246. }
  247. connectedCallback() {
  248. const form = this.shadowRoot.querySelector('form')
  249. form.addEventListener('change', (e) => {
  250. const chosenColorScheme = e.target.value
  251. localStorage.setItem('theme', chosenColorScheme)
  252. toggleTheme(chosenColorScheme)
  253. })
  254. const selectedTheme = localStorage.getItem('theme')
  255. if (selectedTheme && selectedTheme !== 'undefined') {
  256. form.querySelector(`[value="${selectedTheme}"]`).checked = true
  257. }
  258. }
  259. }
  260. const prefersColorSchemeDark = '(prefers-color-scheme: dark)'
  261. window.addEventListener('load', () => {
  262. let colorsLayer = undefined
  263. let hasDarkRules = false
  264. for (const styleSheet of Array.from(document.styleSheets)) {
  265. let mediaRules = []
  266. for (const layerRule of styleSheet.cssRules) {
  267. if (!(layerRule instanceof CSSLayerBlockRule)) {
  268. continue
  269. }
  270. if (layerRule.name === 'colors') {
  271. colorsLayer = layerRule
  272. }
  273. for (const cssRule of layerRule.cssRules) {
  274. if (cssRule.type !== CSSRule.MEDIA_RULE) {
  275. continue
  276. }
  277. // WARNING: Safari does not have/supports `conditionText`.
  278. if (cssRule.conditionText) {
  279. if (cssRule.conditionText !== prefersColorSchemeDark) {
  280. continue
  281. }
  282. } else {
  283. if (cssRule.cssText.startsWith(prefersColorSchemeDark)) {
  284. continue
  285. }
  286. }
  287. mediaRules = mediaRules.concat(Array.from(cssRule.cssRules))
  288. }
  289. }
  290. // WARNING: do not try to insert a Rule to a styleSheet you are
  291. // currently iterating on, otherwise the browser will be stuck
  292. // in a infinite loop…
  293. for (const mediaRule of mediaRules) {
  294. // Safari requires the `0` second parameter (even if default).
  295. colorsLayer.insertRule(mediaRule.cssText, 0)
  296. hasDarkRules = true
  297. }
  298. }
  299. if (hasDarkRules) {
  300. if ('customElements' in window && !customElements.get('theme-toggle')) {
  301. customElements.define('theme-toggle', ThemeToggle)
  302. }
  303. }
  304. })
  305. </script>
  306. </body>
  307. </html>