Reprise du message précédent :

votre backlog, je vous le fais plus court sur les coté ? On peut aussi faire un joli dégradé vers l'arrière
 

  Et qu'est-ce qu'il y connait aux escaliers Rick Mandelbrot ?. Réponse : rien, il connait rien.
 
 

 
ah tiens j'avais vu ça dans une vidéo Youtube : c'est le même problème que le calcule de la longueur d'un littoral. Selon la résolution que tu prends, la longueur peut varier méchamment. Et ça peut finir que tu trouves que ton littoral est infiniement long
 

 
Je ne suis pas d'accord, ce n'est pas ce que prouve Taylor. Taylor prouve qu'on approxime n'importe quel courbe avec une erreur ~n(k+1) en faisant le développement à l'ordre k. Taylor nous dit que l'approximation à l'ordre 0 est moins bonne, pas qu'elle n'est pas valide ou légale.
 
 

 
D'accord, il dit juste qu'on peut pas tirer de conclusions avec les limites sans prouver avant qu'on a le droit. On en revient à ma question plus haut : est-ce que tu peux me prouver que le périmètre de l'approximation linéaire par parties tend vers le périmètre de la courbe ?

 
C’est une propriété des fractales en fait. En 2D la surface converge mais le périmètre diverge.

On est d'accord qu'un truc constant ne peut pas converger vers quoi que ce soit, ou pas ?

J'ai quelque chose du coup :
sur un petit segment (de longueur projetée sur x = dx), l'écart à la courbe est <= dx pour l'approximation en escalier, et <= dx^2 pour l'approximation linéaire (c'est ce que dit Taylor).

La différence sur le périmètre sera du même ordre (ça reste à prouver, mais pour une fonction sympas dérivable et tout ça doit se borner facilement), alors que la différence sur l'aire sera en dx^2 / dx^3 respectivement. Du coup, multiplié par le nombre de segments (1/dx), dans le premier cas ça donne O(1) pour la différence de périmètre. Tous les autres cas sont en O(dx) et +, donc ils convergent.

Non. Bien sûr qu'une constante converge.

par contre on sait qu'elle est strictement plus grande que pi

C'est pas la taille qui compte hein...

 
Te le prouver formellement je ne pense pas, mais si tu regardes la formule de la longueur d'un arc géométrique ça met sur la piste.
 
Un arc géométrique = une fonction f, dérivable, qui va de I (un intervalle de ℝ) dans ℝ. La longueur L de cet arc géométrique sur l'intervalle I est définie comme l'intégrale sur I de la norme de f'. C'est à dire comme L = ∫ ‖ f′(t) ‖ dt
 
