Sloonz

Ça c’est ChatGPT en général, qui te permet ensuite (à la création d’une nouvelle conversation), de choisir le modèle sous-jacent (GPT 3, GPT 3.5 ou GPT 4). Si tu n’as pas explicitement choisi GPT-4 dans le menu déroulant du choix du modèle, c’est GPT-3.5 (et je confirme que mon compte perso sans abonnement n’a pas accès au menu déroulant, donc à GPT 4, seul mon compte pro avec abonnement y a accès)

J’arrive toujours, de manière très décevante, à le faire planter assez facilement sur des questions de maths vraiment simples mais très peu (voire pas ?) connues (dont je ne parlerai pas publiquement pour la raison évidente que j’aimerai tester les évolutions suivantes sur ces même questions). Par contre sur le code je suis bluffé. Je bosse en ce moment un peu sur des plugins pour ejabberd et converse.js (qui bien que publics et open-source restent des projets de niche, dans un language de niche pour ejabberd), et il arrive quasiment par lui-même à implémenter des plugins pour des XEP manquantes juste avec un prompt pas spécialement travaillé (Please create a converse.js plugin implementing XEP-0425). Le résultat n’est pas parfait, il commet quelques erreurs (parfois dans les détails, parfois dans la structure), mais généralement sur son premier essai il utilise mieux que moi les API internes du projet (n’ayant de mon côté que quelques jours d’exploration du code de ces projets), ce qui me permet de gagner des heures d’exploration. S’il est possible de fine-tuner GPT-4 sur des projets internes, non-publics, pour qu’il apprenne la structure de ces projets aussi bien qu’il a appris la structure de ces projets publics, ça promet une vraie révolution dans le domaine de la programmation.

Dans la catégorie "bizzareries de GPT-3 et chat-GPT" Plus de détails et explications ici : https://www.lesswrong.com/posts/aPeJE8bSo6rAFoLqg/solidgoldmagikarp-plus-prompt-generation

Intuitivement (mais j'ai pas vérifié si ça menait quelque part) j’essaierai plutôt d’étudier la suite e_i = g(x_i) en présupposant que les x_i sont ordonnés (x_i < x_(i+1)), en particulier le signe de e_(i+1) - e_i.

Tu te prends la tête pour rien. Quel que soit P, si Q est vrai alors P => Q est toujours vrai, et comme tu l'as remarqué par réflexivité si x=y alors xRy est vrai. Tu peux donc dire 1=2 => xRy si ça te chante, et ici ce qui te chante c'est xSy => xRy

Tu es sur la bonne piste, tu dois utiliser le fait que la relation d'ordre soit totale, donc que (xRy ou yRx) et que yRx est "impossible" parce que xSy (si x≠y). La seule "difficulté" étant que tu dois gérer le cas de x=y où tu peux avoir effectivement xRy ET yRx. Sépare la démonstration en deux cas, x=y et x≠y (où tu peux alors dire que xRy et yRx sont exclusifs, idem pour S).

"Lutte contre les bassines" ? On peut m’expliquer ?

Je n’utilise pas Tapatalk mais l'API Tapatalk, pour recevoir les posts sur ma boite mail.

Ou ne plus sortir dans la rue.

Ce qu’ils disent n’a aucun sens. "L’essence est trop chère donc il faut bloquer tous les projets pétroliers".

Lié = "déclaré" par un quantifieur existentiel / universel. Dans ∀x R(x,y) x est lié et y est libre.

Finalement je crois que je préférais quand le terme libéral était une marque de la honte dont personne n’aimait se réclamer…

https://heeris.id.au/2013/this-is-why-you-shouldnt-interrupt-a-programmer/

Je suis le seul à lire un premier tir d'essai pour la vaccination obligatoire puis le passe sanitaire pour la grippe saisonnière là dedans ? Ou je sur-réagis ?

La fonction qu’ils sont supposés remplir (sécurité des biens et personnes) est un des piliers de toute société libre (et même toute société tout court). Et j’ai l’impression que beaucoup de trop de critiques des flics ciblent la fonction elle-même.

Si c’était ça que faisaient réellement les philosophes, il y aurait beaucoup moins de personnes qui considèrent la philosophie comme inutile.

Le vrai sens de ma question c’est plus "pourquoi les gens s’entêtent à utiliser ce concept qui ne correspond à rien".

Et du coup c'est quoi la signification du brut si ce n’est ni ce que l'employé gagne ni ce que l'entreprise dépense ?

Un seul candidat en a fait un sujet de campagne suffisament important pour le mettre sur sa profession de foi, NDA. La réalité c’est qu’aujourd’hui tout le monde s’en fout, et c’est ce que je constate autour de moi : même ceux qui étaient hyper remonté contre la covidémence il y a deux mois ont complètement oublié le sujet ou le considèrent secondaire "relativement à des choses comme le prix de l'essence". Le pari de Macron de suspendre le pass pour les élections et de compter sur la mémoire de poisson rouge des électeurs a payé. CPEF.

Même expérience jusqu’à il y a une semaine, sauf que mon angine traditionnellement bi-annuelle m’a finalement rattrapé et m’a bien fait comprendre qu’elle comptait bien récupérer le temps perdu. Je pense pas que ça vaille le coup, au total.

En quoi est-ce la mauvaise personne ? Il est pil poil dans la cible (les "mal-pensants")

Kraken aussi demande des vérifications d’identité.

La campagne de vaccination pour la troisième dose a commencé sérieusement en septembre (source : https://covidtracker.fr/vaccintracker/) Le passe vaccinal est valide pendant 4 mois après le dernier rappel (source: https://www.service-public.fr/particuliers/actualites/A15121) Donc, à moins d’être à la ramasse… en quoi ne sommes-nous pas déjà dans l'obligation d’une quatrième dose pour continuer à bénéficier du passe ? Quelqu’un connaitrait quelqu’un ayant reçu la troisième dose en septembre/octobre pour confirmer/infirmer ?

RIC ?