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 16KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363
  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-28.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">
  131. <svg xmlns="http://www.w3.org/2000/svg"
  132. width="20" height="20" viewBox="0 0 24 24"
  133. fill="none" stroke="currentColor"
  134. stroke-width="2" stroke-linecap="square" stroke-linejoin="round"
  135. ><rect x="9" y="9" width="13" height="13" rx="2" ry="2"></rect>
  136. <path d="M5 15H4a2 2 0 0 1-2-2V4a2 2 0 0 1 2-2h9a2 2 0 0 1 2 2v1">
  137. </path>
  138. </svg>
  139. <span class="sr-only">[archive]</span>
  140. </a></em></cite></p>
  141. </blockquote>
  142. <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>
  143. <p>Entre <em>refus de parvenir</em> et auto-défense&nbsp;numérique.</p>
  144. <a href="#hr-50" title="Lien vers cette section de la page"><hr id="hr-50" /></a>
  145. <blockquote>
  146. <p>Cette lutte ne créera pas un mouvement de masse…<br />
  147. Mais elle est un ingrédient, parmi de nombreuses autres luttes territoriales, qui toutes façonnent ces mêmes possibilités affectives…<br />
  148. Se sentir coïncider non pas avec soi-même mais avec un milieu de vie…<br />
  149. Se sentir maillé à un vaste collectif d’humains et de non-humains…<br />
  150. Des affects, qui constituent la nécessaire force motrice du mouvement que nous espérons voir&nbsp;croître.</p>
  151. <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>
  152. </blockquote>
  153. <p>La justesse d’Alessandro Pignocchi et les couleurs de ses&nbsp;aquarelles&nbsp;💚.</p>
  154. <a href="#hr-51" title="Lien vers cette section de la page"><hr id="hr-51" /></a>
  155. <blockquote lang="en">
  156. <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>
  157. <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">
  158. <svg xmlns="http://www.w3.org/2000/svg"
  159. width="20" height="20" viewBox="0 0 24 24"
  160. fill="none" stroke="currentColor"
  161. stroke-width="2" stroke-linecap="square" stroke-linejoin="round"
  162. ><rect x="9" y="9" width="13" height="13" rx="2" ry="2"></rect>
  163. <path d="M5 15H4a2 2 0 0 1-2-2V4a2 2 0 0 1 2-2h9a2 2 0 0 1 2 2v1">
  164. </path>
  165. </svg>
  166. <span class="sr-only">[archive]</span>
  167. </a></em></cite></p>
  168. </blockquote>
  169. <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>
  170. <p>Un simple individu peut-il faire bouger des choses dans le&nbsp;domaine&#8239;?</p>
  171. <a href="#hr-52" title="Lien vers cette section de la page"><hr id="hr-52" /></a>
  172. <blockquote>
  173. <p>Les sites et outils numériques que je&nbsp;propose</p>
  174. <p><cite><em><a data-link-domain="eyssette.github.io" href="https://eyssette.github.io/">Cédric&nbsp;Eyssette</a></em></cite></p>
  175. </blockquote>
  176. <p>Beaucoup de belles et frugales choses (autour de markdown) à explorer sur cet&nbsp;espace.</p>
  177. <nav>
  178. <p>
  179. <a href="/david/2024/gratitude/"
  180. title="Liste de tous les articles 2024 associés à cette étiquette"
  181. rel="tag">#gratitude</a>
  182. <a href="/david/2024/partage/"
  183. title="Liste de tous les articles 2024 associés à cette étiquette"
  184. rel="tag">#partage</a>
  185. <a href="/david/2024/psychologie/"
  186. title="Liste de tous les articles 2024 associés à cette étiquette"
  187. rel="tag">#psychologie</a>
  188. <a href="/david/2024/#tags" title="Liste de toutes les étiquettes 2024">tous ?</a>
  189. </p>
  190. </nav>
  191. <nav>
  192. <p>
  193. <a rel="prev"
  194. href="/david/2024/01/25/"
  195. title="Publication précédente : Stratégie">← Précédent</a> •
  196. <a href="/david/2024/" title="Liste des publications récentes">↑ En 2024</a>
  197. • <a rel="next"
  198. href="/david/2024/01/27/"
  199. title="Publication suivante : Jour&nbsp;1">Suivant →</a>
  200. </p>
  201. </nav>
  202. <form action="/david/recherche/" method="get">
  203. <fieldset>
  204. <legend>Recherche</legend>
  205. <label for="input-search">Termes de votre recherche :</label>
  206. <input id="input-search" type="search" name="s" aria-describedby="indexation-infos" required>
  207. <input type="submit" value="Chercher">
  208. <p id="indexation-infos">
  209. <small>
  210. Seuls les contenus de ces 8 dernières années sont indexés.
  211. </small>
  212. </p>
  213. </fieldset>
  214. </form>
  215. <aside>
  216. <theme-toggle></theme-toggle>
  217. </aside>
  218. </article>
  219. <hr>
  220. <footer>
  221. <p>
  222. <a href="/david/" title="Aller à l’accueil">Accueil</a>
  223. <a href="/david/log/" title="Accès au flux RSS">Suivre</a>
  224. <a href="http://larlet.com"
  225. title="Go to my English profile"
  226. data-instant>Pro</a>
  227. <a href="mailto:david%40larlet.fr" title="Envoyer un courriel">Email</a>
  228. <abbr title="Hébergeur : Alwaysdata, 62 rue Tiquetonne 75002 Paris, +33184162340">Légal</abbr>
  229. </p>
  230. <template id="theme-selector">
  231. <form>
  232. <style type="text/css">
  233. fieldset div {
  234. text-align: center;
  235. }
  236. </style>
  237. <fieldset>
  238. <legend>Thème</legend>
  239. <div>
  240. <label>
  241. <input type="radio" value="auto" name="chosen-color-scheme" checked>
  242. Auto
  243. </label>
  244. <label>
  245. <input type="radio" value="dark" name="chosen-color-scheme">
  246. Foncé
  247. </label>
  248. <label>
  249. <input type="radio" value="light" name="chosen-color-scheme">
  250. Clair
  251. </label>
  252. </div>
  253. </fieldset>
  254. </form>
  255. </template>
  256. </footer>
  257. <script src="/static/david/js/instantpage-5.1.0.min.js" type="module"></script>
  258. <script>
  259. class ThemeToggle extends HTMLElement {
  260. constructor() {
  261. super()
  262. const themeSelectorTemplate = document.querySelector('#theme-selector')
  263. const form = themeSelectorTemplate.content.firstElementChild
  264. this.attachShadow({ mode: 'open' })
  265. this.shadowRoot.appendChild(form.cloneNode(true))
  266. }
  267. connectedCallback() {
  268. const form = this.shadowRoot.querySelector('form')
  269. form.addEventListener('change', (e) => {
  270. const chosenColorScheme = e.target.value
  271. localStorage.setItem('theme', chosenColorScheme)
  272. toggleTheme(chosenColorScheme)
  273. })
  274. const selectedTheme = localStorage.getItem('theme')
  275. if (selectedTheme && selectedTheme !== 'undefined') {
  276. form.querySelector(`[value="${selectedTheme}"]`).checked = true
  277. }
  278. }
  279. }
  280. const prefersColorSchemeDark = '(prefers-color-scheme: dark)'
  281. window.addEventListener('load', () => {
  282. let colorsLayer = undefined
  283. let hasDarkRules = false
  284. for (const styleSheet of Array.from(document.styleSheets)) {
  285. let mediaRules = []
  286. for (const layerRule of styleSheet.cssRules) {
  287. if (!(layerRule instanceof CSSLayerBlockRule)) {
  288. continue
  289. }
  290. if (layerRule.name === 'colors') {
  291. colorsLayer = layerRule
  292. }
  293. for (const cssRule of layerRule.cssRules) {
  294. if (cssRule.type !== CSSRule.MEDIA_RULE) {
  295. continue
  296. }
  297. // WARNING: Safari does not have/supports `conditionText`.
  298. if (cssRule.conditionText) {
  299. if (cssRule.conditionText !== prefersColorSchemeDark) {
  300. continue
  301. }
  302. } else {
  303. if (cssRule.cssText.startsWith(prefersColorSchemeDark)) {
  304. continue
  305. }
  306. }
  307. mediaRules = mediaRules.concat(Array.from(cssRule.cssRules))
  308. }
  309. }
  310. // WARNING: do not try to insert a Rule to a styleSheet you are
  311. // currently iterating on, otherwise the browser will be stuck
  312. // in a infinite loop…
  313. for (const mediaRule of mediaRules) {
  314. // Safari requires the `0` second parameter (even if default).
  315. colorsLayer.insertRule(mediaRule.cssText, 0)
  316. hasDarkRules = true
  317. }
  318. }
  319. if (hasDarkRules) {
  320. if ('customElements' in window && !customElements.get('theme-toggle')) {
  321. customElements.define('theme-toggle', ThemeToggle)
  322. }
  323. }
  324. })
  325. </script>
  326. </body>
  327. </html>