Reprise du message précédent :
#balancetaconneinculte
https://twitter.com/nassima_achouri [...] 1756562433

select distinct, non ?

 
"Suivie par @jawadbendaoud96 La classe !"

 
En même temps tu prends une random sur Twitter, c'est facile Mais j'avoue qu'il y a du level

quand je lis l'ensemble de son oeuvre, j'en arrive à me demander si c'est pas un fake

Probablement pas.

Ouais mais le problème change au fur et à mesure et je met pas à jour en permanence

Je peux la poster directement ici en fait. Actuellement j'en suis à:

SELECT 
  min(pr.priority) AS priority,
  array_agg(pr.id) AS batch
FROM pull_request pr
GROUP BY pr.label 
HAVING every(pr.state = 'ready')
   AND every(pr.target = %s)
ORDER BY min(pr.priority), min(pr.id)

Je peux même expliquer la problématique: http://bors.tech mais pas en elixir (vu qu'on a personne qui en fait à kang0lcorp) et qui sache faire du multirepo (on peut avoir des PRs co-dépendantes sur n repos, et elles doivent être testées & mergées ensemble, genre changement d'une API dans repo1 et changement de son utilisation dans repo2) et du staging/branch concurrent (plusieurs branches de travail/maintenance indépendantes et il devrait être possible de stager sur toutes de manière concurrente).

Label c'est $owner:$sourcebranch (pour l'instant la logique c'est que des PRs avec le même label dans des repos différents sont codépendantes), priority est un chiffre et plus c'est bas plus c'est prioritaire, target c'est la branche de destination.

pg

 
 
J'me suis posé la même question hier.

Oui carrément. Le décalage entre l'orthographe, la syntaxe et le contenu des tweet, ça fait pas crédible

Les tweets en réponse sont pas vraiment d'un meilleur niveau ceci étant  

donc tu veux tous les pr.id des pull request avec la priorité la plus faible parmi toutes celles qui ont le même label ?

SELECT 
  MIN(pr.priority) AS priority /*normalement ici MIN(priority) = max(priority), vu qu'on est sur LA priorité la plus faible, mais il faut faire une aggregation sinon pg couine*/,
  array_agg(pr.id) AS batch
FROM pull_request pr
WHERE  pr.state = 'ready'
   AND pr.target = %s
  AND NOT EXISTS (SELECT 1 FROM pull_request lower_priority_pr  WHERE lower_priority_pr.label = pr.label AND lower_priority_pr.priority < pr.priority ) 
GROUP BY pr.label

en vrai si tu n'as pas de millions de lignes, le having/order/limit aura les mêmes perfs

SELECT 
  MIN(pr.priority) AS priority /*normalement ici MIN(priority) = max(priority), vu qu'on est sur LA priorité la plus faible, mais il faut faire une aggregation sinon pg couine*/,
  array_agg(pr.id) AS batch
FROM pull_request pr
WHERE  pr.state = 'ready'
   AND pr.target = %s
  AND NOT EXISTS (SELECT 1 FROM pull_request lower_priority_pr  WHERE lower_priority_pr.label = pr.label AND lower_priority_pr.priority < pr.priority ) 
GROUP BY pr.label

Sauf que là si on a {label: 'a', state: 'failed'} et {label: 'a', state: 'success'} le where va enlever la première et créer une sélection incorrecte avec juste la seconde non? Idem si les PRs ont des priorités différentes (parce qu'on s'est pas emmerdé à configurer les deux).

J'vais quand même remonter le target dans le where, mais vu que le repo avec le plus de PRs que je connaisse en a pas 25k (rust-lang/rust) il y a probablement pas besoin de trop se casser la tête tant que je ramène pas tout en mémoire pour le processer en python

Oui effectivement. Un fake grossier.

Mais non, mais non, SQL c'est un langage déclaratif, y'a pas d'avant et d'après, le query-planner sait faire une alpha-substitution  

pour le 1/