Donc la longueur d'un arc c'est une intégrale (la limite d'une somme de Riemann) de longueurs de dérivée (la dérivée donnant la tangente en un point)... on est très proche de notre somme de segments

là si.

quelqu'un a une matrice qui retourne un axe.
 

Snake implémenté dans une URL

Débarquement proof, mais je découvre Workona, et je sais pas trop comment je me suis passé de ce truc avant
 
Le problème : chez G à peu près 100% des outils sont web (meme pour le code, on peut utiliser notre version de VSCode web), donc c'est ultra facile de se retrouver avec des millions de tabs ouverts.
 
La solution : workona permet de définir des workspace. Un workspace contient une collection de tabs. Workona drive les tabs à l'aide d'une extension chrome (2 techniquement, 1 pour supporter les tab groups).
Le truc cool : ouvrir un workspace :  
- sauve les tabs ouvert du workspace actuel (ou en crée un draft au passage si besoin)
- ferme tous les tabs du workspace courant, et ouvre les tabs du nouveau.
 
Raffinement : on peut associer des tabs "ressources" à un workspace (par ex pour un projet, j'ai mon code dans les tabs actifs, et les trucs genre data sources, page de doc, etc.. en ressources)
 
C'est un peu cher, mais c'est vraiment genial
 
 

Tu payes pour avoir des dossiers de bookmarks, donc?

c'est plus intelligent que ça :
- c'est multi-device (tu vas me dire, Chrome sync les dossiers de bookmarks)
- c'est dynamique : si t'as un workspace avec 3 tabs et que tu ouvres 7 tabs, ça va les sauver automatiquement à la volée dans ce workspace (les bookmarks font pas ça, et si tu dois bookmarker / enlever les bookmarks ça devient vite relou) ==> c'est la killer feature à mon avis
- ça ouvre / ferme automatiquement les tabs quand tu changes de workspace, c'est autonettoyant (à ma connaissance tu dois fermer tous les tabs à la main avec "close all other tabs" et ensuite clicker sur ton dossier de bookmark pour tout ouvrir. A ma connaissance également faire ça ne persiste pas tes tabs groups puisque tu peux pas bookmarker un groupe)
- tu peux manager tes tabs via le site workona, et c'est plus sympa que le bookmark manager de ton navigateur

Vu le temps que je vais gagner, ça va se rentabiliser très vite.

Ça ressemble beaucoup aux tab groups de safari vu d’ici. Sauf à la limite le manager web (je pense pas qu’iCloud ait cette feature, mais j’y vais rarement donc who knows)
 
Le truc majeur qui manque des tab groups de safari c’est le multi account container de Firefox.

   
 
Tu t'es pris pour koskoz ?
 

J'ai pouffé, mais franchement c'est du vol. Je trouve ça un peu gonflant tous les softs qui proposent un modèle d'abonnement pour les trucs les plus cons du monde. Le dernier en date que j'ai failli acheter, c'est un truc pour avoir l'historique de mon clipboard. Déjà, pourquoi l'OS ne le propose pas ? mais après franchement payer tous les ans pour ça... Au final j'ai payé quand même, mais pour une autre truc, en une fois...

Quel OS? Car c'est soit inclus, soit libre un gestionnaire de presse-papier.

Le polygone régulier inscrit dans un cercle de rayon ρ a pour périmètre P = 2nρ sin(Pi/n) où n est le nombre de cotés (ça se démontre géométriquement)
Pour tout n, P < 2Piρ puisque sin(Pi/n) < Pi/n (car sin x < x sur [0, Pi/2[ )

Le polygone régulier circonscrit autour d'un cercle de rayon ρ a pour périmètre P' = 2nρ tan(Pi/n) où n est le nombre de cotés
Pour tout n, P' > 2Piρ puisque tan(Pi/n) > Pi/n (car tan x > x sur [0,Pi/2[ )

Donc on a borné le cercle par ces 2 périmètres.

Maintenant, puisque sin(x) ~ x quand x -> 0, le périmètre P tend vers 2Piρ quand n tend vers l'infini, et l'aire vers Piρ^2
De la même manière, puisque tan(x) ~ x quand x -> 0, le périmètre P' tend vers 2Piρ quand n tend vers l'infini, et l'aire vers Piρ^2

Il reste à démontrer que c'est impossible de faire le même raisonnement avec les demi-carrés, et c'est facile parce qu'on démontre facilement que le périmètre est constant et égal à 4 pour la géométrie circonscrite au cercle unité et un autre nombre constant pour la géométrie inscrite (2 x racine de 2 ?).

 
+1
 

Sur MacOS.

Maccy ça allait pas ?

C'est ce que j'ai pris. Ils ont une version payante sur le store.

Quel OS a un historique de clipboard inclus de base?

C'est ce que j'ai pris. Ils ont une version payante sur le store. J'ai rien contre le fait de payer, c'est le modèle par abonnement que je trouve difficile à justifier sur ce genre de trucs.

emacs

Sans doute. Mais je peux pas utiliser Safari donc

windows? touche win+v?

 
clipy
 
   
 
ça correspondraitait pas à ton besoin ?
 
Edit: par contre par rapport à maccy, il n'y a pas de search.

Mon premier besoin, c'est que je veux pas faire une étude de marché pour savoir quoi installer... Ça fait deux ans que je fais sans parce que l'ancien marche plus et que j'ai la flemme d'en trouver un nouveau.

À la base je voulais juste dire que je trouvais ça abusé de faire payer un abonnement pour ça, c'est le premier sur lequel je suis tombé ça s'appelle Paste. https://pasteapp.io/help j'arrive même pas à voir le prix sur leur site d'escrocs...

J'ai corrigé ma démonstration, mais l'argument était correct

Paste, sold only through Apple's App Stores, relies on a single unified subscription that covers all your iOS, iPadOS, and macOS devices: $1.99 per month or $14.99 per year for an individual. A $19.99 annual family subscription extends unlimited use to your Family Sharing group.

Til, je connoissais pas. Pourquoi c'est planqué à ce point alors qu'il vont te foutre la météo dans la barre par défaut ces cons?

 
La page de FAQ dédiée au pricing est une 404 i kid you not https://pasteapp.io/help/pricing-66

https://dev.to/hr21don/10-open-sour [...] -2023-19c7
 

 
Bah clipy est free au moins.

Nul cet article, il a oublié de mentionner Linux, c'est super, c'est un OS, un peu comme windows, et ça tourne vite ! Et Emacs, c'est un éditeur de texte mais bien mieux que notepad, hein. Y'a même un chatbot dedans, ça s'appelle Eliza ! Trop bien.

Linux sera ready pour le desktop en 2023.

 
Mais on est en 2024 !