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

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453
  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. <script>
  16. function toggleTheme(themeName) {
  17. document.documentElement.classList.toggle(
  18. 'forced-dark',
  19. themeName === 'dark'
  20. )
  21. document.documentElement.classList.toggle(
  22. 'forced-light',
  23. themeName === 'light'
  24. )
  25. }
  26. const selectedTheme = localStorage.getItem('theme')
  27. if (selectedTheme !== 'undefined') {
  28. toggleTheme(selectedTheme)
  29. }
  30. </script>
  31. <!-- Documented, feel free to shoot an email. -->
  32. <link rel="stylesheet" href="/static/david/css/style_2024-03-09.css">
  33. <!-- See https://www.zachleat.com/web/comprehensive-webfonts/ for the trade-off. -->
  34. <link rel="preload"
  35. href="/static/david/css/fonts/century_supra_ot_a_regular.woff2"
  36. as="font"
  37. type="font/woff2"
  38. media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)"
  39. crossorigin>
  40. <link rel="preload"
  41. href="/static/david/css/fonts/century_supra_ot_a_bold.woff2"
  42. as="font"
  43. type="font/woff2"
  44. media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)"
  45. crossorigin>
  46. <link rel="preload"
  47. href="/static/david/css/fonts/century_supra_ot_a_italic.woff2"
  48. as="font"
  49. type="font/woff2"
  50. media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)"
  51. crossorigin>
  52. <link rel="preload"
  53. href="/static/david/css/fonts/century_supra_ot_b_regular.woff2"
  54. as="font"
  55. type="font/woff2"
  56. media="(prefers-color-scheme: dark)"
  57. crossorigin>
  58. <link rel="preload"
  59. href="/static/david/css/fonts/century_supra_ot_b_bold.woff2"
  60. as="font"
  61. type="font/woff2"
  62. media="(prefers-color-scheme: dark)"
  63. crossorigin>
  64. <link rel="preload"
  65. href="/static/david/css/fonts/century_supra_ot_b_italic.woff2"
  66. as="font"
  67. type="font/woff2"
  68. media="(prefers-color-scheme: dark)"
  69. crossorigin>
  70. <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.">
  71. <!-- That good ol' feed, subscribe :). -->
  72. <link rel="alternate"
  73. type="application/atom+xml"
  74. title="Feed"
  75. href="/david/log/">
  76. <!-- Generated from https://realfavicongenerator.net/ such a mess. -->
  77. <link rel="apple-touch-icon"
  78. sizes="180x180"
  79. href="/static/david/icons2/apple-touch-icon.png">
  80. <link rel="icon"
  81. type="image/png"
  82. sizes="32x32"
  83. href="/static/david/icons2/favicon-32x32.png">
  84. <link rel="icon"
  85. type="image/png"
  86. sizes="16x16"
  87. href="/static/david/icons2/favicon-16x16.png">
  88. <link rel="manifest" href="/static/david/icons2/site.webmanifest">
  89. <link rel="mask-icon"
  90. href="/static/david/icons2/safari-pinned-tab.svg"
  91. color="#07486c">
  92. <link rel="shortcut icon" href="/static/david/icons2/favicon.ico">
  93. <meta name="msapplication-TileColor" content="#f7f7f7">
  94. <meta name="msapplication-config"
  95. content="/static/david/icons2/browserconfig.xml">
  96. <meta name="theme-color"
  97. content="#f7f7f7"
  98. media="(prefers-color-scheme: light)">
  99. <meta name="theme-color"
  100. content="#272727"
  101. media="(prefers-color-scheme: dark)">
  102. <!-- Is that even respected? Retrospectively? What a shAItshow…
  103. https://neil-clarke.com/block-the-bots-that-feed-ai-models-by-scraping-your-website/ -->
  104. <meta name="robots" content="noai, noimageai">
  105. <style type="text/css">
  106. .tippy-content {
  107. min-width: 280px;
  108. padding: .5rem;
  109. font-size: calc(var(--fluid-0) * 0.8);
  110. font-family: var(--labor-font);
  111. letter-spacing: initial;
  112. text-align: left;
  113. }
  114. .tippy-content h3 {
  115. margin-top: 0;
  116. }
  117. .tippy-content h3 img {
  118. max-width: 2rem;
  119. max-height: 2rem;
  120. display: inline-block;
  121. }
  122. .tippy-content .tippy-links {
  123. display: flex;
  124. justify-content: space-around;
  125. }
  126. .tippy-content a {
  127. padding: .4rem;
  128. color: #F06048;
  129. }
  130. </style>
  131. <body data-instant-intensity="viewport-all">
  132. <article>
  133. <header>
  134. <hgroup>
  135. <h1>Cargo</h1>
  136. <p>Le <time datetime="2024-01-26">26 janvier 2024</time></p>
  137. </hgroup>
  138. </header>
  139. <nav>
  140. <p>
  141. <a rel="prev"
  142. href="/david/2024/01/25/"
  143. title="Publication précédente : Stratégie">← Précédent</a> •
  144. <a href="/david/" title="Aller à l’accueil" rel="up">Accueil</a>
  145. <a href="/david/recherche/"
  146. title="Aller à la page de recherche"
  147. rel="search" data-no-instant>Recherche</a>
  148. • <a rel="next"
  149. href="/david/2024/01/27/"
  150. title="Publication suivante : Jour&nbsp;1">Suivant →</a>
  151. </p>
  152. </nav>
  153. <blockquote lang="en">
  154. <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>
  155. <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>
  156. <p><cite><em><a data-link-domain="blog.glyph.im" href="https://blog.glyph.im/2024/01/unsigned-commits.html" hreflang="en"
  157. title="Consultation de l’article (anglais)">Unsigned Commits</a>
  158. <a href="/david/cache/2024/ce5fdc61fd66cdb9ce548fb543eba986/" hreflang="en"
  159. data-tippy data-description="Deciphering Glyph, the blog of Glyph Lefkowitz."
  160. data-source="https://blog.glyph.im/2024/01/unsigned-commits.html"
  161. data-date="2024-01-25"
  162. data-favicon="https://blog.glyph.im/images/favicon.ico"
  163. data-domain="blog.glyph.im"
  164. ><svg xmlns="http://www.w3.org/2000/svg"
  165. width="24" height="24" viewBox="0 0 24 24" fill="none"
  166. stroke="currentColor" stroke-width="2" stroke-linecap="square"
  167. stroke-linejoin="round"><circle cx="12" cy="12" r="10"></circle>
  168. <path d="M9.09 9a3 3 0 0 1 5.83 1c0 2-3 3-3 3"></path>
  169. <line x1="12" y1="17" x2="12.01" y2="17"></line>
  170. </svg>
  171. <span class="sr-only">[archive]</span></a></em></cite></p>
  172. </blockquote>
  173. <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>
  174. <p>Entre <em>refus de parvenir</em> et auto-défense&nbsp;numérique.</p>
  175. <a href="#hr-50" title="Lien vers cette section de la page"><hr id="hr-50" /></a>
  176. <blockquote>
  177. <p>Cette lutte ne créera pas un mouvement de masse…<br />
  178. Mais elle est un ingrédient, parmi de nombreuses autres luttes territoriales, qui toutes façonnent ces mêmes possibilités affectives…<br />
  179. Se sentir coïncider non pas avec soi-même mais avec un milieu de vie…<br />
  180. Se sentir maillé à un vaste collectif d’humains et de non-humains…<br />
  181. Des affects, qui constituent la nécessaire force motrice du mouvement que nous espérons voir&nbsp;croître.</p>
  182. <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>
  183. </blockquote>
  184. <p>La justesse d’Alessandro Pignocchi et les couleurs de ses&nbsp;aquarelles&nbsp;💚.</p>
  185. <a href="#hr-51" title="Lien vers cette section de la page"><hr id="hr-51" /></a>
  186. <blockquote lang="en">
  187. <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>
  188. <p><cite><em><a data-link-domain="willcrichton.net" href="https://willcrichton.net/notes/portable-epubs/" hreflang="en"
  189. title="Consultation de l’article (anglais)">Portable EPUBs</a>
  190. <a href="/david/cache/2024/ffaf50bf5d5e4cf870a618b518ee5ba7/" hreflang="en"
  191. data-tippy data-description="A proposal for the next generation of portable documents."
  192. data-source="https://willcrichton.net/notes/portable-epubs/"
  193. data-date="2024-01-25"
  194. data-favicon=""
  195. data-domain="willcrichton.net"
  196. ><svg xmlns="http://www.w3.org/2000/svg"
  197. width="24" height="24" viewBox="0 0 24 24" fill="none"
  198. stroke="currentColor" stroke-width="2" stroke-linecap="square"
  199. stroke-linejoin="round"><circle cx="12" cy="12" r="10"></circle>
  200. <path d="M9.09 9a3 3 0 0 1 5.83 1c0 2-3 3-3 3"></path>
  201. <line x1="12" y1="17" x2="12.01" y2="17"></line>
  202. </svg>
  203. <span class="sr-only">[archive]</span></a></em></cite></p>
  204. </blockquote>
  205. <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>
  206. <p>Un simple individu peut-il faire bouger des choses dans le&nbsp;domaine&#8239;?</p>
  207. <a href="#hr-52" title="Lien vers cette section de la page"><hr id="hr-52" /></a>
  208. <blockquote>
  209. <p>Les sites et outils numériques que je&nbsp;propose</p>
  210. <p><cite><em><a data-link-domain="eyssette.github.io" href="https://eyssette.github.io/">Cédric&nbsp;Eyssette</a></em></cite></p>
  211. </blockquote>
  212. <p>Beaucoup de belles et frugales choses (autour de markdown) à explorer sur cet&nbsp;espace.</p>
  213. <nav>
  214. <p>
  215. <a href="/david/2024/gratitude/"
  216. title="Liste de tous les articles 2024 associés à cette étiquette"
  217. rel="tag">#gratitude</a>
  218. <a href="/david/2024/partage/"
  219. title="Liste de tous les articles 2024 associés à cette étiquette"
  220. rel="tag">#partage</a>
  221. <a href="/david/2024/psychologie/"
  222. title="Liste de tous les articles 2024 associés à cette étiquette"
  223. rel="tag">#psychologie</a>
  224. <a href="/david/2024/#tags" title="Liste de toutes les étiquettes 2024">tous ?</a>
  225. </p>
  226. </nav>
  227. <nav>
  228. <p>
  229. <a rel="prev"
  230. href="/david/2024/01/25/"
  231. title="Publication précédente : Stratégie">← Précédent</a> •
  232. <a href="/david/2024/" title="Liste des publications récentes">↑ En 2024</a>
  233. • <a rel="next"
  234. href="/david/2024/01/27/"
  235. title="Publication suivante : Jour&nbsp;1">Suivant →</a>
  236. </p>
  237. </nav>
  238. <form action="/david/recherche/" method="get">
  239. <fieldset>
  240. <legend>Recherche</legend>
  241. <label for="input-search">Termes de votre recherche :</label>
  242. <input id="input-search" type="search" name="s" aria-describedby="indexation-infos" required>
  243. <input type="submit" value="Chercher">
  244. <p id="indexation-infos">
  245. <small>
  246. Seuls les contenus de ces 8 dernières années sont indexés.
  247. </small>
  248. </p>
  249. </fieldset>
  250. </form>
  251. <aside>
  252. <theme-toggle></theme-toggle>
  253. </aside>
  254. </article>
  255. <hr>
  256. <footer>
  257. <p>
  258. <a href="/david/" title="Aller à l’accueil">Accueil</a>
  259. <a href="/david/log/" title="Accès au flux RSS">Suivre</a>
  260. <a href="http://larlet.com"
  261. title="Go to my English profile"
  262. data-instant>Pro</a>
  263. <a href="mailto:david%40larlet.fr" title="Envoyer un courriel">Email</a>
  264. <abbr title="Hébergeur : Alwaysdata, 62 rue Tiquetonne 75002 Paris, +33184162340">Légal</abbr>
  265. </p>
  266. <template id="theme-selector">
  267. <form>
  268. <style type="text/css">
  269. fieldset div {
  270. text-align: center;
  271. }
  272. </style>
  273. <fieldset>
  274. <legend>Thème</legend>
  275. <div>
  276. <label>
  277. <input type="radio" value="auto" name="chosen-color-scheme" checked>
  278. Auto
  279. </label>
  280. <label>
  281. <input type="radio" value="dark" name="chosen-color-scheme">
  282. Foncé
  283. </label>
  284. <label>
  285. <input type="radio" value="light" name="chosen-color-scheme">
  286. Clair
  287. </label>
  288. </div>
  289. </fieldset>
  290. </form>
  291. </template>
  292. </footer>
  293. <script src="/static/david/js/instantpage-5.1.0.min.js" type="module"></script>
  294. <script>
  295. class ThemeToggle extends HTMLElement {
  296. constructor() {
  297. super()
  298. const themeSelectorTemplate = document.querySelector('#theme-selector')
  299. const form = themeSelectorTemplate.content.firstElementChild
  300. this.attachShadow({ mode: 'open' })
  301. this.shadowRoot.appendChild(form.cloneNode(true))
  302. }
  303. connectedCallback() {
  304. const form = this.shadowRoot.querySelector('form')
  305. form.addEventListener('change', (e) => {
  306. const chosenColorScheme = e.target.value
  307. localStorage.setItem('theme', chosenColorScheme)
  308. toggleTheme(chosenColorScheme)
  309. })
  310. const selectedTheme = localStorage.getItem('theme')
  311. if (selectedTheme && selectedTheme !== 'undefined') {
  312. form.querySelector(`[value="${selectedTheme}"]`).checked = true
  313. }
  314. }
  315. }
  316. const prefersColorSchemeDark = '(prefers-color-scheme: dark)'
  317. window.addEventListener('load', () => {
  318. let colorsLayer = undefined
  319. let hasDarkRules = false
  320. for (const styleSheet of Array.from(document.styleSheets)) {
  321. let mediaRules = []
  322. for (const layerRule of styleSheet.cssRules) {
  323. if (!(layerRule instanceof CSSLayerBlockRule)) {
  324. continue
  325. }
  326. if (layerRule.name === 'colors') {
  327. colorsLayer = layerRule
  328. }
  329. for (const cssRule of layerRule.cssRules) {
  330. if (cssRule.type !== CSSRule.MEDIA_RULE) {
  331. continue
  332. }
  333. // WARNING: Safari does not have/supports `conditionText`.
  334. if (cssRule.conditionText) {
  335. if (cssRule.conditionText !== prefersColorSchemeDark) {
  336. continue
  337. }
  338. } else {
  339. if (cssRule.cssText.startsWith(prefersColorSchemeDark)) {
  340. continue
  341. }
  342. }
  343. mediaRules = mediaRules.concat(Array.from(cssRule.cssRules))
  344. }
  345. }
  346. // WARNING: do not try to insert a Rule to a styleSheet you are
  347. // currently iterating on, otherwise the browser will be stuck
  348. // in a infinite loop…
  349. for (const mediaRule of mediaRules) {
  350. // Safari requires the `0` second parameter (even if default).
  351. colorsLayer.insertRule(mediaRule.cssText, 0)
  352. hasDarkRules = true
  353. }
  354. }
  355. if (hasDarkRules) {
  356. if ('customElements' in window && !customElements.get('theme-toggle')) {
  357. customElements.define('theme-toggle', ThemeToggle)
  358. }
  359. }
  360. })
  361. </script>
  362. <script src="/static/david/js/popper-2.11.8.min.js"></script>
  363. <script src="/static/david/js/tippy-bundle-6.3.7.umd.min.js"></script>
  364. <script>
  365. tippy('[data-tippy]', {
  366. content(reference) {
  367. reference.addEventListener('click', (e) => e.preventDefault())
  368. return `
  369. <h3 lang="fr">
  370. <img src="${reference.dataset.favicon}" loading="lazy">
  371. <a href="${reference.dataset.source}"
  372. >Article sur ${reference.dataset.domain}</a></h3>
  373. <p lang="${reference.hreflang}"><em>${reference.dataset.description}</em></p>
  374. <div class="tippy-links" lang="fr">
  375. <a href="${reference.href}">Archive au ${reference.dataset.date}</a>
  376. </div>
  377. `
  378. },
  379. allowHTML: true,
  380. interactive: true,
  381. delay: [150, 700],
  382. hideOnClick: false
  383. })
  384. </script>
  385. <script type="module">
  386. import { annotate } from '/static/david/js/rough-notation-0.5.1.esm.min.js'
  387. const observer = new IntersectionObserver(elements => {
  388. const computedStyle = getComputedStyle(document.documentElement)
  389. const markBackground = computedStyle.getPropertyValue('--mark-background')
  390. for (const element of elements) {
  391. if (element.intersectionRatio === 0) continue
  392. const markElement = element.target
  393. if (markElement.dataset.annotated) continue
  394. const annotation = annotate(
  395. markElement, {
  396. type: 'highlight',
  397. multiline: true,
  398. color: markBackground,
  399. animate: !window.matchMedia('(prefers-reduced-motion: reduce)').matches
  400. }
  401. )
  402. annotation.show()
  403. // Avoid the rough notation to be applied multiple times.
  404. markElement.dataset.annotated = true
  405. }
  406. }, {threshold: 1.0})
  407. for (const markElement of document.querySelectorAll('mark')) {
  408. markElement.style.backgroundColor = 'inherit'
  409. observer.observe(markElement)
  410. }
  411. </script>
  412. </body>
  413. </html>