mahikeulbody a écrit 2074 commentaires

modéliser ton problème de math en LEAN est loin d'être simple et un cas particulier peut subtilement changer la donne.

Je n'ai pas dit qu'on pouvait se passer des mathématiciens (par exemple pour formaliser les problèmes à résoudre), je disais juste qu'on peut, dans le cas particulier des mathématiques, éviter/détecter les hallucinations.

Tout ce qu'écrit un LLM devrait être sujet à caution

Je n'ai pas lu l'article mais si l'IA produit une démonstration en langage LEAN (ce qui semble le cas ici), la validité de cette démonstration est vérifiable par un humain. En revanche, j'imagine que saisir l'essence de la démonstration est une autre paire de manche si cette démonstration fait des centaines de pages.

Il faut bien sûr éviter d'être en .com, .net et autres extensions sous la coupe de EUA.

Je pense qu'il voulais dire que c'est pénible. Et ça, je confirme : si dans la majorité des cas c'est fastidieux s'il y a beaucoup de sites concernés mais simple, dans certains cas c'est prise de tête. Par exemple, changer son adresse e-mail chez Dell - un petit revendeur informatique méconnu - est (était ?) impossible sans perdre toutes les données de son compte ! J'y suis quand même arrivé après plusieurs mois de relance (invocation du RGPD etc...). Ou bien la fois où il aurait fallu que je me déplace en magasin car impossible en ligne sur le site du magasin...

Avec un domaine, ce genre de souci n'existe plus (sans compter qu'on est moins vulnérable à une fermeture unilatérale de son compte mail, surtout si c'est chez un GAFAM).

ne devrait juste pas connecter la télé à internet

A moins de se limiter à la TNT, on fait comment ?

(à moins que tu veuilles parler de connexion à un compte sur internet)

Je ne décroche aucun appel dont le n° n'est pas dans mes contacts. Il y a cependant quelques appels dont je n'ai pas le contact qui sont malgré tout pertinents et je constate que c'est seulement ceux-là qui laissent éventuellement un message vocal que Free redirige vers mon e-mail. Du coup, l'ordiphone n'est pas obligatoire pour les consulter. On peut aussi consulter ses messages vocaux via le site web de Free.

Il y a tant de IA que ça sur le marché pour que leurs bots chargent à ce point les sites ? A moins qu'elles ne reviennent pomper les données toutes les minutes, j'ai du mal à comprendre.

Ça se rapproche plus de Jami sur les points que tu cites ; c'est surtout sur la transmission des messages qu'ils diffèrent donc.

A une différence près toutefois : avec Jami, il faut que les deux machines soient en ligne simultanément pour communiquer tandis qu'avec Deltachat, il y a des serveurs SMTP qui peuvent garder les messages au moins un certain temps. Ça peut faire une différence dans les pays où il est difficile d'avoir internet en permanence.

Sabine Hossenfelder autrefois vulgarisatrice de talent [...]

Ça fait effectivement un moment que je regarde ses vidéos en me demandant si la partie sponsoring ne va pas être plus longue que le sujet lui-même. La Sabine d'avant faisait d'excellentes vidéos. Maintenant, c'est monétisation à fond.

Mais l'accuser de connivence avec Elon Musk est étrange car à moins que je passe à coté de sous-entendus subtils, à chaque fois qu'elle l'évoque c'est pour se moquer de lui.

Pour le reste, je viens de trouver cet article d'un des critiques de la théorie GU de Weinstein où on voit le rôle ambigu de Sabine (qui a pourtant hébergé l'article du critique sur son blog). Au final, certains dysfonctionnements dans le fonctionnement de la recherche en physique semblent, si l'on en croit l'article, illustrés ironiquement par son propre comportement.

des rapprochements avec Elon Musk,

