Sloonz

Quels autres pays ? Le seul rapport de l’UE (et l’UK) à l’AI c’est les pavanades en mode "on est les n°1 dans le domaine de la régulation de l’AI !", la russie a d’autres chat à fouetter, et la chine en exigeant que toute AI doive "refléter les valeurs du parti" est d’ores et déjà dans le camp de "forte régulation" (https://carnegieendowment.org/2023/05/16/what-chinese-regulation-proposal-reveals-about-ai-and-democratic-values-pub-89766).

Compte parodique.

Proudhon ?

Ya un truc que je comprend pas. À 2/4 vols dans une VIE, il s’attend vraiment à ce que toute l’infrastructure industrielle autour de la fabrication/l'entretien d'avions continue à tourner ? Idem pour les aéroports ? Et qui plus est à un prix abordable ? Il y croit vraiment ou c'est juste une manière déguisée de demander l'interdiction totale ?

Pour corriger ce souci il suffit de dire que si ça tombe sur 49, alors on regarde le second numéro.

Ce qui en soit est plus une marque contre la bureaucratie de la santé étatisée et son processus kafkaïen d’approbation que contre les vaccins.

Ce n’est pas ce qu’esaie de dire Sekonda. Enfin, je ne pense pas. Parmis les signataires et les "anxieux", vous avez des gens sceptiques sur la panique autour du changement climatique, des transhumanistes qui rèvent de la possibilité de faire de l’ingénierie génétique sur des embryons humains, des libertariens qui n’ont cessé de crier "FDA delenda est" pendant la pandémie. Les mettre par réflexe dans le panier "luddites et socialistes obstructionnistes habituels" est une erreur.

Simplement parce que je bosse à 90% en anglais.

Ç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.