SELECT 
  MIN(pr.priority) AS priority /*normalement ici MIN(priority) = max(priority), vu qu'on est sur LA priorité la plus faible, mais il faut faire une aggregation sinon pg couine*/,
  array_agg(pr.id) AS batch
FROM pull_request pr
WHERE  pr.state = 'ready'
   AND pr.target = %s
  AND NOT EXISTS (SELECT 1 FROM pull_request lower_priority_pr  WHERE lower_priority_pr.label = pr.label AND lower_priority_pr.state = 'ready' /*pour ne filtrer que sur celle avec le bon state*/ lower_priority_pr.priority < pr.priority ) 
GROUP BY pr.label

pour le 2/
ca n'utilisera que les lignes qui n'ont pas de lignes avec une priority inférieur, donc ta question est invalide

voilà

Tiens nray toi qui regardes les datasheets et te renseignes sur le hw, il y a une grosse différence de prix entre les leds rouges et bleues? Pourquoi tout le hardware moderne utilise des putain de leds bleue super brillantes au lieu des bonnes vieilles led rouges qui étaient visibles mais pas éclairantes (genre si tu regardais pas dans leur direction tu les voyais pas)?

non, c'est vraiment la mode. les bleues sont plus chères.

Mais quelle bande de trous du cul, moi qui pensais qu'il y avait au moins une excuse bassement matérialiste

y'a beaucoup de monde qui se plaint, ça nique les yeux.

Complètement, et c'est ultra chiant la nuit, ça illumine les pièces, ça flingue ta vision nocturne, et c'est super désagréable quand on a du mal à dormir.

Bon ben le compte fake Nabila a été fermé.
Pour une fois Twitter a réagi dans des temps raisonnables.

quelqu'un a une apple watch pour faire du sport ? est-ce que vous arrivez à manipuler la montre avec des gants ou les mains pleines de sueur ?

 
j'ai étudié la question, et j'ai toujours du mal à voir la plus-value d'une Apple Watch par rapport à ce que fait Garmin (Phenix, ou Vivoactive 3) :  
- une Apple watch tu dois la charger tous les soirs en gros (ma vivoactive tient 5-6 jours sans charge)
- les apps sont limitées, et les trucs différenciants sont assez gimmick (avec des phrases chocs) : par ex, téléphoner en parlant à ton poignet, c'est juste super relou pour les gens autour. Tu peux lire tes SMS mais répondre est super merdique. OK tu peux avoir spotify, mais de toute façon ton téléphone sera jamais très loin (à part pour courir où ça peut etre cool). Je comprends pas vraiment l'intéret des notifications au poignet, parce que 1/ mon téléphone est pas loin 2/ je désactive les notifications pour les mails puisque ça me sert à rien de savoir que je reçois des mails en permanence 3/ je trouve pas ça discret (quand je vois mes collègues avec les notifications de meeting / mails qui popent, tu sais tout de leur vie)
- Garmin a des super accessoires de sport : ceintures pour le rythme cardiaque (y compris une si tu fais du triathlon), truc pour les vélos, etc...

 
Bordel oui. J'ai un ventilo (pour avoir moins chaud en été, pas un pour pc) qui a un mode super silencieux, et dans ce mode ils ont eu l'idée géniale d'allumer un énorme logo bleu pétant 'Silent Mode'. Du coup il fait jour.

 
Chatterton, chatterton everywhere.

+1 j'ai fait ça dans ma piaule, sur toute les diodes de merde
 
Pour mon PC en veille (diode bleue qui clignote) = débranchement de la diode power et zou

Bah pareil mais c'est marre cette lubie, et ça fait dégueu des bouts de chatterton sur tous les trucs électroniques où tu peux pas débrancher la diode. Surtout que les diodes indicatrices ça peut être pratique.

Moi c'est pour faire mes photos de nuits avec mon télescope que ça pose problème toutes les LED, il y en a de partout
Ordi, modem, switch, toutes les alims, caméra ip, arduino, appareil photo, mise au point, monture...
Du coup j'ai peints des dizaines de led en noir  