J'imagine que tu as vu ça dans Wikipédia. C'est étonnant car si elle le cite régulièrement, c'est surtout pour se moquer de lui, du coup j'ai un doute sur l'objectivité de l'article. Je n'ai pas d'autres noms sous la main, mais je crois me rappeler qu'elle en cite dans ses vidéos partant de l'état de la recherche en physique. Après, je ne suis pas compétent pour assurer qu'elle a raison mais ça reste une chercheuse reconnue et les dérives de la production scientifique qu'elle dénonce ne semblent pas complètement inventées (ne serait-ce qu'en ce qui concerne les publications). Il est probable qu'elle se soit fait pas mal d'ennemis dans le monde académique mais ça ne lui donne pas automatiquement tort pour autant.

Pour en revenir sur le projet du futur collisionneur circulaire (FCC), elle pense que les 10 milliards d'euros sont une gabegie par rapport à la probabilité de trouver quelque chose, d'autant que si on ne trouve rien, les physiciens diront que c'est parce qu'il en faut un plus puissant (où place t-on la limite pour décider d'une autre direction de recherche ?)

Je ne crois pas qu'ils s'amusent à prévoir la suite du LHC pour dépenser des sous pour le fun.

Pour le fun non, mais pour justifier la poursuite des recherches dans leur spécialité (et donc leur job), peut-être que oui. C'est en tous cas l'avis de certains chercheurs comme Sabine Hossenfelder : quoiqu'on pense de ses vidéos sponsorisées, elle pointe du doigt les dysfonctionnements de la recherche en physique et, justement, la construction du nouveau super LHC.

Par contre chaque banque peut instaurer des protections et il convient de demander à sa banque avant tout voyage à l'étranger

Si je dis "crédit", ça marche donc ce n'est pas une histoire de prévenir sa banque d'un voyage à l'étranger (ce que j'ai fait, de toutes façons). D'où ma question.

Personnellement je ne voyage jamais à l'étranger sans avoir un minimum de 3 cartes de banques différentes à disposition.

Ça n'a rien à voir avec ma question puisque c'est la même carte qui marche en mode "crédit" et pas en mode "débit".

En fait je viens de chercher et il se trouve qu'effectivement, ce n'est pas lié au type de carte "crédit/débit". Même avec une carte "débit" tu dois demander "crédit" lors du paiement au Brésil. C'est une particularité du système bancaire brésilien où une carte peut être de crédit ET de débit. Donc au moment de payer on te demande de choisir. Le choix "débit" déclenche une transaction sur un réseau brésilien qu'on pourrait comparer au réseau CB français et qui ne fonctionne qu'avec les comptes ouverts dans des banques locales. Le choix "crédit" déclenche une transaction sur le réseau Visa/Mastercard (ce qui explique que certains commerçants te font payer un peu plus cher quand tu dis crédit, voire même refusent).

Rires au fond de la salle.

C'était une question, pas une affirmation. Les rires n'étaient pas indispensable.

Tu as essayé de payer avec une carte de débit hors Europe ? Si j'essaie au Brésil avec ma carte de crédit et que je dis "débit" (là-bas ils demandent systématiquement si tu veux débit ou crédit), ça ne marche pas.

Sauf qu'une carte de crédit, c'est l'arnaque totale : les taux sont volatiles, tu sais pas quand tu payes, et tu payes au final plus cher pour un non-service.

Ce qu'on appelle "carte de crédit" en France, c'est en fait une carte à débit différé (à la fin du mois en général), même pour Visa et Mastercard. Du coup je ne comprends pas l'imparfait dans "On n'avait qu'une seule carte, et très peu de carte de crédit".

D'ailleurs, ça existe des vraies cartes de crédit, en France (hors trucs réservés à une élite) ?

On en voit dire le plus sérieusement du monde que "c'est trop bien car c'est une carte de débit, comme ça on peut suivre ses dépenses en temps réel sans risque de dépassement"... en ignorant que la plupart des banques en ligne offrent le choix entre carte de débit et carte de crédit et que certaines n'appliquent aucun frais à l'étranger.

Oui mais ça ne répond pas à la question posée : est-il possible d'avoir le meilleur des deux mondes, c'est-a-dire une solution qui fonctionne aussi sans internet ?

à part dino/conv sur ordi/téléphone, je crois que jitsi (ou jami?) peuvent être des alternatives.

J'ai commencé à utiliser Jami il y a quelques mois avec un cercle familial restreint et j'en suis satisfait. Ça a beaucoup progressé ces derniers mois. Dommage cependant qu'il n'y ait pas de client web (ceci dit l'app linux fonctionne sans pb).

AOSP ne sera plus libre avant 2040, voire 2035 selon certains.

En attendant, c'est le seul truc utilisable au quotidien (avec quelques restrictions parfois), ce qui n'est pas encore, malheureusement, le cas de postmarketOS.

Si en 2035 ou 2040, AOSP n'est plus libre et pas forké, en quoi utiliser AOSP durant les 10 ou 15 ans à venir poserait problème ? Ce n'est pas comme utiliser un format propriétaire. Pour le dire autrement, qu'apporte de sacrifier dès aujourd'hui les fonctionnalités offertes par un tel AOSP par rapport à attendre une probable fermeture de Android dans 10 ou 15 ans ?

J'ai bien compris que c'est ton choix mais en quoi est-il plus rationnel que celui de quelqu'un qui utilise un Android aujourd'hui ? Une option qui me semble plus rationnelle serait de contribuer, financièrement par exemple, au développement de postmarketOS pour qu'il soit utilisable plus rapidement par un utilisateur "normal" (tout en réclamant en parallèle des solutions full web auprès des différents sites/administrations utilisant des apps).

Deezer affirme identifier clairement les musiques générées par IA. Ça serait mieux s'il les excluait automatiquement mais j'imagine que l'utilisateur dispose d'un filtre ad'hoc (?).

Quel est le rapport entre musique produite par IA et streaming ? Ton mp3, si tu ne l'as pas composé toi-même, qui te dit que ce n'est pas une IA qui l'a fait ? Ah, c'est parce que tu n'écoutes que des trucs dont tu es sûr que ce n'est pas de l'IA ? Moi aussi, je fais pareil mais en streaming.

Tu sais, tu n'es pas obligé de tout analyser au prisme de ta position anti-ordiphone (que je respecte, là n'est pas la question), ça t'éviterait pas mal de confusions.

Les frais pour découvert et retrait hors euros?

Je n'ai pas compris le rapport avec la question posée par OP mais il n'y a pas de frais pour les transactions à l'étranger (y compris hors zone euro).

Ça servira à l'assureur pour mettre en tort l'automobiliste si il/elle ne regardait pas dans la bonne direction au moment d'un accident.

Par exemple, s'il/elle regardait son téléphone lorsqu'il/elle percute un piéton ? Ce serait trop injuste.

Est-ce que ça détecte un automobiliste sur son téléphone ?

C'est censé détecter que tu ne regardes pas la route pendant x secondes d'affilée. Entre 20 et 50 km/h, x = 6 secondes ; largement assez pour tuer un piéton en regardant son téléphone (sauf si un autre dispositif d'arrêt d'urgence se déclenche avant).

Peut-être mais ici on parle d'une décision de justice incompréhensible, pas de stratégie politique.

Qu'importe à quelle SIM le compte whatsapp est rattaché, l'app va vouloir l'accès à toutes les données du tél (contacts, géolocalisation...).

C'est sans doute une très mince consolation mais sur mon ordiphone, whatsapp n'a pas l'autorisation géolocalisation.