Tu as trouvé
Dans la tête de tous les marketteux du monde, les LEDs AlGaInP c'est "années 80" pour les rouges, "années 70" pour les vertes et les jaunes
Alors quand les bleues ont été dispo en volume tout le monde s'est jeté dessus pour se démarquer : toujours dans leur tête, si tu mets en rayon un produit à LEDs rouges à côté d'un à LEDs bleues, celui en bleu fait tout de suite moderne/futuriste tu vois
Et pourquoi pétante ? Parceque sinon tu la vois pas (là j'ai sous les yeux mon boîtier Silverstone avec une petite LED bleue enfoncée dans la façade noire qui montre l'état de l'alim et du HDD quand elle s'allume un peu plus fort, bah c'est invisible de jour)
Bon maintenant que tout le monde est passé au bleu, c'est le blanc qui tire son épingle du jeu
Pourtant depuis une dizaine d'années les fournisseurs font des couleurs sympas (j'ai vu du rose, framboise, mauve... et un vert profond vraiment chouette) mais c'est plus cher car moins vendues et ça reste une LED bleue avec un phosphore (comme les blanches d'ailleurs)
 
Le même principe s'applique aux digits qui font, je cite, "radio-réveil de papy" et qui ont été remplacés par des LCD dont le backlight peut servir de lampe frontale
Bon là c'est les petits écrans OLED mono- ou bi-colore qui déferlent

 
Tout dépend de ton usage tout simplement.  
Si c'est pour faire du sport, effectivement, tu seras surement mieux avec une Garmin.
 
Mais perso je les trouve horrible et je fais pas de sport. J'ai eu deux Apple Watch que j'ai à chaque fois revendu au bout de quelques mois.
J'aime bien l'objet, pratique dans beaucoup de cas mais pas de killer feature. Sauf de courir avec sa musique sans avoir besoin du téléphone. Mais je cours jamais.
Ensuite, il n'y a pas spotify dessus mais seulement l'application musique de base (et deezer je crois).
 
Et après je suis comme toi, j'ai toujours mon téléphone à côté. Mais certain de mes potes/collègues l'adore. Ils font tout avec et pour eux c'est un gros gain de temps et praticité.

'tin sur les Define R6 on peut sortir le filtre inférieur (entrée d'air alim') par l'avant, ça me donne envie de remplacer mon boitier, c'est l'un des trucs les plus chiants de la R4

Par contre essayer de maintenir une pression d'air positive me semble encore plus merdique, ils ont encore ajouté des trous

Sinon on peut les atténuer avec une couche de vernis à ongle. Mais les bleues brillent vraiment fort.

TIL le FD R4 a un filtre près de l'alim
je vais nettoyer ce soir, ça risque de pas être beau à voir, depuis 3 ans que j'ai ce boitier

Comment t'as fait pour pas le voir quand t'as monté ta machine?

Il est chiant parce-qu'il faut le sortir par l'arrière de la machine donc si t'as un mur derrière c'est ultra pas pratique. Et il a plein de petits picots qui coincent aussi.

Et il empoussière moins que celui de devant, vu qu'il a pas deux gros ventilos derrière (mais bon il y a quand même le ventilo d'alim qui tire à travers)

Ok, merci. J’ai maté des revues aussi et ça a pas l’air top.
 
Ça me fait chier ma montre garmin c’est de la merde toute bugee

T'as quoi ?

Forerunner 235

Quoi comme bugs ? J'ai eu plusieurs polar et à part la dernière qui a déconné sévère avec le ceinture abdominale après un an, j'étais content des autres.

 
A une époque je faisais avec de la patafix, ça marchait niquel.

des reboots intempestifs, des fixs qui prennent 3 plombes, des lenteurs quand je change d'écran, le bouton start qui est mal placé et s'accroche tout le temps dans le sac à dos, impossible de mettre à jour certaines app, des fois elle perd le bluetooth et il faut bidouiller partout pour essayer de le remettre (généralement en sortant de l'avion)

 
Regarde la vivoactive 3 : fait 90% de ce que fait la Fenix, et pas trop chère